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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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