Martin Becker
Orcid: 0000-0003-3195-0503Affiliations:
- TU Munich, Institute for Real-Time Computer Systems, Germany
According to our database1,
Martin Becker
authored at least 18 papers
between 2012 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2012
2013
2014
2015
2016
2017
2018
2019
2020
0
1
2
3
4
5
6
2
2
1
3
1
1
1
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2020
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods.
PhD thesis, 2020
2019
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
2018
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors.
CoRR, 2018
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018
2017
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
2016
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016
2015
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
2014
Proceedings of the 36th International Conference on Software Engineering, 2014
2013
J. Syst. Archit., 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012