Martin Becker

15 papers and 101 indexed citations i.

Martin Becker has authored 15 papers that have received a total of 101 indexed citations. This includes 6 papers in Hardware and Architecture, 4 papers in Computational Theory and Mathematics and 3 papers in Artificial Intelligence. The topics of these papers are Real-Time Systems Scheduling (6 papers), Embedded Systems Design Techniques (5 papers) and Formal Methods in Verification (3 papers). Martin Becker is often cited by papers focused on Real-Time Systems Scheduling (6 papers), Embedded Systems Design Techniques (5 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in Germany, India and Italy. Martin Becker's co-authors include Alejandro Masrur, Samarjit Chakraborty, Giovanni Cantone, Davide Falessi and Reinhard Schneider and has published in prestigious journals such as Journal of Systems and Software, ACM SIGPLAN Notices and Journal of Systems Architecture.