Folgen
Marc Carwehl
Titel
Zitiert von
Zitiert von
Jahr
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
112023
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
42023
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–5