Martin Becker

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods.

Martin Becker

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.

Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty

Int. J. Softw. Tools Technol. Transf., 2019

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

Martin Becker, Samarjit Chakraborty

CoRR, 2019

WCET Analysis meets Virtual Prototyping: Improving Source-Level Timing Annotations.

Martin Becker, Marius Pazaj, Samarjit Chakraborty

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).

Martin Becker, Samarjit Chakraborty, Ravindra Metta, R. Venkatesh

Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

Cross-Layer Interactions in CPS for Performance and Certification.

Samarjit Chakraborty, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Measuring Software Performance on Linux.

Martin Becker, Samarjit Chakraborty

CoRR, 2018

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

Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty

CoRR, 2018

Optimizing Worst-Case Execution Times Using Mainstream Compilers.

Martin Becker, Samarjit Chakraborty

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.

Martin Becker, Emanuel Regnath, Samarjit Chakraborty

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

TIC: a scalable model checking based approach to WCET estimation.

Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh

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.

Martin Becker, Markus Neumair, Alexander Söhn, Samarjit Chakraborty

Proceedings of the Computer Safety, Reliability, and Security, 2015

Composing real-time applications from communicating black-box components.

Martin Becker, Alejandro Masrur, Samarjit Chakraborty

Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow.

Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta

Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014

Timing challenges in automotive software architectures.

Licong Zhang, Reinhard Schneider, Alejandro Masrur, Martin Becker, Martin Geier, Samarjit Chakraborty

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Multi-layered scheduling of mixed-criticality cyber-physical systems.

Reinhard Schneider, Dip Goswami, Alejandro Masrur, Martin Becker, Samarjit Chakraborty

J. Syst. Archit., 2013

Let's put the car in your phone!

Martin Geier, Martin Becker, Daniel Yunge, Benedikt Dietrich, Reinhard Schneider, Dip Goswami, Samarjit Chakraborty

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

2012

Schedulability Analysis for Processors with Aging-Aware Autonomic Frequency Scaling.

Alejandro Masrur, Philipp H. Kindt, Martin Becker, Samarjit Chakraborty, Veit Kleeberger, Martin Barke, Ulf Schlichtmann

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012