Marc Carwehl

2022202320241 9 6

Public access

1 article

available

not available

Based on funding mandates

Lars GrunskeProfessor for Software Engineering, Humboldt-Universität zu Berlin, GermanyVerified email at informatik.hu-berlin.de
Genaína Nunes RodriguesAssociate Professor of Computer Science, University of BrasiliaVerified email at unb.br
Thomas VogelHumboldt-Universität zu Berlin, GermanyVerified email at informatik.hu-berlin.de
Calum ImrieResearch Associate, Assuring Autonomy International Programme (University of York)Verified email at york.ac.uk
Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk

Marc Carwehl

Verified email at informatik.hu-berlin.de - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	12	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

The system can't perform the operation now. Try again later.

Articles 1–5

Citations per year