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 | 11 | 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 | 4 | 2023 |
Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach JPC de Araujo, GN Rodrigues, M Carwehl, T Vogel, L Grunske, R Caldas, ... IEEE Software, 2024 | | 2024 |
Formal Synthesis of Uncertainty Reduction Controllers M Carwehl, C Imrie, T Vogel, G Rodrigues, R Calinescu, L Grunske arXiv preprint arXiv:2401.17187, 2024 | | 2024 |
Modeling Classes of Body Sensor Networks M Carwehl, W Reisig Modellierung 2024, 65-82, 2024 | | 2024 |