default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManfred Broy
Person information
- affiliation: Technical University Munich, Germany
- award (2007): Konrad Zuse Medal
- award (1994): Gottfried Wilhelm Leibniz Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j142]Manfred Broy
:
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems. Formal Aspects Comput. 36(3): 16:1-16:54 (2024)- [j141]Maurice H. ter Beek, Manfred Broy, Brijesh Dongol:
The Role of Formal Methods in Computer Science Education. Inroads 15(4): 58-66 (2024) - [j140]Manfred Broy, Bran Selic:
Specifying and Composing Layered Architectures. J. Object Technol. 23(1): 1 (2024) - [j139]Manfred Broy:
Time, causality, and realizability: Engineering interactive, distributed software systems. J. Syst. Softw. 210: 111940 (2024) - 2023
- [j138]Manfred Broy, Bernhard Rumpe:
Development Use Cases for Semantics-Driven Modeling Languages. Commun. ACM 66(5): 62-71 (2023) - [j137]Manfred Broy, Albrecht Schmidt, Martin Wirsing:
In memory of Heinrich Hussmann, long-time friend and SoSyM editor. Softw. Syst. Model. 22(2): 453-454 (2023) - [j136]Manfred Broy:
Specification and verification of concurrent systems by causality and realizability. Theor. Comput. Sci. 974: 114106 (2023) - 2022
- [c150]Manfred Broy:
Software System Documentation: Coherent Description of Software System Properties. ISoLA (2) 2022: 10-27 - [c149]Stefan Kugele, Manfred Broy:
Architecture as a Backbone for Safe DevOps in Automotive Systems. ITSC 2022: 4145-4150 - [p23]Manfred Broy:
Edsger W. Dijkstra as a Lecturer in Marktoberdorf. Edsger Wybe Dijkstra 2022: 493-510 - 2021
- [b9]Manfred Broy, Marco Kuhrmann:
Einführung in die Softwaretechnik. Xpert.press, Springer 2021, ISBN 978-3-662-50262-4 - [c148]Manfred Broy:
Refining the Safety-Liveness Classification of Temporal Properties According to Realizability. Formal Methods in Outer Space 2021: 10-31 - [p22]Manfred Broy, Wolfgang Böhm, Bernhard Rumpe:
Advanced Systems Engineering. Model-Based Engineering of Collaborative Embedded Systems 2021: 353-364 - [e27]Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck:
Model-Based Engineering of Collaborative Embedded Systems. Springer 2021, ISBN 978-3-030-62135-3 [contents] - 2020
- [j135]Jennifer Hehn, Daniel Méndez, Falk Uebernickel, Walter Brenner, Manfred Broy:
On Integrating Design Thinking for Human-Centered Requirements Engineering. IEEE Softw. 37(2): 25-31 (2020)
2010 – 2019
- 2019
- [b8]Manfred Broy:
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis. Springer 2019, ISBN 978-3-658-26302-7 - [j134]Manfred Broy, Heinrich Daembkes, Janos Sztipanovits:
Editorial to the theme section on model-based design of cyber-physical systems. Softw. Syst. Model. 18(3): 1575-1576 (2019) - [j133]Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer:
Artefacts in software engineering: a fundamental positioning. Softw. Syst. Model. 18(5): 2777-2786 (2019) - [c147]Manfred Broy:
Seamless Model-Based System Development: Foundations - (Extended Abstract). SETSS 2019: 1-9 - [i15]Jennifer Hehn, Daniel Méndez Fernández, Falk Uebernickel, Walter Brenner, Manfred Broy:
On Integrating Design Thinking for a Human-centered Requirements Engineering. CoRR abs/1908.07223 (2019) - 2018
- [j132]Manfred Broy:
Theory and methodology of assumption/commitment based system interface specification and architectural contracts. Formal Methods Syst. Des. 52(1): 33-87 (2018) - [j131]Manfred Broy:
Yesterday, Today, and Tomorrow: 50 Years of Software Engineering. IEEE Softw. 35(5): 38-43 (2018) - [j130]Manfred Broy, Bernhard Rumpe:
In memory of Bernhard Schätz, long- time friend and SoSyM editor. Softw. Syst. Model. 17(1): 5-7 (2018) - [j129]Manfred Broy:
A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability - from requirements to functional and architectural views. Softw. Syst. Model. 17(2): 365-393 (2018) - [c146]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). ISoLA (1) 2018: 3-21 - [c145]Manfred Broy:
On Architecture Specification. SOFSEM 2018: 19-39 - [p21]Manfred Broy:
The Leading Role of Software and Systems Architecture in the Age of Digitization. The Essence of Software Engineering 2018: 1-23 - [e26]Reinhard Stolle, Stephan Scholz, Manfred Broy:
1st IEEE/ACM International Workshop on Software Engineering for AI in Autonomous Systems, SEFAIAS@ICSE 2018, Gothenburg, Sweden, May 28, 2018. ACM 2018, ISBN 978-1-4503-5739-5 [contents] - [i14]Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer:
Artefacts in Software Engineering: What are they after all? CoRR abs/1806.00098 (2018) - 2017
- [j128]Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes:
50 Jahre Informatik an den Universitäten in München. Inform. Spektrum 40(2): 139-140 (2017) - [j127]Manfred Broy:
Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft. Inform. Spektrum 40(2): 201-204 (2017) - [j126]Walter Brenner, Manfred Broy, Jan Marco Leimeister:
Auf dem Weg zu einer Informatik neuer Prägung in Wissenschaft, Studium und Wirtschaft. Inform. Spektrum 40(6): 602-606 (2017) - [c144]Stefan Kugele, Philipp Obergfell, Manfred Broy, Oliver Creighton, Matthias Traub, Wolfgang Hopfensitz:
On Service-Orientation for Automotive Software. ICSA 2017: 193-202 - [c143]Marco Kuhrmann, Thomas Ternité, Jan Friedrich, Andreas Rausch, Manfred Broy:
Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models. Software Engineering 2017: 127-128 - [p20]Manfred Broy:
Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft. 50 Jahre Universitäts-Informatik in München 2017: 197-201 - [e25]Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes:
50 Jahre Universitäts-Informatik in München. Springer 2017, ISBN 978-3-662-54711-3 [contents] - 2016
- [j125]Manfred Broy, Christian Prehofer, Hermann Engesser:
Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung und Forschung. Inform. Spektrum 39(6): 436-443 (2016) - [j124]Marco Kuhrmann, Thomas Ternité, Jan Friedrich, Andreas Rausch, Manfred Broy:
Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models. J. Syst. Softw. 121: 49-71 (2016) - [c142]Manfred Broy:
From Actions, Transactions, and Processes to Services. Petri Nets 2016: 13-19 - [c141]Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen:
Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) 2016: 3-10 - [c140]Manfred Broy, Klaus Havelund, Rahul Kumar:
Towards a Unified View of Modeling and Programming. ISoLA (2) 2016: 238-257 - [c139]Manfred Broy:
Model-centric Assumption Promise Specification. MODELSWARD 2016: 5 - [p19]Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger:
Advanced Model-Based Engineering of Embedded Systems. Advanced Model-Based Engineering of Embedded Systems 2016: 3-9 - [p18]Manfred Broy:
Outlook. Advanced Model-Based Engineering of Embedded Systems 2016: 273-276 - [e24]Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger:
Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology. Springer 2016, ISBN 978-3-319-48002-2 [contents] - 2015
- [j123]Manfred Broy:
A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer. Acta Informatica 52(4-5): 299-301 (2015) - [j122]Manfred Broy:
Rethinking Nonfunctional Software Requirements. Computer 48(5): 96-99 (2015) - [j121]Manfred Broy:
Computability and realizability for interactive computations. Inf. Comput. 241: 277-301 (2015) - [c138]Manfred Broy:
Pragmatic Formal Specification of System Properties by Tables. Software, Services, and Systems 2015: 329-354 - [c137]Maximilian Junker, Manfred Broy, Benedikt Hauptmann, Wolfgang Böhm, Henning Femmer, Sebastian Eder, Elmar Jürgens, Rainer Janßen, Rudolf Vaas:
Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re. SER&IP@ICSE 2015: 50-53 - [p17]Manfred Broy:
From Actions, Transactions, and Processes to Services. Dependable Software Systems Engineering 2015: 42-78 - 2014
- [j120]Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel-Heuser:
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance. Autom. 62(11): 815-825 (2014) - [j119]Manfred Broy, Albrecht Schmidt:
Challenges in Engineering Cyber-Physical Systems. Computer 47(2): 70-72 (2014) - [j118]Peter Braun, Manfred Broy, Frank Houdek, Matthias Kirchmayr, Mark Müller, Birgit Penzenstadler, Klaus Pohl, Thorsten Weyer:
Guiding requirements engineering for software-intensive embedded systems in the automotive industry. Comput. Sci. Res. Dev. 29(1): 21-43 (2014) - [j117]Manfred Broy:
Verifying of interface assertions for infinite state Mealy machines. J. Comput. Syst. Sci. 80(7): 1298-1322 (2014) - [c136]Manfred Broy:
A Model of Dynamic Systems. FPS@ETAPS 2014: 39-53 - [c135]Manfred Broy:
Cyber-Physical Systems - Konsequenzen für eine Informatik mit Nähe zur physikalischen Wirklichkeit. GI-Jahrestagung 2014: 41-47 - [i13]Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider:
Orchestration of Global Software Engineering Projects. CoRR abs/1409.6587 (2014) - [i12]Manfred Broy, María Victoria Cengarle, Bernhard Rumpe:
Towards a System Model for UML. The Structural Data Model. CoRR abs/1409.6613 (2014) - [i11]Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic:
UML 2 Semantics Symposium: Formal Semantics for UML. CoRR abs/1409.6619 (2014) - [i10]Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0). CoRR abs/1409.6637 (2014) - [i9]Cornel Klein, Bernhard Rumpe, Manfred Broy:
A stream-based mathematical model for distributed information processing systems - SysLab system model. CoRR abs/1409.7236 (2014) - [i8]Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies:
Software and System Modeling Based on a Unified Formal Semantics. CoRR abs/1411.2410 (2014) - 2013
- [b7]Manfred Broy, Marco Kuhrmann:
Projektorganisation und Management im Software Engineering. Xpert.press, Springer 2013, ISBN 978-3-642-29289-7, pp. I-XVI, 1-416 - [j116]Birgit Vogel-Heuser, Christian Diedrich, Manfred Broy:
Anforderungen an CPS aus Sicht der Automatisierungstechnik. Autom. 61(10): 669-676 (2013) - [j115]Manfred Broy:
Cyber Physical Systems (Part 2). it Inf. Technol. 55(1): 3-4 (2013) - [c134]Manfred Broy:
Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering. Perspectives on the Future of Software Engineering 2013: 15-30 - [c133]Manfred Broy:
Challenges in modeling cyber-physical systems. IPSN 2013: 5-6 - [c132]Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee:
Error-Completion in Interface Theories. SPIN 2013: 358-375 - [c131]Manfred Broy:
Software Quality: From Requirements to Architecture. SWQD 2013: 1-2 - [p16]Manfred Broy:
A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views. Engineering Dependable Software Systems 2013: 1-48 - [e23]Manfred Broy, Doron A. Peled, Georg Kalus:
Engineering Dependable Software Systems. NATO Science for Peace and Security Series, D: Information and Communication Security 34, IOS Press 2013, ISBN 978-1-61499-206-6 [contents] - 2012
- [j114]Manfred Broy, Albert Endres:
Mehr Lebensqualität dank Informatik. Inform. Spektrum 35(1): 34-38 (2012) - [j113]Manfred Broy:
Cyber Physical Systems (Part 1). it Inf. Technol. 54(6): 255-256 (2012) - [c130]Manfred Broy:
System Behaviour Models with Discrete and Dense Time. Advances in Real-Time Systems 2012: 3-25 - [c129]Manfred Broy:
Engineering Cyber-Physical Systems: Challenges and Foundations. CSDM 2012: 1-13 - [c128]Manfred Broy, María Victoria Cengarle, Eva Geisberger:
Cyber-Physical Systems: Imminent Challenges. Monterey Workshop 2012: 1-28 - [p15]Manfred Broy:
Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation. Conquering Complexity 2012: 309-372 - [p14]Manfred Broy, Werner Damm, Stefan Henkler, Klaus Pohl, Andreas Vogelsang, Thorsten Weyer:
Introduction to the SPES Modeling Framework. Model-Based Engineering of Embedded Systems 2012: 31-49 - [p13]Manfred Broy:
Outlook. Model-Based Engineering of Embedded Systems 2012: 251-254 - [e22]Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy:
Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology. Springer 2012, ISBN 978-3-642-34613-2 [contents] - 2011
- [j112]Manfred Broy:
Can Practitioners Neglect Theory and Theoreticians Neglect Practice? Computer 44(10): 19-24 (2011) - [j111]Manfred Broy, Klaus Hardy Mühleck, Dirk Taubner:
Informatik in der Automobilindustrie. Inform. Spektrum 34(1): 1-5 (2011) - [j110]Manfred Broy, Günter Reichart, Lutz Rothhardt:
Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung. Inform. Spektrum 34(1): 42-59 (2011) - [j109]Manfred Broy, María Victoria Cengarle:
UML formal semantics: lessons learned. Softw. Syst. Model. 10(4): 441-446 (2011) - [c127]Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree:
Cross-layer analysis, testing and verification of automotive control software. EMSOFT 2011: 263-272 - [c126]Manfred Broy:
Informatik als wissenschaftliche Methode: Zur Rolle der Informatik in Forschung und Anwendung. GI-Jahrestagung 2011: 43 - [c125]Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer:
Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011). Software Engineering 2011: 198 - [c124]Kim Lauenroth, Klaus Pohl, Wolfgang Böhm, Manfred Broy:
Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020). Software Engineering 2011: 201 - [c123]Manfred Broy:
Towards formal modeling of functional features and feature interactions in software intensive systems. SPLC Workshops 2011: 1 - [c122]Manfred Broy:
The Role of Requirements and Specification in Product Line Engineering. SPLC 2011: 3-7 - [p12]Manfred Broy, Alexander Pretschner:
A Model-Based View onto Testing. Model-Based Testing for Embedded Systems 2011 - [p11]Manfred Broy:
Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification. Software and Systems Safety - Specification and Verification 2011: 33-87 - [e21]Manfred Broy, Christian Leuxner, Tony Hoare:
Software and Systems Safety - Specification and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security 30, IOS Press 2011, ISBN 978-1-60750-710-9 [contents] - 2010
- [j108]Manfred Broy:
A Logical Basis for Component-Oriented Software and Systems Engineering. Comput. J. 53(10): 1758-1782 (2010) - [j107]Manfred Broy, Ralf H. Reussner:
Architectural Concepts in Programming Languages. Computer 43(10): 88-91 (2010) - [j106]Stefan Wagner, Manfred Broy, Florian Deißenböck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit:
Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda. Inform. Spektrum 33(1): 37-44 (2010) - [j105]K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger:
Scanning the Issue. Proc. IEEE 98(4): 506-509 (2010) - [j104]K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger:
Scanning Advances in Aerospace & Automobile Software Technology. Proc. IEEE 98(4): 510-514 (2010) - [j103]Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, Daniel Ratiu:
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments. Proc. IEEE 98(4): 526-545 (2010) - [j102]Manfred Broy:
Multifunctional software systems: Structured modeling and specification of functional requirements. Sci. Comput. Program. 75(12): 1193-1214 (2010) - [c121]Manfred Broy:
Seamless Method- and Model-based Software and Systems Engineering. The Future of Software Engineering 2010: 33-47 - [c120]Manfred Broy:
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. Concurrency, Compositionality, and Correctness 2010: 118-126 - [c119]Daniel Méndez Fernández, Birgit Penzenstadler, Marco Kuhrmann, Manfred Broy:
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering. MoDELS (2) 2010: 183-197 - [c118]Manfred Broy, David Cruz, Martin R. Deubler, Kim Lauenroth, Klaus Pohl, Ernst Sikora:
Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020). Software Engineering 2010: 240 - [c117]Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer:
Software-Qualitätsmodellierung und -bewertung (SQMB). Software Engineering 2010: 250
2000 – 2009
- 2009
- [j101]Brian Berenbach, Manfred Broy:
Professional and Ethical Dilemmas in Software Engineering. Computer 42(1): 74-80 (2009) - [j100]Manfred Broy, Mario Gleirscher, Stefano Merenda, Doris Wild, Peter Kluge, Wolfgang Krenzer:
Toward a Holistic and Standardized Automotive Architecture Description. Computer 42(11): 98-101 (2009) - [j99]Manfred Broy, Albert Endres:
Informatik überall, jederzeit und für alle. Inform. Spektrum 32(2): 153-162 (2009) - [j98]Herbert Weber, Manfred Broy:
Systemorientiertes Automotive Engineering. Inform. Spektrum 32(3): 206-213 (2009) - [j97]Manfred Broy, Gheorghe Stefanescu:
Guest Editors' Foreword: Selected papers on "Streams and Algebra". J. Log. Algebraic Methods Program. 78(2): 53 (2009) - [c116]Manfred Broy:
From system requirements documents to integrated system modeling artifacts. ACM Symposium on Document Engineering 2009: 98 - [c115]Manfred Broy:
Seamless Model Driven Systems Engineering Based on Formal Models. ICFEM 2009: 1-19 - [c114]Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider:
Orchestration of Global Software Engineering Projects - Position Paper. ICGSE 2009: 332-337 - [c113]Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter:
Formalizing the notion of adaptive system behavior. SAC 2009: 1029-1033 - [c112]Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer:
Software-Qualitätsmodellierung und -bewertung (SQMB 2009). Software Engineering 2009: 211- - [p10]Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Considerations and Rationale for a UML System Model. UML 2 Semantics and Applications 2009: 43-60 - [p9]Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe:
Definition of the System Model. UML 2 Semantics and Applications 2009: 61-93 - 2008
- [j96]