author-photo

Steffen Beringer

dSPACE GmbH

5

Papers

23

Citations

Citation Trend

Filter By

Papers (4) Sort By

Journal Conference Others

Consistency Analysis of AUTOSAR Timing Requirements

2020
- Steffen Beringer
- Heike Wehrheim
Show All
- Source
- Cite
- Save
Citations (0)
Engine in the loop: Closed loop test bench control with real-time simulation

2017 SAE International Journal of Commercial Vehicles
Show All
- Source
- Cite
- Save
Citations (21)
Verification of AUTOSAR Software Architectures with Timed Automata

2016 FMICS | Formal Methods for Industrial Critical Systems
- Steffen Beringer
- Heike Wehrheim
Show All
- Source
- Cite
- Save
Citations (2)
Accessing Diverse Data Comprehensively via a Web-Service Based Portal - The Coastal Observing System COSYNA

2015
Show All
- Source
- Cite
- Save
Citations (0)