Manfred Broy
Manfred Broy
Professor of Computer Science, Technical University of Munich
No verified email - Homepage
Title
Cited by
Cited by
Year
Software engineering for automotive systems: A roadmap
A Pretschner, M Broy, IH Kruger, T Stauner
2007 Future of Software Engineering, 55-71, 2007
720*2007
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, And...
M Broy
Springer, 2013
711*2013
Specification and development of interactive systems: Focus on streams, interfaces and refinement
M Broy, K Stølen
Springer, 2001
711*2001
Challenges in automotive software engineering
M Broy
Proceedings of the 28th international conference on Software engineering, 33-42, 2006
6992006
Model-based testing of reactive systems: advanced lectures
M Broy
Springer, 2005
604*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
601*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
501*2005
Cyber-Physical Systems
M Broy
Springer DE, 2010
444*2010
agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems
E Geisberger, M Broy
Springer DE, 2012
4192012
Engineering automotive software
M Broy, IH Kruger, A Pretschner, C Salzmann
Proceedings of the IEEE 95 (2), 356-373, 2007
4122007
From MSCs to statecharts
I Krüger, R Grosu, P Scholz, M Broy
Distributed and Parallel Embedded Systems, 61-71, 1999
3001999
Partial abstract types
M Broy, M Wirsing
Acta Informatica 18 (1), 47-64, 1982
2531982
A formal model of services
M Broy, IH Krüger, M Meisinger
ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (1), 5, 2007
2112007
Article 5-A Formal Model of Services
M Broy, IH Kruger, M Meisinger
ACM Transactions on Software Engineering and Methodology-TOSEM 16 (1), 2007
2112007
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
2031992
Model-based Engineering of Embedded Systems: The SPES 2020 Methodology
K Pohl, H Hönninger, R Achatz, M Broy
Springer, 2012
1902012
On hierarchies of abstract data types
M Wirsing, P Pepper, H Partsch, W Dosch, M Broy
Acta Informatica 20 (1), 1-33, 1983
1811983
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
1752010
Cyber-physical systems: imminent challenges
M Broy, MV Cengarle, E Geisberger
Large-Scale Complex IT Systems. Development, Operation and Management, 1-28, 2012
1622012
Lecture notes in computer science
FL Bauer, M Broy
162*1979
The system can't perform the operation now. Try again later.
Articles 1–20