Steffen Beringer

According to our database, Steffen Beringer authored at least 3 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Timing Verifikation von AUTOSAR Softwarearchitekturen (Timing verification of AUTOSAR software architectures)

Steffen Beringer

PhD thesis, 2022

2020

Consistency Analysis of AUTOSAR Timing Requirements.

Steffen Beringer, Heike Wehrheim

Proceedings of the 15th International Conference on Software Technologies, 2020

2016

Verification of AUTOSAR Software Architectures with Timed Automata.

Steffen Beringer, Heike Wehrheim

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016