CrESt Veröffentlichungen im 1. Halbjahr 2019


Schulze, C.: Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften. In: Aachener Informatik-Berichte, Software Engineering, Band 40. Shaker Verlag, May 2019.

Butting, A., Eikermann, R., Kautz, O., Rumpe, B., Wortmann, A.: Systematic Composition of Independent Language Features. In: Journal of Systems and Software, 152, pp. 50-69, June 2019.

Dalibor, M., Jansen, N., Michael, J., Rumpe, B., Wortmann, A.: Towards Sustainable Systems Engineering-Integrating Tools via Component and Connector Architectures. In: Antriebstechnisches Kolloquium 2019: Tagungsband zur Konferenz, pp. 121-133, Feb. 2019.

Kläs, M., Sembach, L.: Uncertainty Wrappers for Data-driven Models – Increase the Transparency of AI/ML-based Models through Enrichment with Dependable Situation-aware Uncertainty Estimates, 2nd Int. Workshop on Artificial Intelligence Safety Engineering (WAISE 2019), Turku, Finland 2019.

Jöckel, L., Kläs, M.: Increasing Trust in Data-Driven Model Validation – A Framework for Probabilistic Augmentation of Images and Meta-Data Generation using Application Scope Characteristics, 38th Int. Conference on Computer Safety, Reliability and Security, SafeComp 2019, Turku, Finland, 2019.

Cioroaica, E.: Do(Not) Trust in Ecosystems, 1st International Conference on Software Engineering (ICSE), 2019.

Akili, S.: On the Need for Distributed Complex Event Processing with Multiple Sinks. 13th ACM International Conference on Distributed and Event-Based Systems. DEBS 2019. 24th - 28th June, 2019, Darmstadt.

Al-Hajjaji, M., Schulze, M., Ryssel, U.: Validating Partial Configurations of Product Lines. In Proceedings of 13th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS2019). ACM, New York, NY, USA, 2019.

Daun, M.; Brings, J.; Obe, P.A.; Weiß, S.; Böhm, B.; Unverdorben, S.: Using View-Based Architecture Descriptions to Aid in Automated Runtime Planning for a Smart Factory. In: IEEE International Conference on Software Architecture Companion, ICSA Companion 2019, Hamburg, Germany, March 25-26, 2019, pages 202–209, 2019.

Schenk, T.; Halblaub, A. B.; Wehrstedt, J. C.: Co/Simulation scenarios in industrial production plants. Industrial User Presentations FMI+DCP+SPP, 13th International Modelica Conference, Regensburg, March 4-6, 2019

Amorim, T., Vogelsang, A., Pudlitz, F., Gersing, P. and Philipps, J.: Strategies and Best Practices for Model-based Systems Engineering Adoption in Embedded Systems Industry. 41st International Conference on Software Engineering (ICSE), 2019.

Pudlitz F., Vogelsang A., Brokhausen F.: A Lightweight Multilevel Markup Language for Connecting Software Requirements and Simulations. In: Knauss E., Goedicke M. (eds) Requirements Engineering: Foundation for Software Quality. REFSQ 2019. Lecture Notes in Computer Science, vol 11412. Springer, Cham, 2019.

Daun, M., Stenkova, V., Krajinski, L., Brings, J., Bandyszak, T., Weyer, Th.: Goal Modeling for Collaborative Groups of Cyber-Physical Systems with GRL. In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Zypern April 2019, pp. 1600-1609. IEEE, 2019.

Daun, M., Brings, J., Krajinski, L., Weyer, Th: On the benefits of using dedicated models in validation processes for behavioral specifications. Int. Conf. on Software and System Processes, ICSSP 2019: 44-53, 2019.

Mendez Fernandez, D., Böhm, W., Vogelsang, A., Mund, J., Broy, M., Kuhrmann, M., Weyer, T.: Artefacts in software engineering: a fundamental positioning. Software & Systems Modeling, (2019), 1-10, 2019.

Marmsoler, D.: A Calculus for Dynamic Architectures. Science of Computer Programming, 2019.

Marmsoler, D., Blakqori, G.: APML: An Architecture Proof Modeling Language. 23rd International Symposium on Formal Methods, 2019.

Marmsoler, D., Habtom K.: Interactive Verification of Architectural Design Patterns in FACTum. Formal Aspects of Computing, 2019.

Marmsoler D. and Petrovska, A.: Detecting Architectural Erosion using Runtime Verification. 12th Interaction and Concurrency Experience (ICE), 2019.

Habtom K., Collins, A., Marmsoler, D.: Modeling and Verifying Dynamic Architectures with FACTum Studio. International Conference on Formal Aspects of Component Software, 2019.

Petrovska, A.: Semi-distributed architecture for smart self-adaptive cyber-physical systems. 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, part of 11st International Conference on Software Engineering (ICSE), 2019.

Petrovska, A., Pretschner, A.: Learning Approach for Smart Self-Adaptive Systems. 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2019

Cioroaica, E., Pudlitz, F., Gerostathopoulos, I., Kuhn, T.: Simulation Methods and Tools for Collaborative Embedded Systems. Springer's Software-Intensive Cyber-Physical Systems (SICS), 2019.