| Challenges in automotive software engineering M Broy Proceedings of the 28th international conference on Software engineering, 33-42, 2006 | 816 | 2006 |
| Specification and Development of Interactive Systems: Focus on Streams, Interfaces, And... M Broy Springer, 2013 | 801* | 2013 |
| Specification and development of interactive systems: Focus on streams, interfaces and refinement M Broy, K Stølen Springer, 2001 | 801* | 2001 |
| Model-based testing of reactive systems: advanced lectures M Broy Springer, 2005 | 704* | 2005 |
| Model-based testing of reactive systems (Lecture notes in computer science, Vol. 3472) M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Springer: Berlin, 2005 | 698* | 2005 |
| agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems E Geisberger, M Broy Springer DE, 2012 | 651 | 2012 |
| Model-Based Testing of Reactive Systems, Advanced Lectures: outcome of a research seminar M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner Springer Verlag, 2005 | 612* | 2005 |
| Cyber-Physical Systems M Broy Springer DE, 2010 | 551* | 2010 |
| Software engineering for automotive systems: A roadmap A Pretschner, M Broy, IH Kruger, T Stauner Future of Software Engineering (FOSE'07), 55-71, 2007 | 493 | 2007 |
| Engineering automotive software M Broy, IH Kruger, A Pretschner, C Salzmann Proceedings of the IEEE 95 (2), 356-373, 2007 | 475 | 2007 |
| From MSCs to statecharts I Krüger, R Grosu, P Scholz, M Broy Distributed and Parallel Embedded Systems, 61-71, 1999 | 310 | 1999 |
| Model-based Engineering of Embedded Systems: The SPES 2020 Methodology K Pohl, H Hönninger, R Achatz, M Broy Springer, 2012 | 278 | 2012 |
| Partial abstract types M Broy, M Wirsing Acta Informatica 18 (1), 47-64, 1982 | 261 | 1982 |
| A formal model of services M Broy, IH Krüger, M Meisinger ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (1), 5, 2007 | 226 | 2007 |
| Article 5-A Formal Model of Services M Broy, IH Kruger, M Meisinger ACM Transactions on Software Engineering and Methodology-TOSEM 16 (1), 2007 | 226 | 2007 |
| The design of distributed systems: an introduction to focus F Dederichs, C Dendorfer, M Fuchs, TF Gritzner, R Weber Mathematisches Institut and Institut für Informatik der technischen …, 1992 | 216 | 1992 |
| Cyber-physical systems: imminent challenges M Broy, MV Cengarle, E Geisberger Large-Scale Complex IT Systems. Development, Operation and Management, 1-28, 2012 | 212 | 2012 |
| Seamless model-based development: From isolated tools to integrated model engineering environments M Broy, M Feilkas, M Herrmannsdoerfer, S Merenda, D Ratiu Proceedings of the IEEE 98 (4), 526-545, 2010 | 208 | 2010 |
| On hierarchies of abstract data types M Wirsing, P Pepper, H Partsch, W Dosch, M Broy Acta Informatica 20 (1), 1-33, 1983 | 191 | 1983 |
| What characterizes a (software) component? M Broy, A Deimel, J Henn, K Koskimies, F Plášil, G Pomberger, W Pree, ... Software-Concepts & Tools 19 (1), 49-56, 1998 | 175 | 1998 |
