activity
20152019
most citedScalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors

8 citations · 14 across the 5 of their papers we have counts for

collaborators
Showing 2015Show all

1 paper · 1 filter

cs.SE2015★ 2 cited

Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles

Martin Becker, Markus Neumair, Alexander Söhn +1

This paper describes the development and verification of a competitive parachute system for Micro Air Vehicles, in particular focusing on verification of the embedded software. We…