팔로우
Martin Becker
제목
인용
인용
연도
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
352013
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
222012
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
112016
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
82014
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 (5), 515-543, 2019
62019
Measuring software performance on linux
M Becker, S Chakraborty
arXiv preprint arXiv:1811.01412, 2018
42018
Let's put the car in your phone!
M Geier, M Becker, D Yunge, B Dietrich, R Schneider, D Goswami, ...
2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC), 1-2, 2013
42013
Optimizing Worst-Case Execution Times Using Mainstream Compilers
M Becker, S Chakraborty
21st International Workshop on Software and Compilers for Embedded Systems …, 2018
32018
Development and verification of a flight stack for a high-altitude glider in Ada/SPARK 2014
M Becker, E Regnath, S Chakraborty
International Conference on Computer Safety, Reliability, and Security, 105-116, 2017
32017
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
32015
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
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
12019
Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles
M Becker, M Neumair, A Söhn, S Chakraborty
SAFECOMP, 2015
12015
Increasing Resilience to Cyberattacks through Advanced Use of Static Code Analysis
M Becker, J Palczynski
2021
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
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–18