Martin Becker

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