Follow
Manfred Broy
Manfred Broy
Professor of Computer Science, Technical University of Munich
No verified email - Homepage
Title
Cited by
Cited by
Year
Challenges in automotive software engineering
M Broy
Proceedings of the 28th international conference on Software engineering, 33-42, 2006
7862006
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, And...
M Broy
Springer, 2013
780*2013
Specification and development of interactive systems: Focus on streams, interfaces and refinement
M Broy, K Stølen
Springer, 2001
780*2001
Model-based testing of reactive systems: advanced lectures
M Broy
Springer, 2005
693*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
687*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
589*2005
agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems
E Geisberger, M Broy
Springer DE, 2012
5562012
Cyber-Physical Systems
M Broy
Springer DE, 2010
526*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
4832007
Engineering automotive software
M Broy, IH Kruger, A Pretschner, C Salzmann
Proceedings of the IEEE 95 (2), 356-373, 2007
4542007
From MSCs to statecharts
I Krüger, R Grosu, P Scholz, M Broy
Distributed and Parallel Embedded Systems, 61-71, 1999
3091999
Partial abstract types
M Broy, M Wirsing
Acta Informatica 18 (1), 47-64, 1982
2581982
Model-based Engineering of Embedded Systems: The SPES 2020 Methodology
K Pohl, H Hönninger, R Achatz, M Broy
Springer, 2012
2572012
A formal model of services
M Broy, IH Krüger, M Meisinger
ACM Transactions on Software Engineering and Methodology (TOSEM) 16 (1), 5, 2007
2222007
Article 5-A Formal Model of Services
M Broy, IH Kruger, M Meisinger
ACM Transactions on Software Engineering and Methodology-TOSEM 16 (1), 2007
2222007
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
2161992
Cyber-physical systems: imminent challenges
M Broy, MV Cengarle, E Geisberger
Large-Scale Complex IT Systems. Development, Operation and Management, 1-28, 2012
2082012
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
1972010
On hierarchies of abstract data types
M Wirsing, P Pepper, H Partsch, W Dosch, M Broy
Acta Informatica 20 (1), 1-33, 1983
1921983
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
1731998
The system can't perform the operation now. Try again later.
Articles 1–20