Login / Signup
Steffen Beringer
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 2
Top Topics
Functional Requirements
Software Architecture
Theorem Prover
Reachability Analysis
Top Venues
ICSOFT
FMICS-AVoCS
</>
Publications
</>
Steffen Beringer
,
Heike Wehrheim
Consistency Analysis of AUTOSAR Timing Requirements.
ICSOFT
(2020)
Steffen Beringer
,
Heike Wehrheim
Verification of AUTOSAR Software Architectures with Timed Automata.
FMICS-AVoCS
(2016)