| A property specification pattern catalog for real-time system verification with UPPAAL T Vogel, M Carwehl, GN Rodrigues, L Grunske Information and Software Technology 154, 107100, 2023 | 32 | 2023 |
| Runtime Verification of Self-Adaptive Systems with Changing Requirements M Carwehl, T Vogel, GN Rodrigues, L Grunske 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self …, 2023 | 15 | 2023 |
| Formal synthesis of uncertainty reduction controllers M Carwehl, C Imrie, T Vogel, G Rodrigues, R Calinescu, L Grunske Proceedings of the 19th International Symposium on Software Engineering for …, 2024 | 8 | 2024 |
| Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach JPC de Araujo, GN Rodrigues, M Carwehl, T Vogel, L Grunske, R Caldas, ... IEEE Software 41 (5), 43-51, 2024 | 3 | 2024 |
| Towards systematic maintenance of assurance for evolving self-adaptive systems L Murphy, M Carwehl, J Päßler, M Chechik 2025 IEEE Engineering Reliable Autonomous Systems (ERAS), 1-8, 2025 | 1 | 2025 |
| Parley+: Uncertainty Reduction in Self-Adaptive Systems M Carwehl, C Imrie, T Vogel, G Rodrigues, R Calinescu, L Grunske ACM Transactions on Autonomous and Adaptive Systems, 2025 | 1 | 2025 |
| Modeling Classes of Body Sensor Networks M Carwehl, W Reisig Modellierung 2024, 65-82, 2024 | 1 | 2024 |
| ResMetric: Analyzing Resilience to Enable Research on Antifragility F Koenig, M Carwehl, C Imrie 2025 IEEE/ACM 20th Symposium on Software Engineering for Adaptive and Self …, 2025 | | 2025 |
Lars GrunskeSoftware Engineering, Humboldt-Universität zu Berlin, GermanyVerified email at informatik.hu-berlin.de
