AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Marc Carwehl

Marc Carwehl

Humboldt Universität zu Berlin - Berlin / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 5210173
Humboldt University of Berlin
person_outline Marc Carwehl's MOST POPULAR ARTICLES
1-) A property specification pattern catalog for real-time system verification with UPPAAL Information and Software Technology 154, 107100, 2023
2-) Runtime Verification of Self-Adaptive Systems with Changing Requirements 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self …, 2023
3-) Formal synthesis of uncertainty reduction controllers Proceedings of the 19th International Symposium on Software Engineering for …, 2024
4-) Explainability for Property Violations in Cyberphysical Systems: An Immune-Inspired Approach IEEE Software 41 (5), 43-51, 2024
5-) RESMETRIC: Analyzing Resilience to Enable Research on AntifragilityF Koenig, M Carwehl, C ImriearXiv preprint arXiv:2501.18245, 2025