Publications

Bahareh Taghavi, Robert Heinrich, Adrian Marin, Bernhard Rumpe, Sebastian Stüber, Sebastian Weber (2024). "Semantic Validation for Slingshot Simulator Using MontiArc". Symposium on Software Performance 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". Automatisierungstechnik 2024.

Frederik Reiche, Thomas Weber, Simeon Becker, Sebastian Weber, Robert Heinrich, Erik Burger (2024). "Consistency Management for Security Annotations for Continuous Verification". Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa) at MODELS 2024.

Sebastian Weber, Jörg Henß, Bahareh Taghavi, Thomas Weber, Sebastian Stüber, Adrian Marin, Bernhard Rumpe, Robert Heinrich (2024). "Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models". The 18th European Conference on Software Architecture (ECSA 2024) Tools and Demonstrations (Tools & Demos).

Nicolas Boltz, Larissa Schmid, Bahareh Taghavi, Christopher Gerking, Robert Heinrich (2024). "Modeling and Analyzing Zero Trust Architectures Regarding Performance and Security". 18th European Conference on Software Architecture (ECSA).

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