| 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. |