| 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 | 802* | 2013 |
| Specification and development of interactive systems: Focus on streams, interfaces and refinement M Broy, K Stølen Springer, 2001 | 802* | 2001 |
| Model-based testing of reactive systems: advanced lectures M Broy Springer, 2005 | 703* | 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 | 697* | 2005 |
| agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems E Geisberger, M Broy Springer DE, 2012 | 645 | 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 | 610* | 2005 |
| Cyber-Physical Systems M Broy Springer DE, 2010 | 544* | 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 | 490 | 2007 |
| Engineering automotive software M Broy, IH Kruger, A Pretschner, C Salzmann Proceedings of the IEEE 95 (2), 356-373, 2007 | 471 | 2007 |
| From MSCs to statecharts I Krüger, R Grosu, P Scholz, M Broy Distributed and Parallel Embedded Systems, 61-71, 1999 | 306 | 1999 |
| Model-based Engineering of Embedded Systems: The SPES 2020 Methodology K Pohl, H Hönninger, R Achatz, M Broy Springer, 2012 | 281 | 2012 |
| Partial abstract types M Broy, M Wirsing Acta Informatica 18 (1), 47-64, 1982 | 269 | 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 | 229 | 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 | 229 | 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 | 218 | 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 | 210 | 2010 |
| On hierarchies of abstract data types M Wirsing, P Pepper, H Partsch, W Dosch, M Broy Acta Informatica 20 (1), 1-33, 1983 | 193 | 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 | 179 | 1998 |
