Published in: ECSA (15. : 2021 : Online): ECSA-C 2021: companion proceedings of the 15th European Conference on Software Architecture ; 2021

Published in: Rigorous State-Based Methods (2024), Seite 25-42

Published in: IEEE Access, 11 (2023), Seite 72641-72654

Published in: Abstract State Machines, Alloy, B and Z (2010), Seite 1-1

Published in: Software and Systems Modeling, 23 (2024) 2, Seite 455-472

Published in: Lecture Notes in Computer Science (2024), Seite 377-396

Published in: Rigorous State-Based Methods (2023), Seite 303-320

Published in: IEEE Software, 39 (2022) 3, Seite 120-124

Published in: Software Engineering and Formal Methods (2021), Seite 312-331

Published in: Computer Aided Verification (2019), Seite 219-237

Published in: Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems (2011), Seite 33-54

Published in: Lecture Notes in Computer Science (2024), Seite 298-313

Published in: Discrete Event Dynamic Systems, 33 (2023) 4, Seite 395-424

Published in: ACM Transactions on Autonomous and Adaptive Systems, 17 (2022) 3-4, Seite 1-26

Published in: IFAC-PapersOnLine, 55 (2022) 28, Seite 158-164

Published in: Fundamental Approaches to Software Engineering (2021), Seite 130-151

Published in: ACM Transactions on Internet of Things, 1 (2020) 1, Seite 1-27

Published in: Formal Methods in System Design, 55 (2019) 1, Seite 1-32

Published in: Formal Aspects of Computing, 30 (2018) 5, Seite 525-544

Published in: FM 2015: Formal Methods (2015), Seite 73-89