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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

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

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

2018
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

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

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

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

2013
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

2012
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


  Loading...