Manfred Broy
Manfred Broy
Professor of Computer Science, Technical University of Munich
No verified email - Homepage
Title
Cited by
Cited by
Year
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, And...
M Broy
Springer, 2013
667*2013
Specification and development of interactive systems: Focus on streams, interfaces and refinement
M Broy, K Stølen
Springer, 2001
667*2001
Software engineering for automotive systems: A roadmap
A Pretschner, M Broy, IH Kruger, T Stauner
2007 Future of Software Engineering, 55-71, 2007
659*2007
Challenges in automotive software engineering
M Broy
Proceedings of the 28th international conference on Software engineering, 33-42, 2006
6472006
Model-based testing of reactive systems: advanced lectures
M Broy
Springer, 2005
570*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
568*2005
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
495*2005
Cyber-Physical Systems
M Broy
Springer DE, 2010
385*2010
agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems
E Geisberger, M Broy
Springer DE, 2012
3822012
Engineering automotive software
M Broy, IH Kruger, A Pretschner, C Salzmann
Proceedings of the IEEE 95 (2), 356-373, 2007
3712007
From MSCs to statecharts
I Krüger, R Grosu, P Scholz, M Broy
Distributed and Parallel Embedded Systems, 61-71, 1999
2961999
Partial abstract types
M Broy, M Wirsing
Acta Informatica 18 (1), 47-64, 1982
2411982
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
2061992
A formal model of services
M Broy, IH Krüger, M Meisinger
ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (1), 5, 2007
1942007
Article 5-A Formal Model of Services
M Broy, IH Kruger, M Meisinger
ACM Transactions on Software Engineering and Methodology-TOSEM 16 (1), 2007
1942007
On hierarchies of abstract data types
M Wirsing, P Pepper, H Partsch, W Dosch, M Broy
Acta Informatica 20 (1), 1-33, 1983
1741983
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
1572010
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
1541998
Das V-Modell XT: Grundlagen, Erfahrungen und Werkzeuge
A Rausch, M Broy
dpunkt, 2006
152*2006
Model-based Engineering of Embedded Systems: The SPES 2020 Methodology
K Pohl, H Hönninger, R Achatz, M Broy
Springer, 2012
1512012
The system can't perform the operation now. Try again later.
Articles 1–20