Publications

Sebastian Weber, Thomas Weber, Robert Heinrich, Jörg Henß (2024). "Combining a Functional Simulation with Multi-level Timing Simulation for Software Architecture Models to Improve Extensibility". 21st IEEE International Conference on Software Architecture (ICSA 2024).

Julien Deantoni, Paula Muñoz, Cláudio Gomes, Clark Verbrugge, Rakshit Mittal, Robert Heinrich, Stijn Bellis, Antonio Vallecillo (2024). "Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems". CoRR.

Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl, (2024). "Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis". 39th ACM/SIGAPP Symposium on Applied Computing (SAC '24). ACM. 2024.

Joeri Exelmans, Ciprian Teodorov, Robert Heinrich, Alexander Egyed, Hans Vangheluwe (2023). "Collaborative Live Modelling by Language-Agnostic Versioning". Modeling Language Engineering (MLE) Workshop at MODELS.

Sebastian Weber, Bahareh Taghavi (2023). "Multi-level Hardware Simulation in Palladio". Symposium on Software Performance.

Bahareh Taghavi, Sebastian Weber (2023). "A Survey of Analysis Composition Operators in the Context of Palladio". Symposium on Software Performance.

Sandro Koch, Frederik Reiche, Sebastian Weber, Marco Konersmann, Sebastian Stüber, Lucas Wollenhaupt, Bahareh Taghavi, Bernhard Rumpe, Robert Heinrich (2023). "A Collection of Scenarios for the Decomposition and Composition of Model-based Analyses". Karlsruhe Institute of Technology (KIT), Karlsruhe Reports in Informatics, 2023.2

Sandro Koch, Frederik Reiche (2023). "A Toolchain for Simulation Component Specification and Identification". In Software Architecture. ECSA 2022 Tracks and Workshops. ECSA 2022. Springer

Previous Project-related Publications

Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler (2021). "Composing Model-Based Analysis Tools". Springer Cham

Moussa Amrani, Dominique Blouin, Robert Heinrich, Arend Rensink, Hans Vangheluwe, Andreas Wortmann (2022). "Multi-paradigm modelling for cyber–physical systems: a descriptive framework". Software and Systems Modeling (SoSym). Springer

Robert Heinrich, Misha Strittmatter, Reussner Ralf (2021). "A Layered Reference Architecture for Metamodels to Tailor Quality Modeling and Analysis". IEEE Transactions on Software Engineering (TSE). IEEE