According to our database1, Martin Becker authored at least 18 papers between 2012 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods.
PhD thesis, 2020
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking.
Int. J. Softw. Tools Technol. Transf., 2019
Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, 2019
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors.
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014.
Proceedings of the Computer Safety, Reliability, and Security, 2017
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016
Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles.
Proceedings of the Computer Safety, Reliability, and Security, 2015
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
Proceedings of the 36th International Conference on Software Engineering, 2014
J. Syst. Archit., 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012