| 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 | 48 | 2013 |
| 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 | 27 | 2012 |
| 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 | 16 | 2016 |
| Measuring software performance on linux M Becker, S Chakraborty arXiv preprint arXiv:1811.01412, 2018 | 12 | 2018 |
| 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 | 9 | 2019 |
| 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 | 9 | 2014 |
| 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 | 6 | 2017 |
| 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 | 5 | 2019 |
| 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 | 5 | 2015 |
| 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 | 4 | 2013 |
| Increasing Resilience to Cyberattacks through Advanced Use of Static Code Analysis M Becker, J Palczynski Embedded World Conference, 2021 | 3 | 2021 |
| 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 | 3 | 2019 |
| Optimizing Worst-Case Execution Times Using Mainstream Compilers M Becker, S Chakraborty 21st International Workshop on Software and Compilers for Embedded Systems …, 2018 | 3 | 2018 |
| 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 | 2 | 2019 |
| Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles M Becker, M Neumair, A Söhn, S Chakraborty SAFECOMP, 2015 | 2 | 2015 |
| A Valgrind Tool to Compute the Working Set of a Software Process M Becker, S Chakraborty https://arxiv.org/abs/1902.11028, 2019 | 1 | 2019 |
| Automatic Verification of (un) intended Data and Control Flows in Embedded Software M Becker, J Palczynski | | 2024 |
| 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 |
| 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 |
Samarjit ChakrabortyKenan Professor of Computer Science, The University of North Carolina at Chapel HillVerified email at cs.unc.edu
