Login / Signup
Lars Stockmann
Publication Activity (10 Years)
Years Active: 2015-2019
Publications (10 Years): 2
Top Topics
Concurrent Systems
Asynchronous Circuits
Formal Analysis
Software Development Effort
Top Venues
MoDELS (Doctoral Symposium)
ICSA Companion
</>
Publications
</>
Lars Stockmann
,
Sven Laux
,
Eric Bodden
Architectural Runtime Verification.
ICSA Companion
(2019)
Lars Stockmann
Debugging Models in the Context of Automotive Software Development.
MoDELS (Doctoral Symposium)
(2015)