Martin Becker

According to our database1, Martin Becker authored at least 18 papers between 2012 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



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

A Valgrind Tool to Compute the Working Set of a Software Process.
CoRR, 2019

WCET Analysis meets Virtual Prototyping: Improving Source-Level Timing Annotations.
Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, 2019

Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper).
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

Cross-Layer Interactions in CPS for Performance and Certification.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Measuring Software Performance on Linux.
CoRR, 2018

Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors.
CoRR, 2018

Optimizing Worst-Case Execution Times Using Mainstream Compilers.
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

TIC: a scalable model checking based approach to WCET estimation.
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

Composing real-time applications from communicating black-box components.
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

Timing challenges in automotive software architectures.
Proceedings of the 36th International Conference on Software Engineering, 2014

Multi-layered scheduling of mixed-criticality cyber-physical systems.
J. Syst. Archit., 2013

Let's put the car in your phone!
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Schedulability Analysis for Processors with Aging-Aware Autonomic Frequency Scaling.
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012