Martin Becker

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 11

Top Topics

Abstract Interpretation

Execution Times

Top Venues

Publications

Martin Becker, Samarjit Chakraborty
A Valgrind Tool to Compute the Working Set of a Software Process. CoRR (2019)
Samarjit Chakraborty, James H. Anderson, Martin Becker, Helmut Graeb, Samiran Halder, Ravindra Metta, Lothar Thiele, Stavros Tripakis, Anand Yeolekar
Cross-Layer Interactions in CPS for Performance and Certification. DATE (2019)
Martin Becker, Samarjit Chakraborty, Ravindra Metta, R. Venkatesh
Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper). LCTES (2019)
Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
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. 21 (5) (2019)
Martin Becker, Marius Pazaj, Samarjit Chakraborty
WCET Analysis meets Virtual Prototyping: Improving Source-Level Timing Annotations. SCOPES (2019)
Martin Becker, Samarjit Chakraborty
Optimizing Worst-Case Execution Times Using Mainstream Compilers. SCOPES (2018)
Martin Becker, Samarjit Chakraborty
Measuring Software Performance on Linux. CoRR (2018)
Martin Becker, Ravindra Metta, R. Venkatesh, Samarjit Chakraborty
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors. CoRR (2018)
Martin Becker, Emanuel Regnath, Samarjit Chakraborty
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014. CoRR (2017)
Martin Becker, Emanuel Regnath, Samarjit Chakraborty
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014. SAFECOMP (2017)
Ravindra Metta, Martin Becker, Prasad Bokil, Samarjit Chakraborty, R. Venkatesh
TIC: a scalable model checking based approach to WCET estimation. LCTES (2016)
Martin Becker, Markus Neumair, Alexander Söhn, Samarjit Chakraborty
Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles. SAFECOMP Workshops (2015)
Martin Becker, Markus Neumair, Alexander Söhn, Samarjit Chakraborty
Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles. CoRR (2015)
Martin Becker, Alejandro Masrur, Samarjit Chakraborty
Composing real-time applications from communicating black-box components. ASP-DAC (2015)
Martin Becker, Sajid Mohamed, Karsten Albers, P. P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. APSEC (2015)
Licong Zhang, Reinhard Schneider, Alejandro Masrur, Martin Becker, Martin Geier, Samarjit Chakraborty
Timing challenges in automotive software architectures. ICSE Companion (2014)
Reinhard Schneider, Dip Goswami, Alejandro Masrur, Martin Becker, Samarjit Chakraborty
Multi-layered scheduling of mixed-criticality cyber-physical systems. J. Syst. Archit. 59 (10-D) (2013)
Martin Geier, Martin Becker, Daniel Yunge, Benedikt Dietrich, Reinhard Schneider, Dip Goswami, Samarjit Chakraborty
Let's put the car in your phone! DAC (2013)
Alejandro Masrur, Philipp H. Kindt, Martin Becker, Samarjit Chakraborty, Veit Kleeberger, Martin Barke, Ulf Schlichtmann
Schedulability Analysis for Processors with Aging-Aware Autonomic Frequency Scaling. RTCSA (2012)