C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Marc Carwehl
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Model Checker
Asynchronous Circuits
Colored Petri Nets
Formal Verification
Top Venues
CoRR
Inf. Softw. Technol.
SEAMS
</>
Publications
</>
Marc Carwehl
,
Calum Imrie
,
Thomas Vogel
,
Genaína Nunes Rodrigues
,
Radu Calinescu
,
Lars Grunske
Formal Synthesis of Uncertainty Reduction Controllers.
CoRR
(2024)
Marc Carwehl
,
Thomas Vogel
,
Genaína Nunes Rodrigues
,
Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements.
SEAMS
(2023)
Thomas Vogel
,
Marc Carwehl
,
Genaína Nunes Rodrigues
,
Lars Grunske
A property specification pattern catalog for real-time system verification with UPPAAL.
Inf. Softw. Technol.
154 (2023)
Marc Carwehl
,
Thomas Vogel
,
Genaína Nunes Rodrigues
,
Lars Grunske
Runtime Verification of Self-Adaptive Systems with Changing Requirements.
CoRR
(2023)
Thomas Vogel
,
Marc Carwehl
,
Genaína Nunes Rodrigues
,
Lars Grunske
A Property Specification Pattern Catalog for Real-Time System Verification with UPPAAL.
CoRR
(2022)