Follow
Martin Becker
Title
Cited by
Cited by
Year
Multi-layered scheduling of mixed-criticality cyber-physical systems
R Schneider, D Goswami, A Masrur, M Becker, S Chakraborty
Journal of Systems Architecture 59 (10), 1215-1230, 2013
432013
Schedulability analysis for processors with aging-aware autonomic frequency scaling
A Masrur, P Kindt, M Becker, S Chakraborty, V Kleeberger, M Barke, ...
2012 IEEE International Conference on Embedded and Real-Time Computing …, 2012
242012
TIC: a scalable model checking based approach to WCET estimation
R Metta, M Becker, P Bokil, S Chakraborty, R Venkatesh
ACM SIGPLAN Notices 51 (5), 72-81, 2016
162016
Measuring software performance on linux
M Becker, S Chakraborty
arXiv preprint arXiv:1811.01412, 2018
92018
Timing challenges in automotive software architectures
L Zhang, R Schneider, A Masrur, M Becker, M Geier, S Chakraborty
Companion Proceedings of the 36th International Conference on Software …, 2014
92014
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking
M Becker, R Metta, R Venkatesh, S Chakraborty
International Journal on Software Tools for Technology Transfer 21, 515-543, 2019
72019
Development and verification of a flight stack for a high-altitude glider in Ada/SPARK 2014
M Becker, E Regnath, S Chakraborty
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
52017
Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow
M Becker, S Mohamed, K Albers, PP Chakrabarti, S Chakraborty, ...
22nd Asia-Pacific Software Engineering Conference (APSEC), 2015
42015
Let's put the car in your phone!
M Geier, M Becker, D Yunge, B Dietrich, R Schneider, D Goswami, ...
Proceedings of the 50th Annual Design Automation Conference, 1-2, 2013
42013
Cross-layer interactions in CPS for performance and certification
S Chakraborty, JH Anderson, M Becker, H Graeb, S Halder, R Metta, ...
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2019
32019
Optimizing Worst-Case Execution Times Using Mainstream Compilers
M Becker, S Chakraborty
21st International Workshop on Software and Compilers for Embedded Systems …, 2018
32018
Increasing Resilience to Cyberattacks through Advanced Use of Static Code Analysis
M Becker, J Palczynski
Embedded World Conference, 2021
22021
Imprecision in WCET estimates due to library calls and how to reduce it (WIP Paper)
M Becker, S Chakraborty, R Metta, R Venkatesh
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on …, 2019
22019
WCET analysis meets virtual prototyping: improving source-level timing annotations
M Becker, M Pazaj, S Chakraborty
Proceedings of the 22nd International Workshop on Software and Compilers for …, 2019
22019
Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles
M Becker, M Neumair, A Söhn, S Chakraborty
SAFECOMP, 2015
22015
Reconciling Software Development Speed and Robustness with Optimally Balanced Static Application Security Testing
J Palczynski, M Becker
2023
Towards Source-Level Timing Analysis of Embedded Software Using Functional Verification Methods
M Becker
Technical University of Munich, 2020
2020
A Valgrind Tool to Compute the Working Set of a Software Process
M Becker, S Chakraborty
https://arxiv.org/abs/1902.11028, 2019
2019
Composing Real-Time Applications from Communicating Black-Box Components
M Becker, A Masrur, S Chakraborty
20th Asia and South Pacific Design Automation Conference (ASP-DAC), 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–19