Schedulability Analysis for Processors with Aging-Aware Autonomic Frequency Scaling. - Alejandro Masrur; Philipp H. Kindt; Martin Becker 001; Samarjit Chakraborty; Veit Kleeberger; Martin Barke; Ulf Schlichtmann (RTCSA, 2012)

Let's put the car in your phone! - Martin Geier 001; Martin Becker 001; Daniel Yunge; Benedikt Dietrich; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (DAC, 2013)

Multi-layered scheduling of mixed-criticality cyber-physical systems. - Reinhard Schneider 001; Dip Goswami; Alejandro Masrur; Martin Becker 001; Samarjit Chakraborty (J. Syst. Archit., 2013)

Timing challenges in automotive software architectures. - Licong Zhang; Reinhard Schneider 001; Alejandro Masrur; Martin Becker 001; Martin Geier 001; Samarjit Chakraborty (ICSE Companion, 2014)

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. - Martin Becker 001; Sajid Mohamed; Karsten Albers; P. P. Chakrabarti 001; Samarjit Chakraborty; Pallab Dasgupta; Soumyajit Dey; Ravindra Metta (APSEC, 2015)

Composing real-time applications from communicating black-box components. - Martin Becker 001; Alejandro Masrur; Samarjit Chakraborty (ASP-DAC, 2015)

Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles. - Martin Becker 001; Markus Neumair; Alexander Söhn; Samarjit Chakraborty (SAFECOMP Workshops, 2015)

TIC: a scalable model checking based approach to WCET estimation. - Ravindra Metta; Martin Becker 001; Prasad Bokil; Samarjit Chakraborty; R. Venkatesh 001 (LCTES, 2016)

Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014. - Martin Becker 001; Emanuel Regnath; Samarjit Chakraborty (SAFECOMP, 2017)

Optimizing Worst-Case Execution Times Using Mainstream Compilers. - Martin Becker 001; Samarjit Chakraborty (SCOPES, 2018)

Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors. - Martin Becker 001; Ravindra Metta; R. Venkatesh 001; Samarjit Chakraborty (CoRR, 2018)

Measuring Software Performance on Linux. - Martin Becker 001; Samarjit Chakraborty (CoRR, 2018)

Cross-Layer Interactions in CPS for Performance and Certification. - Samarjit Chakraborty; James H. Anderson; Martin Becker 001; Helmut Graeb; Samiran Halder; Ravindra Metta; Lothar Thiele; Stavros Tripakis; Anand Yeolekar (DATE, 2019)

Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper). - Martin Becker 001; Samarjit Chakraborty; Ravindra Metta; R. Venkatesh 001 (LCTES, 2019)

WCET Analysis meets Virtual Prototyping: Improving Source-Level Timing Annotations. - Martin Becker 001; Marius Pazaj; Samarjit Chakraborty (SCOPES, 2019)

A Valgrind Tool to Compute the Working Set of a Software Process. - Martin Becker 001; Samarjit Chakraborty (CoRR, 2019)

Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking. - Martin Becker 001; Ravindra Metta; R. Venkatesh 001; Samarjit Chakraborty (Int. J. Softw. Tools Technol. Transf., 2019)

Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods. - Martin Becker 001 (2020)