Principled Cyber-Physical System Design: From Foundations and Models to Practical Engineering.

Manfred Broy Technical University Munich, Germany Konrad Zuse Medal Gottfried Wilhelm Leibniz Prize https://www.professoren.tum.de/en/broy-manfred http://de.wikipedia.org/wiki/Manfred_Broy https://gi.de/ueber-uns/personen/konrad-zuse-medaille/ https://dl.acm.org/profile/81100226420 https://zbmath.org/authors/?q=ai:broy.manfred https://mathscinet.ams.org/mathscinet/MRAuthorID/42275 https://mathgenealogy.org/id.php?id=22779 https://en.wikipedia.org/wiki/Manfred_Broy https://orcid.org/0000-0003-2649-1752 https://www.wikidata.org/entity/Q92920 https://www.scopus.com/authid/detail.uri?authorId=7004977848 http://isni.org/isni/0000000065971423 https://viaf.org/viaf/91721734 https://id.loc.gov/authorities/names/n79060851 https://d-nb.info/gnd/109602137 https://www.wikidata.org/entity/Q130838933

Manfred Broy Harald Ruess Principled Cyber-Physical System Design: From Foundations and Models to Practical Engineering. 2026 March 20-30 59 Computer 3 https://doi.org/10.1109/MC.2025.3615208 db/journals/computer/computer59.html#BroyR26 streams/journals/computer

Manfred Broy Designing Concurrent Distributed Systems by Interface Contracts. 234-250 2026 Engineering Safe and Trustworthy Cyber Physical Systems https://doi.org/10.1007/978-3-031-97537-0_14 conf/birthday/2023damm db/conf/birthday/damm2023.html#Broy26

Manfred Broy Harald Ruess Natarajan Shankar It's the Specification, Stupid! 22-24 2025 December 68 Commun. ACM 12 https://doi.org/10.1145/3736710 db/journals/cacm/cacm68.html#BroyRS25 streams/journals/cacm

Manfred Broy Achim D. Brucker Alessandro Fantechi Mario Gleirscher Klaus Havelund Markus Alexander Kuppe Alexandra Mendes André Platzer Jan Oliver Ringert Allison Sullivan Does Every Computer Scientist Need to Know Formal Methods? 6:1-6:17 2025 37 Formal Aspects Comput. 1 https://doi.org/10.1145/3670795 https://www.wikidata.org/entity/Q131130407 db/journals/fac/fac37.html#BroyBFGHKMPRS25

Manfred Broy Bran Selic The Effects of Hype in the Software Domain: Causes, Consequences, and Mitigations. 98-102 2025 March - April 42 IEEE Softw. 2 https://doi.org/10.1109/MS.2024.3511732 db/journals/software/software42.html#BroyS25 streams/journals/software

Manfred Broy Specifying and Implementing Interface Moore Machines by a Logic of Actions. 262-281 2025 Go Where the Bugs Are https://doi.org/10.1007/978-3-031-92196-4_13 conf/birthday/2025reif db/conf/birthday/reif2025.html#Broy25

Manfred Broy A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems. 16:1-16:54 2024 September 36 Formal Aspects Comput. 3 https://doi.org/10.1145/3672085 https://www.wikidata.org/entity/Q130838934 db/journals/fac/fac36.html#Broy24 streams/journals/fac

Maurice H. ter Beek Manfred Broy Brijesh Dongol The Role of Formal Methods in Computer Science Education. 58-66 2024 December 15 Inroads 4 https://doi.org/10.1145/3702231 db/journals/inroads/inroads15.html#BeekBD24 streams/journals/inroads

Manfred Broy Bran Selic Specifying and Composing Layered Architectures. 1 2024 23 J. Object Technol. 1 https://doi.org/10.5381/jot.2024.23.1.a2 https://www.wikidata.org/entity/Q128317854 db/journals/jot/jot23.html#BroyS24

Manfred Broy Time, causality, and realizability: Engineering interactive, distributed software systems. 111940 2024 April 210 J. Syst. Softw. https://doi.org/10.1016/j.jss.2023.111940 db/journals/jss/jss210.html#Broy24

Manfred Broy Captured: Compositional and Modular Approaches to Concurrency. 24-45 2024 The Practice of Formal Methods (I) https://doi.org/10.1007/978-3-031-66676-6_2 series/lncs/14780 db/series/lncs/lncs14780.html#Broy24

Manfred Broy Bernhard Rumpe Development Use Cases for Semantics-Driven Modeling Languages. 62-71 2023 May 66 Commun. ACM 5 https://doi.org/10.1145/3569927 db/journals/cacm/cacm66.html#BroyR23

Manfred Broy Albrecht Schmidt 0001 Martin Wirsing In memory of Heinrich Hussmann, long-time friend and SoSyM editor. 453-454 2023 April 22 Softw. Syst. Model. 2 https://doi.org/10.1007/s10270-023-01099-0 db/journals/sosym/sosym22.html#BroySW23

Manfred Broy Specification and verification of concurrent systems by causality and realizability. 114106 2023 September 974 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2023.114106 db/journals/tcs/tcs974.html#Broy23

Manfred Broy Software System Documentation: Coherent Description of Software System Properties. 10-27 2022 ISoLA (2) https://doi.org/10.1007/978-3-031-19756-7_2 conf/isola/2022-2 db/conf/isola/isola2022-2.html#Broy22 Stefan Kugele Manfred Broy Architecture as a Backbone for Safe DevOps in Automotive Systems. 4145-4150 2022 ITSC https://doi.org/10.1109/ITSC55140.2022.9922097 conf/itsc/2022 db/conf/itsc/itsc2022.html#KugeleB22 Manfred Broy Edsger W. Dijkstra as a Lecturer in Marktoberdorf. 493-510 2022 Edsger Wybe Dijkstra https://doi.org/10.1145/3544585.3544616 books/mc/AH2022 db/books/collections/AH2022.html#Broy22 Manfred Broy Marco Kuhrmann Einführung in die Softwaretechnik. Springer 2021 Xpert.press 978-3-662-50262-4 978-3-662-50263-1 https://doi.org/10.1007/978-3-662-50263-1 Manfred Broy Refining the Safety-Liveness Classification of Temporal Properties According to Realizability. 10-31 2021 Formal Methods in Outer Space https://doi.org/10.1007/978-3-030-87348-6_2 conf/birthday/2021havelund db/conf/birthday/havelund2021.html#Broy21 Manfred Broy Wolfgang Böhm 0002 Bernhard Rumpe Advanced Systems Engineering. 353-364 2021 Model-Based Engineering of Collaborative Embedded Systems https://doi.org/10.1007/978-3-030-62136-0_19 books/sp/21/BBKPRS2021 db/books/collections/BBKPRS2021.html#Broy0R21 Wolfgang Böhm 0002 Manfred Broy Cornel Klein Klaus Pohl Bernhard Rumpe Sebastian Schröck Model-Based Engineering of Collaborative Embedded Systems Springer 2021 978-3-030-62135-3 https://doi.org/10.1007/978-3-030-62136-0 db/books/collections/BBKPRS2021.html

Jennifer Hehn Daniel Méndez 0001 Falk Uebernickel Walter Brenner Manfred Broy On Integrating Design Thinking for Human-Centered Requirements Engineering. 25-31 2020 37 IEEE Softw. 2 https://doi.org/10.1109/MS.2019.2957715 db/journals/software/software37.html#HehnMUBB20

Manfred Broy Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis. Springer 2019 978-3-658-26302-7 https://doi.org/10.1007/978-3-658-26302-7

Manfred Broy Heinrich Daembkes Janos Sztipanovits Editorial to the theme section on model-based design of cyber-physical systems. 1575-1576 2019 18 Softw. Syst. Model. 3 https://doi.org/10.1007/s10270-018-0670-9 db/journals/sosym/sosym18.html#BroyDS19

Daniel Méndez Fernández Wolfgang Böhm 0002 Andreas Vogelsang Jakob Mund Manfred Broy Marco Kuhrmann Thorsten Weyer Artefacts in software engineering: a fundamental positioning. 2777-2786 2019 18 Softw. Syst. Model. 5 https://doi.org/10.1007/s10270-019-00714-3 https://www.wikidata.org/entity/Q128520386 db/journals/sosym/sosym18.html#FernandezBVMBKW19

Manfred Broy Seamless Model-Based System Development: Foundations - (Extended Abstract). 1-9 2019 SETSS https://doi.org/10.1007/978-3-030-55089-9_1 conf/setss/2019 db/conf/setss/setss2019.html#Broy19

Jennifer Hehn Daniel Méndez Fernández Falk Uebernickel Walter Brenner Manfred Broy On Integrating Design Thinking for a Human-centered Requirements Engineering. 2019 abs/1908.07223 CoRR http://arxiv.org/abs/1908.07223 db/journals/corr/corr1908.html#abs-1908-07223

Manfred Broy Theory and methodology of assumption/commitment based system interface specification and architectural contracts. 33-87 2018 52 Formal Methods Syst. Des. 1 https://doi.org/10.1007/s10703-017-0304-9 db/journals/fmsd/fmsd52.html#Broy18

Manfred Broy Yesterday, Today, and Tomorrow: 50 Years of Software Engineering. 38-43 2018 35 IEEE Softw. 5 https://doi.org/10.1109/MS.2018.290111138 http://doi.ieeecomputersociety.org/10.1109/MS.2018.290111138 https://www.wikidata.org/entity/Q129563913 db/journals/software/software35.html#Broy18

Manfred Broy Bernhard Rumpe In memory of Bernhard Schätz, long- time friend and SoSyM editor. 5-7 2018 17 Softw. Syst. Model. 1 https://doi.org/10.1007/s10270-018-0657-6 db/journals/sosym/sosym17.html#BroyR18

Manfred Broy A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability - from requirements to functional and architectural views. 365-393 2018 17 Softw. Syst. Model. 2 https://doi.org/10.1007/s10270-017-0619-4 db/journals/sosym/sosym17.html#Broy18

Manfred Broy Klaus Havelund Rahul Kumar 0001 Bernhard Steffen Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). 3-21 2018 ISoLA (1) https://doi.org/10.1007/978-3-030-03418-4_1 conf/isola/2018-1 db/conf/isola/isola2018-1.html#BroyHKS18 Manfred Broy On Architecture Specification. 19-39 2018 SOFSEM https://doi.org/10.1007/978-3-319-73117-9_2 conf/sofsem/2018 db/conf/sofsem/sofsem2018.html#Broy18 Manfred Broy The Leading Role of Software and Systems Architecture in the Age of Digitization. 1-23 2018 The Essence of Software Engineering https://doi.org/10.1007/978-3-319-73897-0_1 books/sp/GS2018 db/books/collections/GS2018.html#Broy18 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 SEFAIAS@ICSE ACM 2018 978-1-4503-5739-5 https://doi.org/10.1145/3194085 https://ieeexplore.ieee.org/xpl/conhome/8452113/proceeding db/conf/icse/sefaias2018.html

Daniel Méndez Fernández Wolfgang Böhm 0002 Andreas Vogelsang Jakob Mund Manfred Broy Marco Kuhrmann Thorsten Weyer Artefacts in Software Engineering: What are they after all? 2018 abs/1806.00098 CoRR http://arxiv.org/abs/1806.00098 db/journals/corr/corr1806.html#abs-1806-00098

Arndt Bode Manfred Broy Hans-Joachim Bungartz Florian Matthes 50 Jahre Informatik an den Universitäten in München. 139-140 2017 40 Inform. Spektrum 2 https://doi.org/10.1007/s00287-017-1033-6 db/journals/insk/insk40.html#BodeBBM17

Manfred Broy Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft. 201-204 2017 40 Inform. Spektrum 2 https://doi.org/10.1007/s00287-017-1024-7 db/journals/insk/insk40.html#Broy17

Walter Brenner Manfred Broy Jan Marco Leimeister Auf dem Weg zu einer Informatik neuer Prägung in Wissenschaft, Studium und Wirtschaft. 602-606 2017 40 Inform. Spektrum 6 https://doi.org/10.1007/s00287-017-1066-x db/journals/insk/insk40.html#BrennerBL17

Stefan Kugele Philipp Obergfell Manfred Broy Oliver Creighton Matthias Traub Wolfgang Hopfensitz On Service-Orientation for Automotive Software. 193-202 2017 ICSA https://doi.org/10.1109/ICSA.2017.20 https://doi.ieeecomputersociety.org/10.1109/ICSA.2017.20 conf/icsa/2017 db/conf/icsa/icsa2017.html#KugeleOBCTH17 Marco Kuhrmann Thomas Ternité Jan Friedrich Andreas Rausch 0001 Manfred Broy Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models. 127-128 2017 Software Engineering conf/se/2017 db/conf/se/se2017.html#KuhrmannTFRB17 https://dl.gi.de/handle/20.500.12116/1305 Manfred Broy Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft. 197-201 2017 50 Jahre Universitäts-Informatik in München https://doi.org/10.1007/978-3-662-54712-0_17 books/sp/17/BBBM2017 db/books/collections/BBBM2017.html#Broy17 Arndt Bode Manfred Broy Hans-Joachim Bungartz Florian Matthes 50 Jahre Universitäts-Informatik in München Springer 2017 978-3-662-54711-3 978-3-662-54712-0 https://doi.org/10.1007/978-3-662-54712-0 db/books/collections/BBBM2017.html

Manfred Broy Christian Prehofer Hermann Engesser Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung und Forschung. 436-443 2016 39 Inform. Spektrum 6 https://doi.org/10.1007/s00287-016-0995-0 db/journals/insk/insk39.html#BroyPE16

Marco Kuhrmann Thomas Ternité Jan Friedrich Andreas Rausch 0001 Manfred Broy Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models. 49-71 2016 121 J. Syst. Softw. https://doi.org/10.1016/j.jss.2016.07.031 db/journals/jss/jss121.html#KuhrmannTFRB16

Manfred Broy From Actions, Transactions, and Processes to Services. 13-19 2016 Petri Nets https://doi.org/10.1007/978-3-319-39086-4_2 conf/apn/2016 db/conf/apn/pn2016.html#Broy16 Manfred Broy Klaus Havelund Rahul Kumar 0001 Bernhard Steffen Towards a Unified View of Modeling and Programming (Track Summary). 3-10 2016 ISoLA (2) https://doi.org/10.1007/978-3-319-47169-3_1 conf/isola/2016-2 db/conf/isola/isola2016-2.html#BroyHKS16 Manfred Broy Klaus Havelund Rahul Kumar 0001 Towards a Unified View of Modeling and Programming. 238-257 2016 ISoLA (2) https://doi.org/10.1007/978-3-319-47169-3_17 conf/isola/2016-2 db/conf/isola/isola2016-2.html#BroyHK16 Manfred Broy Model-centric Assumption Promise Specification. 5 2016 MODELSWARD conf/modelsward/2016 db/conf/modelsward/modelsward2016.html#Broy16 Klaus Pohl Manfred Broy Heinrich Daembkes Harald Hönninger Advanced Model-Based Engineering of Embedded Systems. 3-9 2016 Advanced Model-Based Engineering of Embedded Systems https://doi.org/10.1007/978-3-319-48003-9_1 books/sp/spes2016 db/books/collections/spes2016.html#PohlBDH16 Manfred Broy Outlook. 273-276 2016 Advanced Model-Based Engineering of Embedded Systems https://doi.org/10.1007/978-3-319-48003-9_16 books/sp/spes2016 db/books/collections/spes2016.html#Broy16 Klaus Pohl Manfred Broy Heinrich Daembkes Harald Hönninger Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology Advanced Model-Based Engineering of Embedded Systems Springer 2016 978-3-319-48002-2 978-3-319-48003-9 https://doi.org/10.1007/978-3-319-48003-9 db/books/collections/spes2016.html

Manfred Broy A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer. 299-301 2015 52 Acta Informatica 4-5 https://doi.org/10.1007/s00236-015-0241-2 db/journals/acta/acta52.html#Broy15

Manfred Broy Rethinking Nonfunctional Software Requirements. 96-99 2015 48 Computer 5 https://doi.org/10.1109/MC.2015.139 http://doi.ieeecomputersociety.org/10.1109/MC.2015.139 db/journals/computer/computer48.html#Broy15

Manfred Broy Computability and realizability for interactive computations. 277-301 2015 241 Inf. Comput. https://doi.org/10.1016/j.ic.2014.12.019 db/journals/iandc/iandc241.html#Broy15

Manfred Broy Pragmatic Formal Specification of System Properties by Tables. 329-354 2015 Software, Services, and Systems https://doi.org/10.1007/978-3-319-15545-6_21 conf/birthday/2015wirsing db/conf/birthday/wirsing2015.html#Broy15 Maximilian Junker Manfred Broy Benedikt Hauptmann Wolfgang Böhm 0002 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. 50-53 2015 SER&IP@ICSE https://doi.org/10.1109/SERIP.2015.17 http://dl.acm.org/citation.cfm?id=2821400 conf/icse/2015serip db/conf/icse/serip2015.html#JunkerBH0FEJJV15 Manfred Broy From Actions, Transactions, and Processes to Services. 42-78 2015 Dependable Software Systems Engineering https://doi.org/10.3233/978-1-61499-495-4-42 series/natosec/40 db/series/natosec/natosec40.html#Broy15

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. 815-825 2014 62 Autom. 11 http://www.degruyter.com/view/j/auto.2014.62.issue-11/auto-2014-1126/auto-2014-1126.xml db/journals/at/at62.html#LegatMCHFSBV14

Manfred Broy Albrecht Schmidt 0001 Challenges in Engineering Cyber-Physical Systems. 70-72 2014 47 Computer 2 https://doi.org/10.1109/MC.2014.30 http://doi.ieeecomputersociety.org/10.1109/MC.2014.30 https://www.wikidata.org/entity/Q59906314 db/journals/computer/computer47.html#BroyS14

Peter Braun 0003 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. 21-43 2014 29 Comput. Sci. Res. Dev. 1 https://doi.org/10.1007/s00450-010-0136-y db/journals/ife/ife29.html#0003BHKMPPW14

Manfred Broy Verifying of interface assertions for infinite state Mealy machines. 1298-1322 2014 80 J. Comput. Syst. Sci. 7 https://doi.org/10.1016/j.jcss.2014.03.002 db/journals/jcss/jcss80.html#Broy14

Manfred Broy A Model of Dynamic Systems. 39-53 2014 FPS@ETAPS https://doi.org/10.1007/978-3-642-54848-2_3 conf/etaps/2014fps db/conf/etaps/fps2014.html#Broy14 Manfred Broy Cyber-Physical Systems - Konsequenzen für eine Informatik mit Nähe zur physikalischen Wirklichkeit. 41-47 2014 GI-Jahrestagung conf/gi/2014 db/conf/gi/gi2014.html#Broy14 https://dl.gi.de/handle/20.500.12116/2692

Christian Bartelt Manfred Broy Christoph Herrmann 0003 Eric Knauss Marco Kuhrmann Andreas Rausch 0001 Bernhard Rumpe Kurt Schneider Orchestration of Global Software Engineering Projects. 2014 abs/1409.6587 CoRR http://arxiv.org/abs/1409.6587 db/journals/corr/corr1409.html#BarteltBHKKRRS14

Manfred Broy María Victoria Cengarle Bernhard Rumpe Towards a System Model for UML. The Structural Data Model. 2014 abs/1409.6613 CoRR http://arxiv.org/abs/1409.6613 db/journals/corr/corr1409.html#BroyCR14

Manfred Broy Michelle L. Crane Jürgen Dingel Alan Hartman Bernhard Rumpe Bran Selic UML 2 Semantics Symposium: Formal Semantics for UML. 2014 abs/1409.6619 CoRR http://arxiv.org/abs/1409.6619 db/journals/corr/corr1409.html#BroyCDHRS14

Manfred Broy María Victoria Cengarle Hans Grönniger Bernhard Rumpe Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0). 2014 abs/1409.6637 CoRR http://arxiv.org/abs/1409.6637 db/journals/corr/corr1409.html#BroyCGR14

Cornel Klein Bernhard Rumpe Manfred Broy A stream-based mathematical model for distributed information processing systems - SysLab system model. 2014 abs/1409.7236 CoRR http://arxiv.org/abs/1409.7236 db/journals/corr/corr1409.html#KleinRB14

Manfred Broy Franz Huber Barbara Paech Bernhard Rumpe Katharina Spies Software and System Modeling Based on a Unified Formal Semantics. 2014 abs/1411.2410 CoRR http://arxiv.org/abs/1411.2410 db/journals/corr/corr1411.html#BroyHPRS14

Manfred Broy Marco Kuhrmann Projektorganisation und Management im Software Engineering. I-XVI, 1-416 Springer 2013 Xpert.press 978-3-642-29289-7 978-3-642-29290-3 https://doi.org/10.1007/978-3-642-29290-3

Birgit Vogel-Heuser Christian Diedrich Manfred Broy Anforderungen an CPS aus Sicht der Automatisierungstechnik. 669-676 2013 61 Autom. 10 https://doi.org/10.1515/auto.2013.0061 db/journals/at/at61.html#Vogel-HeuserDB13

Manfred Broy Cyber Physical Systems (Part 2). 3-4 2013 55 it Inf. Technol. 1 https://doi.org/10.1524/itit.2013.9001 https://www.wikidata.org/entity/Q115722234 db/journals/it/it55.html#Broy13

Manfred Broy Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering. 15-30 2013 Perspectives on the Future of Software Engineering https://doi.org/10.1007/978-3-642-37395-4_2 conf/birthday/2013rombach db/conf/birthday/rombach2013.html#Broy13 Manfred Broy Challenges in modeling cyber-physical systems. 5-6 2013 IPSN https://doi.org/10.1145/2461381.2461385 https://doi.org/10.1109/IPSN.2013.6917552 conf/ipsn/2013 db/conf/ipsn/ipsn2013.html#Broy13 Stavros Tripakis Christos Stergiou 0001 Manfred Broy Edward A. Lee Error-Completion in Interface Theories. 358-375 2013 SPIN https://doi.org/10.1007/978-3-642-39176-7_22 conf/spin/2013 db/conf/spin/spin2013.html#TripakisSBL13 Manfred Broy Software Quality: From Requirements to Architecture. 1-2 2013 SWQD https://doi.org/10.1007/978-3-642-35702-2_1 conf/swqd/2013 db/conf/swqd/swqd2013.html#Broy13 Manfred Broy A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views. 1-48 2013 Engineering Dependable Software Systems https://doi.org/10.3233/978-1-61499-207-3-1 series/natosec/34 db/series/natosec/natosec34.html#Broy13 Manfred Broy Doron A. Peled Georg Kalus Engineering Dependable Software Systems Engineering Dependable Software Systems IOS Press 2013 NATO Science for Peace and Security Series, D: Information and Communication Security 34 978-1-61499-206-6 978-1-61499-207-3 db/series/natosec/natosec34.html

Manfred Broy Albert Endres Mehr Lebensqualität dank Informatik. 34-38 2012 35 Inform. Spektrum 1 https://doi.org/10.1007/s00287-011-0521-3 db/journals/insk/insk35.html#BroyE12

Manfred Broy Cyber Physical Systems (Part 1). 255-256 2012 54 it Inf. Technol. 6 https://doi.org/10.1524/itit.2012.9078 https://www.wikidata.org/entity/Q115722285 db/journals/it/it54.html#Broy12

Manfred Broy System Behaviour Models with Discrete and Dense Time. 3-25 2012 Advances in Real-Time Systems https://doi.org/10.1007/978-3-642-24349-3_1 conf/birthday/2012faerber db/conf/birthday/faerber2012.html#Broy12 Manfred Broy Engineering Cyber-Physical Systems: Challenges and Foundations. 1-13 2012 CSDM https://doi.org/10.1007/978-3-642-34404-6_1 conf/csdm/2012 db/conf/csdm/csdm2012.html#Broy12 Manfred Broy María Victoria Cengarle Eva Geisberger Cyber-Physical Systems: Imminent Challenges. 1-28 2012 Monterey Workshop https://doi.org/10.1007/978-3-642-34059-8_1 conf/monterey/2012 db/conf/monterey/monterey2012.html#BroyCG12 Manfred Broy Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation. 309-372 2012 Conquering Complexity https://doi.org/10.1007/978-1-4471-2297-5_14 books/daglib/0028680 db/books/daglib/0028680.html#Broy12 Manfred Broy Werner Damm Stefan Henkler Klaus Pohl Andreas Vogelsang Thorsten Weyer Introduction to the SPES Modeling Framework. 31-49 2012 Model-Based Engineering of Embedded Systems https://doi.org/10.1007/978-3-642-34614-9_3 books/sp/pohl12 db/books/collections/Pohl2012.html#BroyDHPVW12 Manfred Broy Outlook. 251-254 2012 Model-Based Engineering of Embedded Systems https://doi.org/10.1007/978-3-642-34614-9_18 books/sp/pohl12 db/books/collections/Pohl2012.html#Broy12 Klaus Pohl Harald Hönninger Reinhold Achatz Manfred Broy Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology Springer 2012 978-3-642-34613-2 978-3-642-34614-9 https://doi.org/10.1007/978-3-642-34614-9 Model-Based Engineering of Embedded Systems db/books/collections/Pohl2012.html

Manfred Broy Can Practitioners Neglect Theory and Theoreticians Neglect Practice? 19-24 2011 44 Computer 10 https://doi.org/10.1109/MC.2011.305 http://doi.ieeecomputersociety.org/10.1109/MC.2011.305 db/journals/computer/computer44.html#Broy11

Manfred Broy Klaus Hardy Mühleck Dirk Taubner Informatik in der Automobilindustrie. 1-5 2011 34 Inform. Spektrum 1 https://doi.org/10.1007/s00287-010-0508-5 db/journals/insk/insk34.html#BroyMT11

Manfred Broy Günter Reichart Lutz Rothhardt Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung. 42-59 2011 34 Inform. Spektrum 1 https://doi.org/10.1007/s00287-010-0507-6 db/journals/insk/insk34.html#BroyRR11

Manfred Broy María Victoria Cengarle UML formal semantics: lessons learned. 441-446 2011 10 Softw. Syst. Model. 4 https://doi.org/10.1007/s10270-011-0207-y db/journals/sosym/sosym10.html#BroyC11

Manfred Broy Samarjit Chakraborty Dip Goswami S. Ramesh 0002 Manoranjan Satpathy Stefan Resmerita Wolfgang Pree Cross-layer analysis, testing and verification of automotive control software. 263-272 2011 EMSOFT https://doi.org/10.1145/2038642.2038683 conf/emsoft/2011 db/conf/emsoft/emsoft2011.html#BroyCGRSRP11 Manfred Broy Informatik als wissenschaftliche Methode: Zur Rolle der Informatik in Forschung und Anwendung. 43 2011 GI-Jahrestagung https://dl.gi.de/handle/20.500.12116/18837 http://subs.emis.de/LNI/Proceedings/Proceedings192/article140.html conf/gi/2011 db/conf/gi/gi2011.html#Broy11 Stefan Wagner 0001 Manfred Broy Florian Deißenböck Jürgen Münch Peter Liggesmeyer Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011). 198 2011 Software Engineering conf/se/2011 https://dl.gi.de/handle/20.500.12116/19860 db/conf/se/se2011.html#WagnerBDML11 Kim Lauenroth Klaus Pohl Wolfgang Böhm 0002 Manfred Broy Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020). 201 2011 Software Engineering conf/se/2011 db/conf/se/se2011.html#LauenrothPBB11 https://dl.gi.de/handle/20.500.12116/19862 http://subs.emis.de/LNI/Proceedings/Proceedings183/article6288.html Manfred Broy Towards formal modeling of functional features and feature interactions in software intensive systems. 1 2011 SPLC Workshops https://doi.org/10.1145/2019136.2019138 conf/splc/2011w db/conf/splc/splc2011w.html#Broy11 Manfred Broy The Role of Requirements and Specification in Product Line Engineering. 3-7 2011 SPLC https://doi.org/10.1109/SPLC.2011.68 https://doi.ieeecomputersociety.org/10.1109/SPLC.2011.68 conf/splc/2011 db/conf/splc/splc2011.html#Broy11a Manfred Broy Alexander Pretschner A Model-Based View onto Testing. 2011 Model-Based Testing for Embedded Systems https://doi.org/10.1201/b11321-11 books/tf/11/ZSM2011 db/books/collections/ZSM2011.html#BroyP11 Manfred Broy Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification. 33-87 2011 Software and Systems Safety - Specification and Verification https://doi.org/10.3233/978-1-60750-711-6-33 series/natosec/30 db/series/natosec/natosec30.html#Broy11 Manfred Broy Christian Leuxner Tony Hoare Software and Systems Safety - Specification and Verification Software and Systems Safety - Specification and Verification 978-1-60750-710-9 30 2011 IOS Press NATO Science for Peace and Security Series - D: Information and Communication Security https://doi.org/10.3233/978-1-60750-711-6 db/series/natosec/natosec30.html

Manfred Broy A Logical Basis for Component-Oriented Software and Systems Engineering. 1758-1782 2010 53 Comput. J. 10 https://doi.org/10.1093/comjnl/bxq005 db/journals/cj/cj53.html#Broy10

Manfred Broy Ralf H. Reussner Architectural Concepts in Programming Languages. 88-91 2010 43 Computer 10 https://doi.org/10.1109/MC.2010.277 http://doi.ieeecomputersociety.org/10.1109/MC.2010.277 db/journals/computer/computer43.html#BroyR10

Stefan Wagner 0001 Manfred Broy Florian Deißenböck Michael Kläs Peter Liggesmeyer Jürgen Münch Jonathan Streit Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda. 37-44 2010 33 Inform. Spektrum 1 https://doi.org/10.1007/s00287-009-0339-4 https://www.wikidata.org/entity/Q59900121 db/journals/insk/insk33.html#WagnerBDKLMS10

K. Venkatesh Prasad Manfred Broy Ingolf Krüger Scanning the Issue. 506-509 2010 98 Proc. IEEE 4 https://doi.org/10.1109/JPROC.2010.2041833 db/journals/pieee/pieee98.html#PrasadBK10

K. Venkatesh Prasad Manfred Broy Ingolf Krüger Scanning Advances in Aerospace & Automobile Software Technology. 510-514 2010 98 Proc. IEEE 4 https://doi.org/10.1109/JPROC.2010.2041835 db/journals/pieee/pieee98.html#PrasadBK10a

Manfred Broy Martin Feilkas Markus Herrmannsdoerfer Stefano Merenda Daniel Ratiu Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments. 526-545 2010 98 Proc. IEEE 4 https://doi.org/10.1109/JPROC.2009.2037771 db/journals/pieee/pieee98.html#BroyFHMR10

Manfred Broy Multifunctional software systems: Structured modeling and specification of functional requirements. 1193-1214 2010 75 Sci. Comput. Program. 12 https://doi.org/10.1016/j.scico.2010.06.007 db/journals/scp/scp75.html#Broy10

Manfred Broy Seamless Method- and Model-based Software and Systems Engineering. 33-47 2010 The Future of Software Engineering https://doi.org/10.1007/978-3-642-15187-3_2 conf/birthday/2010meyer db/conf/birthday/meyer2010.html#Broy10a Manfred Broy Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. 118-126 2010 Concurrency, Compositionality, and Correctness https://doi.org/10.1007/978-3-642-11512-7_8 conf/birthday/2010roever db/conf/birthday/roever2010.html#Broy10 Daniel Méndez Fernández Birgit Penzenstadler Marco Kuhrmann Manfred Broy A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering. 183-197 2010 MoDELS (2) https://doi.org/10.1007/978-3-642-16129-2_14 conf/models/2010-2 db/conf/models/models2010-2.html#FernandezPKB10 Manfred Broy David Cruz Martin R. Deubler Kim Lauenroth Klaus Pohl Ernst Sikora Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020). 240 2010 Software Engineering conf/se/2010 db/conf/se/se2010.html#BroyCDLPS10 https://dl.gi.de/handle/20.500.12116/20228 http://subs.emis.de/LNI/Proceedings/Proceedings159/article5461.html Stefan Wagner 0001 Manfred Broy Florian Deißenböck Jürgen Münch Peter Liggesmeyer Software-Qualitätsmodellierung und -bewertung (SQMB). 250 2010 Software Engineering conf/se/2010 db/conf/se/se2010.html#WagnerBDML10 https://dl.gi.de/handle/20.500.12116/20238 http://subs.emis.de/LNI/Proceedings/Proceedings159/article5445.html

Brian Berenbach Manfred Broy Professional and Ethical Dilemmas in Software Engineering. 74-80 2009 42 Computer 1 https://doi.org/10.1109/MC.2009.22 http://doi.ieeecomputersociety.org/10.1109/MC.2009.22 https://www.wikidata.org/entity/Q114988445 db/journals/computer/computer42.html#BerenbachB09

Manfred Broy Mario Gleirscher Stefano Merenda Doris Wild Peter Kluge Wolfgang Krenzer Toward a Holistic and Standardized Automotive Architecture Description. 98-101 2009 42 Computer 11 https://doi.org/10.1109/MC.2009.413 http://doi.ieeecomputersociety.org/10.1109/MC.2009.413 db/journals/computer/computer42.html#BroyGMWKK09

Manfred Broy Albert Endres Informatik überall, jederzeit und für alle. 153-162 2009 32 Inform. Spektrum 2 https://doi.org/10.1007/s00287-009-0326-9 db/journals/insk/insk32.html#BroyE09

Herbert Weber Manfred Broy Systemorientiertes Automotive Engineering. 206-213 2009 32 Inform. Spektrum 3 https://doi.org/10.1007/s00287-009-0337-6 db/journals/insk/insk32.html#WeberB09

Manfred Broy Gheorghe Stefanescu Guest Editors' Foreword: Selected papers on "Streams and Algebra". 53 2009 78 J. Log. Algebraic Methods Program. 2 https://doi.org/10.1016/j.jlap.2008.10.001 https://www.wikidata.org/entity/Q114851553 db/journals/jlp/jlp78.html#BroyS09

Manfred Broy From system requirements documents to integrated system modeling artifacts. 98 2009 ACM Symposium on Document Engineering https://doi.org/10.1145/1600193.1600215 conf/doceng/2009 db/conf/doceng/doceng2009.html#Broy09 Manfred Broy Seamless Model Driven Systems Engineering Based on Formal Models. 1-19 2009 ICFEM https://doi.org/10.1007/978-3-642-10373-5_1 conf/icfem/2009 db/conf/icfem/icfem2009.html#Broy09 Christian Bartelt Manfred Broy Christoph Herrmann 0003 Eric Knauss Marco Kuhrmann Andreas Rausch 0001 Bernhard Rumpe Kurt Schneider Orchestration of Global Software Engineering Projects - Position Paper. 332-337 2009 ICGSE https://doi.org/10.1109/ICGSE.2009.52 https://doi.ieeecomputersociety.org/10.1109/ICGSE.2009.52 conf/icgse/2009 db/conf/icgse/icgse2009.html#BarteltBHKKRRS09 Manfred Broy Christian Leuxner Wassiou Sitou Bernd Spanfelner Sebastian Winter Formalizing the notion of adaptive system behavior. 1029-1033 2009 SAC https://doi.org/10.1145/1529282.1529508 conf/sac/2009 db/conf/sac/sac2009.html#BroyLSSW09 Stefan Wagner 0001 Manfred Broy Florian Deißenböck Jürgen Münch Peter Liggesmeyer Software-Qualitätsmodellierung und -bewertung (SQMB 2009). 211- 2009 Software Engineering conf/se/2009 db/conf/se/se2009.html#WagnerBDML09 Manfred Broy María Victoria Cengarle Hans Grönniger Bernhard Rumpe Considerations and Rationale for a UML System Model. 43-60 2009 UML 2 Semantics and Applications https://doi.org/10.1002/9780470522622.ch3 books/wi/09/L2009 db/books/collections/L2009.html#BroyCGR09 Manfred Broy María Victoria Cengarle Hans Grönniger Bernhard Rumpe Definition of the System Model. 61-93 2009 UML 2 Semantics and Applications https://doi.org/10.1002/9780470522622.ch4 books/wi/09/L2009 db/books/collections/L2009.html#BroyCGR09a

Kamel Barkaoui Manfred Broy Ana Cavalcanti 0001 Antonio Cerone Guest Editorial. 349-350 2008 20 Formal Aspects Comput. 4-5 https://doi.org/10.1007/s00165-008-0085-4 db/journals/fac/fac20.html#BarkaouiBCC08

Jewgenij Botaschanjan Manfred Broy Alexander Gruler Alexander Harhurin Steffen Knapp Leonid Kof Wolfgang J. Paul Maria Spichkova On the correctness of upper layers of automotive systems. 637-662 2008 20 Formal Aspects Comput. 6 https://doi.org/10.1007/s00165-008-0097-0 db/journals/fac/fac20.html#BotaschanjanBGHKKPS08

Arndt Bode Manfred Broy Uwe Dumslaff Gregor Engels Architektur & Management im Großen meistern. 523-525 2008 31 Inform. Spektrum 6 https://doi.org/10.1007/s00287-008-0286-5 db/journals/insk/insk31.html#BodeBDE08

Manfred Broy Über "Sequentielle Formelübersetzung" von Klaus Samelson und Friedrich L. Bauer. 135-136 2008 50 it Inf. Technol. 2 db/journals/it/it50.html#Broy08 https://doi.org/10.1524/itit.2008.0476 https://www.wikidata.org/entity/Q115722456

Manfred Broy Reinhard Stolle Alexandre Saad 6.Workshop Automotive Software Engineering. 617-618 2008 GI Jahrestagung (2) conf/gi/2008-2 db/conf/gi/gi2008-2.html#BroySS07 https://dl.gi.de/handle/20.500.12116/21255 http://subs.emis.de/LNI/Proceedings/Proceedings134/article2156.html Manfred Broy Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). 1-13 2008 ISoLA https://doi.org/10.1007/978-3-540-88479-8_1 conf/isola/2008 db/conf/isola/isola2008.html#Broy08 Manfred Broy Requirements Engineering als Schlüssel zur Softwarequalität und Produktivität. 23 2008 Software Engineering conf/se/2008 db/conf/se/se2008.html#Broy08 https://dl.gi.de/handle/20.500.12116/22224 http://subs.emis.de/LNI/Proceedings/Proceedings121/article1979.html Stefan Wagner 0001 Manfred Broy Florian Deißenböck Jürgen Münch Peter Liggesmeyer Software-Qualitätsmodellierung und -bewertung. 295-297 2008 Software Engineering conf/se/2008 db/conf/se/se2008.html#WagnerBDML08 https://dl.gi.de/handle/20.500.12116/22241 http://subs.emis.de/LNI/Proceedings/Proceedings121/article2012.html Manfred Broy Ingolf H. Krüger Michael Meisinger Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers 4922 2008 978-3-540-70929-9 ASWSD Lecture Notes in Computer Science Springer https://doi.org/10.1007/978-3-540-70930-5 db/conf/aswsd/aswsd2006.html

Andreas Bauer 0002 Manfred Broy Jan Romberg Bernhard Schätz Peter Braun 0003 Ulrich Freund Núria Mata Robert Sandner Pierre Mai Dirk Ziegenbein Das AutoMoDe-Projekt. 45-57 2007 22 Inform. Forsch. Entwickl. 1 https://doi.org/10.1007/s00450-007-0028-y db/journals/ife/ife22.html#BauerBRSBFMSMZ07

Manfred Broy Bernhard Rumpe Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung. 3-18 2007 30 Inform. Spektrum 1 https://doi.org/10.1007/s00287-006-0124-6 db/journals/insk/insk30.html#BroyR07

Manfred Broy Eva Geisberger Jürgen Kazmeier Arnold Rudorfer Klaus Beetz Ein Requirements-Engineering-Referenzmodell. 127-142 2007 30 Inform. Spektrum 3 https://doi.org/10.1007/s00287-007-0149-5 db/journals/insk/insk30.html#BroyGKRB07

Manfred Broy Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones. 75-102 2007 3 Innov. Syst. Softw. Eng. 1 https://doi.org/10.1007/s11334-006-0011-y db/journals/isse/isse3.html#Broy07

Manfred Broy Ingolf H. Krüger Alexander Pretschner Christian Salzmann Engineering Automotive Software. 356-373 2007 95 Proc. IEEE 2 https://doi.org/10.1109/JPROC.2006.888386 db/journals/pieee/pieee95.html#BroyKPS07

Manfred Broy Editorial comment to 'About "trivial" software patents: The IsNot case'. 263 2007 64 Sci. Comput. Program. 3 https://doi.org/10.1016/j.scico.2006.09.004 db/journals/scp/scp64.html#Broy07

Manfred Broy Editorial-Science of Computer Programming-25 years. 103-104 2007 66 Sci. Comput. Program. 2 https://doi.org/10.1016/j.scico.2007.01.001 db/journals/scp/scp66.html#Broy07a

Manfred Broy Ingolf H. Krüger Michael Meisinger A formal model of services. 2007 16 ACM Trans. Softw. Eng. Methodol. 1 https://doi.org/10.1145/1189748.1189753 db/journals/tosem/tosem16.html#BroyKM07 5

Manfred Broy From "Formal Methods" to System Modeling. 24-44 2007 conf/birthday/2007bz Formal Methods and Hybrid Real-Time Systems https://doi.org/10.1007/978-3-540-75221-9_2 db/conf/birthday/BjornerZhou2007.html#Broy07 Manfred Broy Jorge Fox Florian Hölzl Dagmar Koss Marco Kuhrmann Michael Meisinger Birgit Penzenstadler Sabine Rittmann Bernhard Schätz Maria Spichkova Doris Wild Service-Oriented Modeling of CoCoME with Focus and AutoFocus. 177-206 2007 CoCoME https://doi.org/10.1007/978-3-540-85289-6_8 conf/dagstuhl/2007cocome db/conf/dagstuhl/cocome2007.html#BroyFHKKMPRSSW07 Manfred Broy Johannes Siedersleben Clemens A. Szyperski CoCoME Jury Evaluation and Conclusion. 449-458 2007 CoCoME https://doi.org/10.1007/978-3-540-85289-6_17 conf/dagstuhl/2007cocome db/conf/dagstuhl/cocome2007.html#BroySS07 Alexander Pretschner Manfred Broy Ingolf H. Krüger Thomas Stauner Software Engineering for Automotive Systems: A Roadmap. 55-71 2007 FOSE https://doi.org/10.1109/FOSE.2007.22 https://doi.ieeecomputersociety.org/10.1109/FOSE.2007.22 http://dl.acm.org/citation.cfm?id=1254710 conf/icse/2007fose db/conf/icse/fose2007.html#PretschnerBKS07 Manfred Broy Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture. 3-12 2007 SERA https://doi.org/10.1109/SERA.2007.129 https://doi.ieeecomputersociety.org/10.1109/SERA.2007.129 conf/sera/2007 db/conf/sera/sera2007.html#Broy07 Manfred Broy Interaction and Realizability. 29-50 2007 conf/sofsem/2007 SOFSEM (1) https://doi.org/10.1007/978-3-540-69507-3_3 db/conf/sofsem/sofsem2007.html#Broy07 Manfred Broy Modular Hierarchies of Models for Embedded Systems. 2007 Handbook of Real-Time and Embedded Systems https://doi.org/10.1201/9781420011746.ch32 reference/crc/2007rtes db/reference/crc/rtes2007.html#Broy07 Manfred Broy Embedded Systems and Software Technology in the Automotive Domain. 2007 Handbook of Real-Time and Embedded Systems https://doi.org/10.1201/9781420011746.ch38 reference/crc/2007rtes db/reference/crc/rtes2007.html#Broy07a

Manfred Broy The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. 72-80 2006 39 Computer 10 https://doi.org/10.1109/MC.2006.358 http://doi.ieeecomputersociety.org/10.1109/MC.2006.358 db/journals/computer/computer39.html#Broy06

Manfred Broy Matthias Jarke Manfred Nagl H. Dieter Rombach Manifest*: Strategische Bedeutung des Software Engineering in Deutschland. 210-221 2006 29 Inform. Spektrum 3 https://doi.org/10.1007/s00287-006-0083-y db/journals/insk/insk29.html#BroyJNR06

Manfred Broy Heinrich Hussmann Ingolf H. Krüger Bernhard Schätz SoSyM special section on service-based software engineering. 170-171 2006 5 Softw. Syst. Model. 2 https://doi.org/10.1007/s10270-006-0002-3 db/journals/sosym/sosym5.html#BroyHKS06

Manfred Broy From Chaos to Undefinedness. 476-496 2006 conf/birthday/2006goguen Essays Dedicated to Joseph A. Goguen https://doi.org/10.1007/11780274_25 db/conf/birthday/goguen2006.html#Broy06 Manfred Broy Florian Deissenboeck Markus Pizka Demystifying maintainability. 21-26 2006 WoSQ@ICSE https://doi.org/10.1145/1137702.1137708 conf/icse/2006wosq db/conf/icse/wosq2006.html#BroyDP06 Manfred Broy Challenges in automotive software engineering. 33-42 2006 conf/icse/2006 ICSE https://doi.org/10.1145/1134285.1134292 db/conf/icse/icse2006.html#Broy06 Manfred Broy Requirements Engineering as a Key to Holistic Software Quality. 24-34 2006 conf/iscis/2006 ISCIS https://doi.org/10.1007/11902140_3 db/conf/iscis/iscis2006.html#Broy06 Manfred Broy Michelle L. Crane Jürgen Dingel Alan Hartman Bernhard Rumpe Bran Selic 2nd UML 2 Semantics Symposium: Formal Semantics for UML. 318-323 2006 conf/models/2006w MoDELS (Workshops) https://doi.org/10.1007/978-3-540-69489-2_39 db/conf/models/models2006w.html#BroyCDHRS06 Manfred Broy The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. 85-88 2006 conf/sew/2006 SEW https://doi.org/10.1109/SEW.2006.33 https://doi.ieeecomputersociety.org/10.1109/SEW.2006.33 db/conf/sew/sew2006.html#Broy06 Manfred Broy Innovation in Engineering Software Intensive Systems. 3-15 2006 Managing Development and Application of Digital Technologies https://doi.org/10.1007/3-540-34129-3_1 books/sp/06/KHB2006 db/books/collections/KHB2006.html#Broy06 Manfred Broy Ingolf H. Krüger Michael Meisinger Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers ASWSD Lecture Notes in Computer Science 4147 Springer 2006 3-540-37677-1 https://doi.org/10.1007/11823063 db/conf/aswsd/aswsd2004.html

Dominikus Herzberg Manfred Broy Modeling layered distributed communication systems. 1-18 2005 17 Formal Aspects Comput. 1 https://doi.org/10.1007/s00165-004-0051-8 db/journals/fac/fac17.html#HerzbergB05

Manfred Broy Andreas Rausch 0001 Das neue V-Modell® XT. 220-229 2005 28 Inform. Spektrum 3 https://doi.org/10.1007/s00287-005-0488-z db/journals/insk/insk28.html#BroyR05

Arndt Bode Manfred Broy Dirk Taubner Software auf dem Weg zur Industrialisierung. 269 2005 28 Inform. Spektrum 4 https://doi.org/10.1007/s00287-005-0496-z db/journals/insk/insk28.html#BodeBT05

Manfred Broy A semantic and methodological essence of message sequence charts. 213-256 2005 54 Sci. Comput. Program. 2-3 https://doi.org/10.1016/j.scico.2004.04.003 db/journals/scp/scp54.html#Broy05

Sebastián Uchitel Manfred Broy Ingolf H. Krüger Jon Whittle 0001 Guest Editorial: Special Section on Interaction and State-Based Modeling. 997-998 2005 31 IEEE Trans. Software Eng. 12 https://doi.org/10.1109/TSE.2005.139 http://doi.ieeecomputersociety.org/10.1109/TSE.2005.139 db/journals/tse/tse31.html#UchitelBKW05

Manfred Broy The Impact of Models in Software Development. 396-406 2005 conf/birthday/2005siekmann Mechanizing Mathematical Reasoning https://doi.org/10.1007/978-3-540-32254-2_23 db/conf/birthday/siekmann2005.html#Broy05 Manfred Broy Automotive software and systems engineering (Panel). 143-149 2005 conf/memocode/2005 MEMOCODE https://doi.org/10.1109/MEMCOD.2005.1487905 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2005.1487905 http://dl.acm.org/citation.cfm?id=1322153 db/conf/memocode/memocode2005.html#Broy05 Manfred Broy Bengt Jonsson 0001 Joost-Pieter Katoen Martin Leucker Alexander Pretschner Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004] 3472 2005 3-540-26278-4 Model-Based Testing of Reactive Systems Lecture Notes in Computer Science Springer https://doi.org/10.1007/b137241 db/conf/dagstuhl/test2004.html Manfred Broy Manfred Nagl Hans Dieter Rombach Matthias Jarke Perspectives Workshop, 05.10. - 08.10.2005 Perspectives Workshop 05402 2005 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P5402.html http://drops.dagstuhl.de/portals/05402/ Manfred Broy Matthias Jarke Manfred Nagl Hans Dieter Rombach Armin B. Cremers Jürgen Ebert Sabine Glesner Martin Glinz Michael Goedicke Gerhard Goos Volker Gruhn Wilhelm Hasselbring Stefan Jähnichen Stefan Kowalewski Bernd J. Krämer Stefan Leue Claus Lewerentz Peter Liggesmeyer Christoph Lüth Barbara Paech Helmuth Arthur Partsch Ilka Philippow Lutz Prechelt Andreas Rausch 0001 Willem-Paul de Roever Bernhard Rumpe Gudula Rünger Wilhelm Schäfer Kurt Schneider Andy Schürr Walter F. Tichy Bernhard Westfechtel Wolf Zimmermann Albert Zündorf Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. 2005 Perspectives Workshop http://drops.dagstuhl.de/opus/volltexte/2006/585/ conf/dagstuhl/2005P5402 db/conf/dagstuhl/P5402.html#BroyJNRCEGGGGGH05 Manfred Broy Ralf Steinbrüggen Modellbildung in der Informatik. i-x, 1-256 Springer 2004 Xpert.press 978-3-642-62267-0 978-3-642-18732-2 https://doi.org/10.1007/978-3-642-18732-2

Manfred Broy Gerald Lüttgen Michael Mendler Editorial. 165- 2004 16 Formal Aspects Comput. 3 https://doi.org/10.1007/s00165-004-0049-2 db/journals/fac/fac16.html#BroyLM04

Karl-Rudolf Moll Manfred Broy Markus Pizka Tilman Seifert Klaus Bergner Andreas Rausch 0001 Erfolgreiches Management von Software-Projekten. 419-432 2004 27 Inform. Spektrum 5 https://doi.org/10.1007/s00287-004-0412-y db/journals/insk/insk27.html#MollBPSBR04

Manfred Broy Distributed Concurrent Object-Oriented Software. 83-95 https://doi.org/10.1007/978-3-540-39993-3_6 2004 conf/birthday/2004dahl Essays in Memory of Ole-Johan Dahl db/conf/birthday/dahl2004.html#Broy04 Manfred Broy A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. 26-47 2004 conf/dagstuhl/2004trust Architecting Systems with Trustworthy Components https://doi.org/10.1007/11786160_2 db/conf/dagstuhl/trust2004.html#Broy04 Ingolf Krüger Wolfgang Prenninger Robert Sandner Manfred Broy Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. 29-47 https://doi.org/10.1007/978-3-540-27863-4_4 2004 conf/dfg/2004 SoftSpez Final Report db/conf/dfg/softspez2004.html#KrugerPSB04 Manfred Broy Architecture Driven Modeling in Software Development. 3-12 2004 conf/iceccs/2004 ICECCS https://doi.org/10.1109/ICECCS.2004.1310898 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2004.1310898 db/conf/iceccs/iceccs2004.html#Broy04 Manfred Broy Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract. 3-9 2004 conf/fesca/2004 FESCA@ETAPS https://doi.org/10.1016/j.entcs.2004.11.003 db/journals/entcs/entcs108.html#Broy04

Friedrich L. Bauer Manfred Broy Edsger W. Dijkstra - Acta Informatica and Marktoberdorf. 141-142 2003 39 Acta Informatica 3 https://doi.org/10.1007/s00236-003-0109-8 db/journals/acta/acta39.html#BauerB03

Manfred Broy Gerald Lüttgen Michael Mendler Editorial: Where Theory and Practice Meet. 297-298 2003 15 Formal Aspects Comput. 4 https://doi.org/10.1007/s00165-003-0020-7 db/journals/fac/fac15.html#BroyLM03

Manfred Broy Wolfgang Pree Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter Systeme. 3-7 2003 26 Inform. Spektrum 1 https://doi.org/10.1007/s00287-002-0233-9 db/journals/insk/insk26.html#BroyP03

Manfred Broy Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern. 13-16 2003 26 Inform. Spektrum 1 https://doi.org/10.1007/s00287-002-0279-8 db/journals/insk/insk26.html#Broy03

Manfred Broy A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems. 161-181 https://doi.org/10.1007/978-3-540-39910-0_7 2003 conf/birthday/2003manna Verification: Theory and Practice db/conf/birthday/Manna2003.html#Broy03 Manfred Broy Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. 48-61 https://doi.org/10.1007/978-3-540-39979-7_4 2003 conf/forte/2003 FORTE db/conf/forte/forte2003.html#Broy03 Manfred Broy Automotive Software Engineering. 719-720 2003 conf/icse/2003 ICSE https://doi.org/10.1109/ICSE.2003.1201259 https://doi.ieeecomputersociety.org/10.1109/ICSE.2003.1201259 http://dl.acm.org/citation.cfm?id=776921 db/conf/icse/icse2003.html#Broy03 Manfred Broy Modular Hierarchies of Models for Embedded Systems. 183- 2003 conf/memocode/2003 MEMOCODE https://doi.org/10.1109/MEMCOD.2003.1210103 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2003.1210103 http://dl.acm.org/citation.cfm?id=823849 db/conf/memocode/memocode2003.html#Broy03 Manfred Broy Engineering Software Intensive Systems. 1-5 2003 conf/snpd/2003 SNPD db/conf/snpd/snpd2003.html#Broy03 Manfred Broy Alexandre V. Zamulin Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers Ershov Memorial Conference Lecture Notes in Computer Science 2890 Springer 2003 3-540-20813-5 https://doi.org/10.1007/b94823 db/conf/ershov/ershov2003.html

Ingolf Krüger Wolfgang Prenninger Robert Sandner Manfred Broy From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. 155-174 2002 12 Int. J. Softw. Eng. Knowl. Eng. 2 https://doi.org/10.1142/S0218194002000858 db/journals/ijseke/ijseke12.html#KrugerPSB02

Manfred Broy Johannes Siedersleben Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung. 3-11 2002 25 Inform. Spektrum 1 https://doi.org/10.1007/s002870100209 db/journals/insk/insk25.html#BroyS02

Manfred Broy Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen). 367-369 2002 25 Inform. Spektrum 5 https://doi.org/10.1007/s002870200259 db/journals/insk/insk25.html#Broy02

Manfred Broy H. Dieter Rombach Software Engineering Wurzeln, Stand und Perspektiven. 438-451 2002 25 Inform. Spektrum 6 https://doi.org/10.1007/s002870200266 db/journals/insk/insk25.html#BroyR02

Luqi Manfred Broy Software engineering beyond our planning horizon: automation for computer-based systems. 1-10 2002 42 Sci. Comput. Program. 1 db/journals/scp/scp42.html#LuqiB02 https://doi.org/10.1016/S0167-6423(01)00023-5

Manfred Broy Multi-view Modeling of Software Systems. 207-225 https://doi.org/10.1007/978-3-540-40007-3_14 2002 conf/unu/2002 10th Anniversary Colloquium of UNU/IIST db/conf/unu/unu2002.html#Broy02 Manfred Broy Message Sequence Charts in the Development Process - Role and Limitations. 2002 conf/etaps/2002viss VISS@ETAPS https://doi.org/10.1016/S1571-0661(04)80482-1 db/conf/etaps/viss2002.html#Broy02 18-33 Manfred Broy Software Engineering From Auxiliary to Key Technology. 10-13 2002 Software Pioneers https://doi.org/10.1007/978-3-642-59412-0_1 books/sp/BD2002 db/books/collections/BD2002.html#Broy02 Manfred Broy Ernst Denert Software Pioneers. Springer Berlin Heidelberg 2002 978-3-642-63970-8 978-3-642-59412-0 https://doi.org/10.1007/978-3-642-59412-0 db/books/collections/BD2002.html Manfred Broy Ketil Stølen Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement 2001 1-348 Springer Monographs in Computer Science 978-1-4612-6518-4 978-1-4613-0091-5 https://doi.org/10.1007/978-1-4613-0091-5

Manfred Broy Letter from the Editor. 227-228 2001 37 Acta Informatica 4/5 https://doi.org/10.1007/s002360000052 db/journals/acta/acta37.html#Broy01

Manfred Broy Ruth Breu Franz Huber Ingolf Krüger Bernhard Rumpe Wolfgang Schwerin Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999). 53-59 2001 16 Inform. Forsch. Entwickl. 1 https://doi.org/10.1007/PL00009142 db/journals/ife/ife16.html#BroyBHKRS01

Michael Friedewald H. Dieter Rombach Petra Stahl Manfred Broy Susanne Hartkopf Simone Kimpeler Kirstin Kohler Robert Wucher Peter Zoche Softwareentwicklung in Deutschland, Eine Bestandsaufnahme. 81-90 2001 24 Inform. Spektrum 2 https://doi.org/10.1007/s002870100148 db/journals/insk/insk24.html#FriedewaldRSBHKKWZ01

Manfred Broy Susanne Hartkopf Kirstin Kohler H. Dieter Rombach Germany: Combining Software and Application Competencies. 93-95 2001 18 IEEE Softw. 4 https://doi.org/10.1109/MS.2001.936224 http://doi.ieeecomputersociety.org/10.1109/MS.2001.936224 db/journals/software/software18.html#BroyHKR01

Manfred Broy Refinement of time. 3-26 2001 253 Theor. Comput. Sci. 1 db/journals/tcs/tcs253.html#Broy01 https://doi.org/10.1016/S0304-3975(00)00087-6

Manfred Broy Gheorghe Stefanescu The algebra of stream processing functions. 99-129 2001 258 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs258.html#BroyS01 https://doi.org/10.1016/S0304-3975(99)00322-9

Manfred Broy Toward a Mathematical Foundation of Software Engineering Methods. 42-57 2001 27 IEEE Trans. Software Eng. 1 https://doi.org/10.1109/32.895987 http://doi.ieeecomputersociety.org/10.1109/32.895987 db/journals/tse/tse27.html#Broy01

Manfred Broy Oscar Slotosch From Requirements to Validated Embedded Systems. 51-65 2001 conf/emsoft/2001 EMSOFT https://doi.org/10.1007/3-540-45449-7_5 db/conf/emsoft/emsoft2001.html#BroyS01 Manfred Broy Specification and Modeling: An Academic Perspective. 673-675 2001 conf/icse/2001 ICSE db/conf/icse/icse2001.html#Broy01 H. Dieter Rombach Manfred Broy Michael Evangelist Ali Mili 0001 Leon J. Osterweil David Lorge Parnas Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? 698 2001 conf/icse/2001 ICSE db/conf/icse/icse2001.html#RombachBEMOP01 Manfred Broy Ernst-Rüdiger Olderog Trace-Oriented Models of Concurrency. 101-195 2001 Handbook of Process Algebra https://doi.org/10.1016/b978-044482830-9/50020-5 books/el/01/BPS2001 db/books/collections/BPS2001.html#BroyO01 Dines Bjørner Manfred Broy Alexandre V. Zamulin Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers Ershov Memorial Conference Lecture Notes in Computer Science 2244 Springer 2001 3-540-43075-X https://doi.org/10.1007/3-540-45575-2 db/conf/ershov/ershov2001.html Manfred Broy Herbert Ehler Barbara Paech Bernhard Rumpe Veronika Thurner Software Engineering: Schlüssel zu Prozeßbeherrschung und Informationsmanagement. 1-141 TCW 2000 TCW-Report 24 3-931511-52-9 http://www.tcw.de/publikationen/software-engineering/schluessel-zu-prozessbeherrschung-und-informationsmanagement-191

Detlef Schmid Manfred Broy . . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung. 109-117 2000 23 Inform. Spektrum 2 https://doi.org/10.1007/s002870050156 db/journals/insk/insk23.html#SchmidB00

Manfred Broy Algebraic specification of reactive systems. 3-40 2000 239 Theor. Comput. Sci. 1 db/journals/tcs/tcs239.html#Broy00 https://doi.org/10.1016/S0304-3975(99)00212-1

Manfred Broy Martin Wirsing Invited Talk: Algebraic State Machines. 89-188 2000 conf/amast/2000 AMAST https://doi.org/10.1007/3-540-45499-3_9 db/conf/amast/amast2000.html#BroyW00 Manfred Broy Software Engineering as a Modelling Process. 9 2000 conf/jisbd/2000 JISBD db/conf/jisbd/jisbd2000.html#Broy00 Manfred Broy The Essence of Message Sequence Charts. 42-47 2000 conf/mse/2000 ISMSE https://doi.org/10.1109/MMSE.2000.897190 https://doi.ieeecomputersociety.org/10.1109/MMSE.2000.897190 db/conf/mse/ismse2000.html#Broy00 Dines Bjørner Manfred Broy Alexandre V. Zamulin Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings Ershov Memorial Conference Lecture Notes in Computer Science 1755 Springer 2000 3-540-67102-1 https://doi.org/10.1007/3-540-46562-6 db/conf/ershov/ershov1999.html

Birgit Schieder Manfred Broy Adapting Calculational Logic to the Undefined. 73-81 1999 42 Comput. J. 2 db/journals/cj/cj42.html#SchiederB99 https://doi.org/10.1093/comjnl/42.2.73

Manfred Broy Franz Huber Bernhard Schätz AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. 121-134 1999 14 Inform. Forsch. Entwickl. 3 https://doi.org/10.1007/s004500050132 db/journals/ife/ife14.html#BroyHS99

Manfred Broy Software technology - formal methods and scientific foundations. 947-950 1999 41 Inf. Softw. Technol. 14 https://doi.org/10.1016/S0950-5849(99)00068-3 db/journals/infsof/infsof41.html#Broy99

Manfred Broy Joachim W. Schmidt Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt). 206-209 1999 22 Inform. Spektrum 3 https://doi.org/10.1007/s002870050139 db/journals/insk/insk22.html#BroyS99

Manfred Broy Thomas Stauner Requirements Engineering für eingebettete Systeme. 7-11 1999 41 Informationstechnik Tech. Inform. 2 https://doi.org/10.1524/itit.1999.41.2.7 db/journals/it/it41.html#BroyS99

Klaus Bergner Andreas Rausch 0001 Marc Sihling Alexander Vilbig Manfred Broy A Formal Model for Componentware. 17-26 1999 conf/fbt/1999 FBT db/conf/fbt/fbt1999.html#BergnerRSVB99 Klaus Bergner Radu Grosu Andreas Rausch 0001 Alexander Schmidt Peter Scholz Manfred Broy Focusing on Mobility. 1999 conf/hicss/1999 HICSS https://doi.org/10.1109/HICSS.1999.773061 https://doi.ieeecomputersociety.org/10.1109/HICSS.1999.773061 db/conf/hicss/hicss1999.html#BergnerGRSB99 Manfred Broy From States to Histories. 22-36 1999 conf/wadt/1999 WADT db/conf/wadt/wadt1999.html#Broy99 https://doi.org/10.1007/978-3-540-44616-3_2 Radu Grosu Manfred Broy Bran Selic Gheorghe Stefanescu What is Behind UML-RT? 75-90 1999 Behavioral Specifications of Businesses and Systems https://doi.org/10.1007/978-1-4615-5229-1_6 books/daglib/0035620 db/books/collections/daglib0035620.html#GrosuBSS99 Egidio Astesiano Manfred Broy Gianna Reggio Algebraic Specification of Concurrent Systems. 467-520 1999 Algebraic Foundations of Systems Specification https://doi.org/10.1007/978-3-642-59851-7_13 series/ifip/afss1999 db/series/ifip/afss1999.html#AstesianoBR99 Luqi Manfred Broy The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, Carmel, California, USA, October 23-26, 1998 Monterey Workshop Electronic Notes in Theoretical Computer Science 25 Elsevier 1999 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/25/suppl/C db/journals/entcs/entcs25.html

Manfred Broy A Functional Rephrasing of the Assumption/Commitment Specification Style. 87-119 1998 13 Formal Methods Syst. Des. 1 db/journals/fmsd/fmsd13.html#Broy98 https://doi.org/10.1023/A:1008618722275

Manfred Broy Anton Deimel Juergen Henn Kai Koskimies Frantisek Plásil Gustav Pomberger Wolfgang Pree Michael Stal Clemens A. Szyperski What characterizes a (software) component? 49-56 1998 19 Softw. Concepts Tools 1 https://doi.org/10.1007/s003780050007 db/journals/stp/stp19.html#BroyDHKPPPSS98

Manfred Broy A uniform mathematical concept of a component (Appendix to M. Broy et al.: "What characterizes a (software) component?". 57-59 1998 19 Softw. Concepts Tools 1 https://doi.org/10.1007/s003780050008 db/journals/stp/stp19.html#Broy98

Radu Grosu Gheorghe Stefanescu Manfred Broy Visual Formalisms Revisited. 41-51 1998 conf/acsd/1998 ACSD https://doi.org/10.1109/CSD.1998.657538 https://doi.ieeecomputersociety.org/10.1109/CSD.1998.657538 db/conf/acsd/acsd1998.html#GrosuSB98 Manfred Broy Oscar Slotosch Enriching the Software Development Process by Formal Methods. 44-61 1998 conf/fm/1998 FM-Trends db/conf/fm/fm1998.html#BroyS98 https://doi.org/10.1007/3-540-48257-1_2 Radu Grosu Thomas Stauner Manfred Broy A Modular Visual Model for Hybrid Systems. 75-91 1998 conf/ftrtft/1998 FTRTFT https://doi.org/10.1007/BFb0055338 db/conf/ftrtft/ftrtft1998.html#GrosuSB98 Manfred Broy Ingolf Krüger Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. 2-15 1998 conf/icfem/1998 ICFEM https://doi.org/10.1109/ICFEM.1998.730565 https://doi.ieeecomputersociety.org/10.1109/ICFEM.1998.730565 db/conf/icfem/icfem1998.html#BroyK98 Ingolf Krüger Radu Grosu Peter Scholz Manfred Broy From MSCs to Statecharts. 61-72 1998 conf/ifip10-3/1998dipes DIPES db/conf/ifip10-3/dipes1998.html#KrugerGSB98 Manfred Broy A Logical Basis for Modular Software and Systems Engineering. 19-35 https://doi.org/10.1007/3-540-49477-4_2 1998 conf/sofsem/1998 SOFSEM db/conf/sofsem/sofsem1998.html#Broy98 Luqi Manfred Broy Preface - Software Engineering to our Planning Horizon. 1998 conf/monterey/1998 Monterey Workshop 145-146 https://doi.org/10.1016/S1571-0661(05)80554-7 db/journals/entcs/entcs25.html#LuqiB99 Manfred Broy Bernhard Rumpe Requirements Targeting Software and Systems Engineering, International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997, Proceedings Requirements Targeting Software and Systems Engineering Lecture Notes in Computer Science 1526 Springer 1998 3-540-65309-0 https://doi.org/10.1007/b71630 db/conf/rtse/rtse1997.html Manfred Broy Bernhard Rumpe Übungen zur Einführung in die Informatik - strukturierte Aufgabensammlung mit Musterlösungen. I-IX, 1-355 Springer 1997 978-3-540-63549-9

Manfred Broy Stefan Jähnichen KORSO - Korrekte Software durch formale Methoden. 157-160 1997 12 Inform. Forsch. Entwickl. 3 db/journals/ife/ife12.html#BroyJ97 https://doi.org/10.1007/s004500050084

Manfred Broy Editorial: Formale Methoden in der Praxis. 5-6 1997 39 Informationstechnik Tech. Inform. 3 https://doi.org/10.1524/itit.1997.39.3.5 db/journals/it/it39.html#Broy97

Manfred Broy Compositional refinement of interactive systems. 850-891 1997 44 J. ACM 6 https://doi.org/10.1145/268999.269004 db/journals/jacm/jacm44.html#Broy97

Peter Hubwieser Manfred Broy Ein neuer Ansatz für den Informatikunterricht am Gymnasium. 42- 1997 17 LOG IN 3/4 db/journals/login/login17.html#HubwieserB97

Manfred Broy Towards a Mathematical Concept of a Component and its Use. 137- 1997 18 Softw. Concepts Tools 3 db/journals/stp/stp18.html#Broy97

Manfred Broy Christoph Hofmann Ingolf Krüger Monika Schmidt Using Extended Event Traces to Describe Communication in Software Architectures. 203-212 1997 conf/apsec/1997 APSEC https://doi.org/10.1109/APSEC.1997.640177 https://doi.ieeecomputersociety.org/10.1109/APSEC.1997.640177 db/conf/apsec/apsec1997.html#BroyHKS97 Manfred Broy Refinement of Time. 44-63 1997 conf/arts/1997 ARTS db/conf/arts/arts1997.html#Broy97 https://doi.org/10.1007/3-540-63010-4_4 Manfred Broy Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That. 279-286 https://doi.org/10.1007/BFb0052096 1997 conf/birthday/1997brauer Foundations of Computer Science: Potential - Theory - Cognition db/conf/birthday/brauer97.html#Broy97 Manfred Broy Compositional Refinement of Interactive Systems Modelled by Relations. 130-149 1997 conf/compos/1997 COMPOS https://doi.org/10.1007/3-540-49213-5_6 db/conf/compos/compos1997.html#Broy97 Manfred Broy Radu Grosu Cornel Klein Reconciling Real-Time with Asynchronous Message Passing. 182-200 1997 conf/fm/1997 FME db/conf/fm/fme1997.html#BroyGK97 https://doi.org/10.1007/3-540-63533-5_10 Manfred Broy Herbert Ehler Barbara Paech Veronika Thurner Innovation durch Kooperation im Software-Engineering. 503-504 1997 conf/gi/1997 GI Jahrestagung db/conf/gi/gi97.html#BroyEPT97 https://doi.org/10.1007/978-3-642-60831-5_64 Manfred Broy Franz Huber Barbara Paech Bernhard Rumpe Katharina Spies Software and System Modeling Based on a Unified Formal Semantics. 43-68 1997 conf/rtse/1997 Requirements Targeting Software and Systems Engineering db/conf/rtse/rtse1997.html#BroyHPRS97 https://doi.org/10.1007/10692867_2 Peter Hubwieser Manfred Broy Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht. 40-50 1997 conf/schule/1997 INFOS db/conf/schule/schule1997.html#HubwieserB97 https://doi.org/10.1007/978-3-642-60894-0_6

Manfred Broy Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant. 221-272 1996 8 Formal Methods Syst. Des. 3 db/journals/fmsd/fmsd8.html#Broy96 https://doi.org/10.1007/BF00709138 https://www.wikidata.org/entity/Q111901231

Manfred Broy Algebraic Specification of Reactive Systems. 487-503 1996 conf/amast/1996 AMAST db/conf/amast/amast96.html#Broy96 https://doi.org/10.1007/BFb0014335 Bernhard Schätz Heinrich Hußmann Manfred Broy Graphical Development of Consistent System Specifications. 248-267 1996 conf/fm/1996 FME db/conf/fm/fme1996.html#SchatzHB96 https://doi.org/10.1007/3-540-60973-3_91 Manfred Broy Formal Description Techniques - How Formal and Descriptive are they? 95-110 1996 conf/forte/1996 FORTE db/conf/forte/forte1996.html#Broy96 Manfred Broy Specification and refinement of a buffer of length one. 273-304 1996 conf/nato/1996 NATO ASI DPD db/conf/nato/dpd1996.html#Broy96 Manfred Broy Stephan Merz Katharina Spies Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994) Formal Systems Specification Lecture Notes in Computer Science 1169 Springer 1996 3-540-61984-4 https://doi.org/10.1007/BFb0024423 db/conf/dagstuhl/fss1994.html Dines Bjørner Manfred Broy Igor V. Pottosin Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings Ershov Memorial Conference Lecture Notes in Computer Science 1181 Springer 1996 3-540-62064-8 https://doi.org/10.1007/3-540-62064-8 db/conf/ershov/ershov1996.html Manfred Broy Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany NATO ASI DPD 1996 3-540-60947-4 db/conf/nato/dpd1996.html

Michal Walicki Manfred Broy Structured Specifications and Implementation of Nondeterministic Data Types. 358-395 1995 2 Nord. J. Comput. 3 db/journals/njc/njc2.html#WalickiB95

Manfred Broy Mathematics of Software Engineering. 18-48 1995 conf/mpc/1995 MPC db/conf/mpc/mpc95.html#Broy95 https://doi.org/10.1007/3-540-60117-1_3 Manfred Broy Mathematical System Models as a Basis of Software Engineering. 292-306 1995 books/sp/CStoday1995 Computer Science Today db/books/collections/CStoday.html#Broy95 https://doi.org/10.1007/BFb0015250 Manfred Broy Martin Wirsing Correct Software: From Experiments to Applications. 1-26 1995 conf/korso/1995 KORSO Book db/conf/korso/korso1995.html#BroyW95 https://doi.org/10.1007/BFb0015453 Manfred Broy Stefan Jähnichen KORSO - Methods, Languages, and Tools for the Construction of Correct Software KORSO Book Lecture Notes in Computer Science 1009 Springer 1995 3-540-60589-4 https://doi.org/10.1007/BFb0015452 db/conf/korso/korso1995.html

Manfred Broy Professor Friedrich L. Bauer zum 70. Geburtstag. 258-259 1994 17 Inform. Spektrum 4 db/journals/insk/insk17.html#Broy94

Manfred Broy Greg Nelson Adding Fair Choice to Dijkstra's Calculus. 924-938 1994 16 ACM Trans. Program. Lang. Syst. 3 https://doi.org/10.1145/177492.177727 db/journals/toplas/toplas16.html#BroyN94

Manfred Broy Equations for Describing Dynamic Nets of Communicating Systems. 170-187 1994 conf/compass/1994 COMPASS/ADT db/conf/compass/compass94.html#Broy94 https://doi.org/10.1007/BFb0014427 Manfred Broy Leslie Lamport The RPC-Memory Specification Problem - Problem Statement. 1-4 1994 conf/dagstuhl/1994fss Formal Systems Specification db/conf/dagstuhl/fss1994.html#BroyL94 https://doi.org/10.1007/BFb0024424 Manfred Broy Stephan Merz Katharina Spies The RPC-Memory Case Study: A Synopsis. 5-20 1994 conf/dagstuhl/1994fss Formal Systems Specification db/conf/dagstuhl/fss1994.html#BroyMS94 https://doi.org/10.1007/BFb0024425 Manfred Broy A Functional Solution to the RPC-Memory Specification Problem. 183-211 1994 conf/dagstuhl/1994fss Formal Systems Specification db/conf/dagstuhl/fss1994.html#Broy94 https://doi.org/10.1007/BFb0024430 Manfred Broy Ursula Hinkel Tobias Nipkow Christian Prehofer Birgit Schieder Interpreter Verification for a Functional Language. 77-88 1994 conf/fsttcs/1994 FSTTCS db/conf/fsttcs/fsttcs94.html#BroyHNPS94 https://doi.org/10.1007/3-540-58715-2_115 Manfred Broy Ketil Stølen Specification and Refinement of Finite Dataflow Networks - a Relational Approach. 247-267 1994 conf/ftrtft/1994 FTRTFT db/conf/ftrtft/ftrtft1994.html#BroyS94 https://doi.org/10.1007/3-540-58468-4_169 Manfred Broy Advanced Component Interface Specification. 369-392 1994 conf/tppp/1994 Theory and Practice of Parallel Programming db/conf/tppp/tppp1994.html#Broy94 https://doi.org/10.1007/BFb0026580

Manfred Broy Functional Specification of Time-Sensitive Communicating Systems. 1-46 1993 2 ACM Trans. Softw. Eng. Methodol. 1 db/journals/tosem/tosem2.html#Broy93 https://doi.org/10.1145/151299.151302 https://www.wikidata.org/entity/Q127705399

Manfred Broy Martin Wirsing Korrekte Software: Vom Experiment zur Anwendung. 29-43 1993 conf/gi/1993 GI Jahrestagung db/conf/gi/gi93.html#BroyW93 https://doi.org/10.1007/978-3-642-78486-6_4 Michael Breu Manfred Broy Thomas Grünler Friederike Nickl Semantics of PAnndA-S. 171-222 1993 conf/prospectra/1993 PROSPECTRA Book db/conf/prospectra/prospectra1993.html#BreuBGN93 https://doi.org/10.1007/3-540-56733-X_149 Dines Bjørner Manfred Broy Igor V. Pottosin Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings Formal Methods in Programming and Their Applications Lecture Notes in Computer Science 735 Springer 1993 3-540-57316-X https://doi.org/10.1007/BFb0039695 db/conf/ershov/ershov1993.html Manfred Broy Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992. NATO ASI PDC Springer 1993 NATO ASI Series 118 978-3-642-08164-4 978-3-662-02880-3 https://doi.org/10.1007/978-3-662-02880-3 https://www.wikidata.org/entity/Q108044845 db/conf/nato/pdc1992.html

Manfred Broy Algebraic and Functional Specification of an Interactive Serializable Database Interface. 5-18 1992 6 Distributed Comput. 1 db/journals/dc/dc6.html#Broy92 https://doi.org/10.1007/BF02276638

Manfred Broy Operational and denotational semantics with explicit concurrency. 201-229 1992 16 Fundam. Informaticae 3-4 db/journals/fuin/fuin16.html#Broy92

Freimut Bodendorf Manfred Broy Herbert Burkert Albert Endres Herbert Fiedler V. Ilzhöfer H. Kappus Christoph Lingenfelder C. Müller Franz Stetter Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme - Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz. 89-100 1992 15 Inform. Spektrum 2 db/journals/insk/insk15.html#BodendorfBBEFIKLMS92

Manfred Broy Claus Dendorfer Modelling Operating System Structures by Timed Stream Processing Functions. 1-21 1992 2 J. Funct. Program. 1 db/journals/jfp/jfp2.html#BroyD92 https://doi.org/10.1017/S0956796800000241

Manfred Broy Reliable Systems Enginerring (Position Statement). 683 1992 conf/ifip/1992-1 IFIP Congress (1) db/conf/ifip/ifip92-1.html#Broy92 Manfred Broy (Inter-)Action Refinement: The Easy Way. 121-158 1992 NATO ASI PDC https://doi.org/10.1007/978-3-662-02880-3_5 conf/nato/1992pdc db/conf/nato/pdc1992.html#Broy92 Manfred Broy Thomas Streicher Modular functional modelling of Petri nets with individual tokens. 70-88 1992 conf/apn/1992d Advances in Petri Nets: The DEMON Project db/conf/apn/apndemon92.html#BroyS92 https://doi.org/10.1007/3-540-55610-9_168

Manfred Broy Towards a Formal Foundation of the Specification and Description Language SDL. 21-57 1991 3 Formal Aspects Comput. 1 db/journals/fac/fac3.html#Broy91 https://doi.org/10.1007/BF01211434

Manfred Broy Thomas Streicher Specification and design of shared resource arbitration. 1-22 1991 20 Int. J. Parallel Program. 1 https://doi.org/10.1007/BF01407930 db/journals/ijpp/ijpp20.html#BroyS91

Manfred Broy Christian Lengauer On Denotational versus Predicative Semantics. 1-29 1991 42 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss42.html#BroyL91 https://doi.org/10.1016/0022-0000(91)90037-6

Manfred Broy Deductive Program Development: Evaluation in Reverse Polish Notation as an Example. 79-99 1991 conf/cip/1991 Methods of Programming db/conf/cip/cip1991.html#Broy91 https://doi.org/10.1007/BFb0018270 Manfred Broy Declarative specification and declarative programming. 2-11 1991 IWSSD https://dl.acm.org/doi/10.5555/952786.952788 conf/iwssd/1991 db/conf/iwssd/iwssd1991.html#Broy91 Manfred Broy Martin Wirsing Method of Programming, Selected Papers on the CIP-Project Method of Programming Lecture Notes in Computer Science 544 Springer 1991 3-540-54576-X https://doi.org/10.1007/BFb0018265 db/conf/cip/cip1991.html

Manfred Broy Characterizing the behavior of reactive systems by trace sets 1-24 1991 Forschungsberichte, TU Munich TUM I 9102 https://d-nb.info/911293736

Thomas F. Gritzner Manfred Broy Parallelism algebras: a link between process algebras and abstract relation algebras? 1-15 1991 Forschungsberichte, TU Munich TUM I 9123 https://d-nb.info/921015526

Manfred Broy Carlos Delgado Kloos Weakening the weak conditions for self-timed circuits 1-16 1991 Forschungsberichte, TU Munich TUM I 9128 https://d-nb.info/920399126

Manfred Broy Methodological Objectives for Formal Description Techniques. 1-16 1990 conf/forte/1990 FORTE db/conf/forte/forte1990.html#Broy90 Manfred Broy Cliff B. Jones Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990 North-Holland 1990 0-444-88545-5 db/conf/ifip2/pcm1990.html

Manfred Broy Thomas Streicher Modular functional modelling of Petri nets with individual tokems 1-22 1990 Forschungsberichte, TU Munich TUM I 9035 https://d-nb.info/910513309

Manfred Broy Claus Dendorfer Functional modelling of operating sytem [system] structures by timed higher order stream processing functions 1-24 1990 Forschungsberichte, TU Munich TUM I 9042 https://d-nb.info/920791867

Manfred Broy On the design and verification of a simple distributed spanning tree algorithm 1-11 1990 Forschungsberichte, TU Munich TUM I 9046 https://d-nb.info/920791905

Manfred Broy Functional Specification of Communicating Systems. 851-856 1989 conf/ifip/1989 IFIP Congress db/conf/ifip/ifip89.html#Broy89 Manfred Broy Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering. 953 1989 conf/ifip/1989 IFIP Congress db/conf/ifip/ifip89.html#Broy89a Manfred Broy Formalization of Distributed, Concurrent, Reactive Systems. 319-262 1989 Formal Description of Programming Concepts conf/ifip2/1989 db/conf/ifip2/fdpc1989.html#Broy89 Manfred Broy Functional Specification of Time Sensitive Communicating Systems. 153-179 1989 conf/rex/1989 REX Workshop db/conf/rex/rex89.html#Broy89 https://doi.org/10.1007/3-540-52559-9_64 Martin Wirsing Manfred Broy A Modular Framework for Specification and Implementation. 42-73 1989 conf/tapsoft/1989-1 TAPSOFT, Vol.1 db/conf/tapsoft/tapsoft89-1.html#WirsingB89 https://doi.org/10.1007/3-540-50939-9_124

Manfred Broy Broadcasting Buffering Communication. 31-47 1988 13 Comput. Lang. 1 db/journals/cl/cl13.html#Broy88 https://doi.org/10.1016/0096-0551(88)90005-7

Manfred Broy Martin Wirsing Ultra-loose algebraic specifications. 117-127 1988 35 Bull. EATCS db/journals/eatcs/eatcs35.html#BroyW88

Manfred Broy Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly. 65-85 1988 10 Sci. Comput. Program. 1 db/journals/scp/scp10.html#Broy88 https://doi.org/10.1016/0167-6423(88)90016-0

Manfred Broy Views of queues. 65-86 1988 11 Sci. Comput. Program. 1 https://doi.org/10.1016/0167-6423(88)90065-2 db/journals/scp/scp11.html#Broy88a

Manfred Broy Equational Specification of Partial Higher-Order Algebras. 3-45 1988 57 Theor. Comput. Sci. db/journals/tcs/tcs57.html#Broy88 https://doi.org/10.1016/0304-3975(88)90162-4

Manfred Broy Requirement and Design Specification for Distributed Systems. 33-62 1988 conf/concur/1988 Concurrency db/conf/concur/concur1988.html#Broy88 https://doi.org/10.1007/3-540-50403-6_30 Manfred Broy Spezifikation und Entwurf komplexer, kausal vernetzter Systeme. 34-55 1988 conf/gi/1988-1 GI Jahrestagung (1) db/conf/gi/gi88-1.html#Broy88 https://doi.org/10.1007/978-3-642-74127-2_3

Manfred Broy Semantics of Finite and Infinite Networks of Concurrent Communicating Agents. 13-31 1987 2 Distributed Comput. 1 db/journals/dc/dc2.html#Broy87 https://doi.org/10.1007/BF01786252

Manfred Broy Predicative Specifications for Functional Programs Describing Communication Networks. 93-101 1987 25 Inf. Process. Lett. 2 db/journals/ipl/ipl25.html#Broy87 https://doi.org/10.1016/0020-0190(87)90227-4

Manfred Broy Specification and Top-Down Design of Distributed Systems. 236-265 1987 34 J. Comput. Syst. Sci. 2/3 db/journals/jcss/jcss34.html#Broy87 https://doi.org/10.1016/0022-0000(87)90026-2

Manfred Broy Martin Wirsing Peter Pepper On the Algebraic Definition of Programming Languages. 54-99 1987 9 ACM Trans. Program. Lang. Syst. 1 https://doi.org/10.1145/9758.10501 db/journals/toplas/toplas9.html#BroyWP87

Manfred Broy Denotational Semantics of Communicating Sequential Programs. 253-259 1986 23 Inf. Process. Lett. 5 db/journals/ipl/ipl23.html#Broy86 https://doi.org/10.1016/0020-0190(86)90082-7

Manfred Broy Bernhard Möller Peter Pepper Martin Wirsing Algebraic Implementations Preserve Program Correctness. 35-53 1986 7 Sci. Comput. Program. 1 db/journals/scp/scp7.html#BroyMPW86 https://doi.org/10.1016/0167-6423(86)90004-3

Manfred Broy A Theory for Nondeterminism, Parallelism, Communication, and Concurrency. 1-61 1986 45 Theor. Comput. Sci. 1 db/journals/tcs/tcs45.html#Broy86 https://doi.org/10.1016/0304-3975(86)90040-X

Manfred Broy Thomas Streicher Views of Distributed Systems. 114-143 1986 conf/ac/1986parallel Mathematical Models for the Semantics of Parallelism db/conf/ac/parallel1986.html#BroyS86 https://doi.org/10.1007/3-540-18419-8_12 Manfred Broy Alfons Geser Heinrich Hußmann Towards Advanced Programming Environments Based on Algebraic Concepts. 554-470 1986 conf/ifip/1986ape Advanced Programming Environments db/conf/ifip/ape86.html#BroyGH86 https://doi.org/10.1007/3-540-17189-4_113 Manfred Broy Partial Interpretations of Higher Order Algebraic Types (Extended Abstract). 29-43 1986 conf/mfcs/1986 MFCS db/conf/mfcs/mfcs86.html#Broy86 https://doi.org/10.1007/BFb0016232 Friedrich L. Bauer Rudolf Berghammer Manfred Broy Walter Dosch Franz Geiselbrechtinger Rupert Gnatz E. Hangel Wolfgang Hesse Bernd Krieg-Brückner Alfred Laut Thomas Matzner Bernhard Möller Friederike Nickl Helmuth Partsch Peter Pepper Klaus Samelson Martin Wirsing Hans Wössner The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L Lecture Notes in Computer Science 183 Springer 1985 3-540-15187-7 https://doi.org/10.1007/3-540-15187-7

Manfred Broy Andrzej Tarlecki Algebraic specification of the abstract data type "Continuum". 32-35 1985 26 Bull. EATCS db/journals/eatcs/eatcs26.html#BroyT85

Manfred Broy On the Herbrand-Kleene Universe for Nondeterministic Computations. 1-19 1985 36 Theor. Comput. Sci. db/journals/tcs/tcs36.html#Broy85 https://doi.org/10.1016/0304-3975(85)90027-1

Manfred Broy Specification and Top Down Design of Distributed Systems. 4-28 1985 conf/tapsoft/1985-1 TAPSOFT, Vol.1 db/conf/tapsoft/tapsoft85-1.html#Broy85 https://doi.org/10.1007/3-540-15198-2_2 Manfred Broy Rechnergestützte Systeme für den Programmentwurf. 58-69 1985 conf/wi/1985 Wissensbasierte Systeme db/conf/wi/wi1985.html#Broy85 https://doi.org/10.1007/978-3-642-70840-4_4

Semantics of Communicating Processes Manfred Broy 202-246 Inf. Control. June 1984 61 3 db/journals/iandc/iandc61.html#Broy84 https://doi.org/10.1016/S0019-9958(84)80048-0

Manfred Broy Friedrich L. Bauer A Systematic Approach to Language Constructs for Concurrent Programs. 103-139 1984 4 Sci. Comput. Program. 2 db/journals/scp/scp4.html#BroyB84 https://doi.org/10.1016/0167-6423(84)90016-9

Manfred Broy Martin Wirsing Claude Pair A Systematic Study of Models of Abstract Data Types. 139-174 1984 33 Theor. Comput. Sci. db/journals/tcs/tcs33.html#BroyWP84 https://doi.org/10.1016/0304-3975(84)90086-0 https://www.wikidata.org/entity/Q111465597

Manfred Broy On the Herbrand Kleene Universe for Nondeterministic Computations. 214-222 1984 conf/mfcs/1984 MFCS db/conf/mfcs/mfcs84.html#Broy84 https://doi.org/10.1007/BFb0030301 Manfred Broy Denotational Semantics of Concurrent Programs with Shared Memory. 163-173 1984 conf/stacs/1984 STACS db/conf/stacs/stacs84.html#Broy84 https://doi.org/10.1007/3-540-12920-0_15

Manfred Broy Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming. 29-35 1983 17 Inf. Process. Lett. 1 db/journals/ipl/ipl17.html#Broy83 https://doi.org/10.1016/0020-0190(83)90087-X

Manfred Broy Martin Wirsing Algebraic Definition of a Functional Programming Language and Its Semantic Models. 137-161 1983 17 RAIRO Theor. Informatics Appl. 2 db/journals/ita/ita17.html#BroyW83 https://doi.org/10.1051/ita/1983170201371

Manfred Broy Martin Wirsing Generalized Heterogeneous Algebras. 1983 conf/adt/1983 ADT db/conf/adt/adt1983.html#BroyW83 Manfred Broy Martin Wirsing Generalized Heterogeneous Algebras and Partial Interpretations. 1-34 1983 conf/caap/1983 CAAP db/conf/caap/caap83.html#BroyW83 https://doi.org/10.1007/3-540-12727-5_1 Manfred Broy Funktionales Programmieren - Programmieren mit Funktionalen. 24-40 1983 conf/gi/1983 GI Jahrestagung db/conf/gi/gi83.html#Broy83 https://doi.org/10.1007/978-3-642-69298-7_4 Manfred Broy Applicative Real-Time Programming. 259-264 1983 conf/ifip/1983 IFIP Congress db/conf/ifip/ifip83.html#Broy83

Manfred Broy Martin Wirsing Partial Abstract Types. 47-64 1982 18 Acta Informatica db/journals/acta/acta18.html#BroyW82 https://doi.org/10.1007/BF00625280

Peter Pepper Manfred Broy Friedrich L. Bauer Helmuth Partsch Walter Dosch Martin Wirsing Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. 107-119 1982 5 Inform. Spektrum 2 db/journals/insk/insk5.html#PepperBBPDW82

Manfred Broy Peter Pepper Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. 362-381 1982 4 ACM Trans. Program. Lang. Syst. 3 https://doi.org/10.1145/357172.357175 db/journals/toplas/toplas4.html#BroyP82

Manfred Broy Fixed PointTheory for Communication and Concurrency. 125-148 1982 Formal Description of Programming Concepts conf/ifip2/1982 db/conf/ifip2/fdpc1982.html#Broy82 Manfred Broy Martin Wirsing On the Algebraic Specification of Finitary Infinite. 171-198 1982 Formal Description of Programming Concepts conf/ifip2/1982 db/conf/ifip2/fdpc1982.html#BroyW82 Manfred Broy Martin Wirsing Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany 1982 ADT University of Passau db/conf/adt/adt1983.html

Manfred Broy Rupert Gnatz Martin Wirsing Nichtdeterminismus - Das aktuelle Schlagwort. 125-126 1981 4 Inform. Spektrum 2 db/journals/insk/insk4.html#BroyGW81

Friedrich L. Bauer Manfred Broy Walter Dosch Rupert Gnatz Bernd Krieg-Brückner Alfred Laut M. Luckmann Thomas Matzner Bernhard Möller Helmuth Partsch Peter Pepper Klaus Samelson Ralf Steinbrüggen Martin Wirsing Hans Wössner Programming in a Wide Spectrum Language: A Collection of Examples. 73-114 1981 1 Sci. Comput. Program. 1-2 db/journals/scp/scp1.html#BauerBDGKLLMMPPSSWW81 https://doi.org/10.1016/0167-6423(81)90006-X

Manfred Broy Peter Pepper Program Development as a Formal Activity. 14-23 1981 7 IEEE Trans. Software Eng. 1 db/journals/tse/tse7.html#BroyP81 https://doi.org/10.1109/TSE.1981.230815 http://doi.ieeecomputersociety.org/10.1109/TSE.1981.230815

Manfred Broy Martin Wirsing On the Algebraic Specification of Nondeterministic Programming Languages. 162-179 1981 conf/caap/1981 CAAP db/conf/caap/caap81.html#BroyW81 https://doi.org/10.1007/3-540-10828-9_61 Manfred Broy On language constructs for concurrent programs. 141-154 1981 conf/conpar/1981 CONPAR db/conf/conpar/conpar1981.html#Broy81 https://doi.org/10.1007/BFb0105115 Manfred Broy Prospects of New Tools for Software Development. 106-121 1981 conf/eci/1981 ECI db/conf/eci/eci81.html#Broy81 https://doi.org/10.1007/3-540-10885-8_34 Manfred Broy Walter Dosch Bernhard Möller Martin Wirsing GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). 109-121 1981 conf/gi/1981 GI Jahrestagung db/conf/gi/gi81.html#BroyDMW81 https://doi.org/10.1007/978-3-662-01089-1_13 Manfred Broy Are Fairness Assumptions Fair? 116-125 1981 conf/icdcs/1981 ICDCS db/conf/icdcs/icdcs1981.html#Broy81 Manfred Broy Martin Wirsing On the Algebraic Extensions of Abstract Data Types. 244-251 1981 conf/icfpc/1981 ICFPC db/conf/icfpc/icfpc1981.html#BroyW81 https://doi.org/10.1007/3-540-10699-5_101 Jan A. Bergstra Manfred Broy John V. Tucker Martin Wirsing On the Power of Algebraic Specifications. 193-204 1981 conf/mfcs/1981 MFCS db/conf/mfcs/mfcs81.html#BergstraBTW81 https://doi.org/10.1007/3-540-10856-4_85 Manfred Broy Transformation parallel ablaufender Programme (Transformation of parallel running programs) Technical University of Munich, Germany 1980 https://mediatum.ub.tum.de/625561 https://mediatum.ub.tum.de/doc/625561/document.pdf

Friedrich L. Bauer Manfred Broy Helmuth Partsch Peter Pepper Programmtransformationen - Das aktuelle Schlagwort. 192-193 1980 3 Inform. Spektrum 3 db/journals/insk/insk3.html#BauerBPP80

Manfred Broy Martin Wirsing Program Development: From Enumeration to Backtracking. 193-197 1980 10 Inf. Process. Lett. 4/5 db/journals/ipl/ipl10.html#BroyW80 https://doi.org/10.1016/0020-0190(80)90138-6

Manfred Broy Transformational Semantics for Concurrent Programs. 87-91 1980 11 Inf. Process. Lett. 2 db/journals/ipl/ipl11.html#Broy80 https://doi.org/10.1016/0020-0190(80)90009-5

Manfred Broy Bernd Krieg-Brückner Derivation of Invariant Assertions During Program Development by Transformation. 321-337 1980 2 ACM Trans. Program. Lang. Syst. 3 https://doi.org/10.1145/357103.357108 db/journals/toplas/toplas2.html#BroyK80

Manfred Broy Martin Wirsing Programming languages as abstract data types. 160-177 1980 CLAAP conf/caap/1980 db/conf/caap/caap80.html#BroyW80 Manfred Broy Helmuth Partsch Peter Pepper Martin Wirsing Semantic Relations in Programming Languages. 101-106 1980 conf/ifip/1980 IFIP Congress db/conf/ifip/ifip80.html#BroyPPW80 Manfred Broy Zur Spezifikation von Programmen für die Textverarbeitung. 75-93 1980 conf/ir/1980 Textverarbeitung und Informatik db/conf/ir/text1980.html#Broy80 https://doi.org/10.1007/978-3-642-67700-7_6 Martin Wirsing Manfred Broy Abstract Data Types as Lattices of Finitely Generated Models. 673-685 1980 conf/mfcs/1980 MFCS db/conf/mfcs/mfcs80.html#WirsingB80 https://doi.org/10.1007/BFb0022542 Manfred Broy Peter Pepper Martin Wirsing On Relations Between Programs. 59-78 1980 conf/programm/1980 Symposium on Programming db/conf/programm/programm80.html#BroyPW80 https://doi.org/10.1007/3-540-09981-6_5

Manfred Broy Martin Wirsing Jean-Pierre Finance Alain Quéré Jean-Luc Rémy Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. 224-229 1979 8 Inf. Process. Lett. 5 db/journals/ipl/ipl8.html#BroyWFQR79 https://doi.org/10.1016/0020-0190(79)90111-X

Manfred Broy Walter Dosch Helmuth Partsch Peter Pepper Martin Wirsing Existential Quantifiers in Abstract Data Types. 73-87 1979 conf/icalp/1979 ICALP db/conf/icalp/icalp79.html#BroyDPPW79 https://doi.org/10.1007/3-540-09510-1_7 Friedrich L. Bauer Manfred Broy Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany Program Construction Lecture Notes in Computer Science 69 Springer 1979 3-540-09251-X 038709251X https://doi.org/10.1007/BFb0014649 db/conf/pc/pc1978.html

Friedrich L. Bauer Manfred Broy Rupert Gnatz Wolfgang Hesse Bernd Krieg-Brückner Helmuth Partsch Peter Pepper Hans Wössner Towards a wide spectrum language to support program specification and program development. 15-24 1978 13 ACM SIGPLAN Notices 12 https://doi.org/10.1145/954587.954588 db/journals/sigplan/sigplan13.html#BauerBGHKPPW78

Friedrich L. Bauer Manfred Broy Helmuth Partsch Peter Pepper Hans Wössner Systematics of Transformation Rules. 273-289 1978 conf/pc/1978 Program Construction db/conf/pc/pc1978.html#BauerBPPW78 https://doi.org/10.1007/BFb0014672 Helmuth Partsch Manfred Broy Examples for Change of Types and Object Structures. 421-463 1978 conf/pc/1978 Program Construction db/conf/pc/pc1978.html#PartschB78 https://doi.org/10.1007/BFb0014676 Friedrich L. Bauer Manfred Broy Rupert Gnatz Wolfgang Hesse Bernd Krieg-Brückner Helmuth Partsch Peter Pepper Hans Wössner Towards a Wide Spectrum Language to Support Program Specification and Program Development. 543-552 1978 conf/pc/1978 Program Construction db/conf/pc/pc1978.html#BauerBGHKPPW78 https://doi.org/10.1007/BFb0014682 Manfred Broy Rupert Gnatz Martin Wirsing Semantics of Nondeterministic and Noncontinuous Constructs. 553-592 1978 conf/pc/1978 Program Construction db/conf/pc/pc1978.html#BroyGW78 https://doi.org/10.1007/BFb0014683 Friedrich L. Bauer Manfred Broy Rupert Gnatz Wolfgang Hesse Bernd Krieg-Brückner Towards a wide spectrum language to support program specification and program development. 73-85 1978 conf/programmier/1978 Fachtagung über Programmiersprachen db/conf/programmier/programmier1978.html#BauerBGHK78 https://doi.org/10.1007/978-3-642-87956-2_5 Reinhold Achatz Egidio Astesiano Kamel Barkaoui Christian Bartelt Andreas Bauer 0002 Friedrich L. Bauer Maurice H. ter Beek Klaus Beetz Brian Berenbach Rudolf Berghammer Klaus Bergner Jan A. Bergstra Dines Bjørner Arndt Bode Freimut Bodendorf Wolfgang Böhm 0002 Jewgenij Botaschanjan Peter Braun 0003 Walter Brenner Michael Breu Ruth Breu Achim D. Brucker Hans-Joachim Bungartz Herbert Burkert Alarico Campetelli Ana Cavalcanti 0001 María Victoria Cengarle Antonio Cerone Samarjit Chakraborty Michelle L. Crane Oliver Creighton Armin B. Cremers David Cruz Heinrich Daembkes Werner Damm Anton Deimel Florian DeißenböckFlorian Deissenboeck Claus Dendorfer Ernst Denert Martin R. Deubler Christian Diedrich Jürgen Dingel Brijesh Dongol Walter Dosch Uwe Dumslaff Jürgen Ebert Sebastian Eder Herbert Ehler Albert Endres Gregor Engels Hermann Engesser Michael Evangelist Alessandro Fantechi Martin Feilkas Henning Femmer Herbert Fiedler Jean-Pierre Finance Jens Folmer Jorge Fox Ulrich Freund Michael Friedewald Jan Friedrich Eva Geisberger Franz Geiselbrechtinger Alfons Geser Mario Gleirscher Sabine Glesner Martin Glinz Rupert Gnatz Michael Goedicke Gerhard Goos Dip Goswami Thomas F. Gritzner Hans Grönniger Radu Grosu Volker Gruhn Alexander Gruler Thomas Grünler Georg Hackenberg E. Hangel Alexander Harhurin Susanne Hartkopf Alan Hartman Wilhelm Hasselbring Benedikt Hauptmann Klaus Havelund Jennifer Hehn Stefan Henkler Juergen Henn Christoph Herrmann 0003 Markus Herrmannsdoerfer Dominikus Herzberg Wolfgang Hesse Ursula Hinkel C. A. R. HoareTony Hoare Christoph Hofmann Florian Hölzl Harald Hönninger Wolfgang Hopfensitz Frank Houdek Franz Huber Peter Hubwieser Heinrich HußmannHeinrich Hussmann V. Ilzhöfer Stefan Jähnichen Rainer Janßen Matthias Jarke Cliff B. Jones Bengt Jonsson 0001 Maximilian Junker Elmar Jürgens Georg Kalus H. Kappus Joost-Pieter Katoen Jürgen Kazmeier Simone Kimpeler Matthias Kirchmayr Michael Kläs Cornel Klein Carlos Delgado Kloos Peter Kluge Steffen Knapp Eric Knauss Leonid Kof Kirstin Kohler Kai Koskimies Dagmar Koss Stefan Kowalewski Bernd J. Krämer Wolfgang Krenzer Bernd Krieg-Brückner Ingolf KrügerIngolf H. Krüger Stefan Kugele Marco Kuhrmann Rahul Kumar 0001 Markus Alexander Kuppe Leslie Lamport Kim Lauenroth Alfred Laut Edward A. Lee Christoph Legat Jan Marco Leimeister Christian Lengauer Martin Leucker Stefan Leue Christian Leuxner Claus Lewerentz Peter Liggesmeyer Christoph Lingenfelder M. Luckmann Luqi Christoph Lüth Gerald Lüttgen Pierre Mai Núria Mata Florian Matthes Thomas Matzner Michael Meisinger Alexandra Mendes Daniel Méndez 0001Daniel Méndez Fernández Michael Mendler Stefano Merenda Stephan Merz Ali Mili 0001 Karl-Rudolf Moll Bernhard Möller Klaus Hardy Mühleck C. Müller Mark Müller Jürgen Münch Jakob Mund Manfred Nagl Greg Nelson Friederike Nickl Tobias Nipkow Philipp Obergfell Ernst-Rüdiger Olderog Leon J. Osterweil Barbara Paech Claude Pair David Lorge Parnas Helmuth PartschHelmuth Arthur Partsch Wolfgang J. Paul Doron A. Peled Birgit Penzenstadler Peter Pepper Ilka Philippow Markus Pizka Frantisek Plásil André Platzer Klaus Pohl Gustav Pomberger Igor V. Pottosin K. Venkatesh Prasad Lutz Prechelt Wolfgang Pree Christian Prehofer Wolfgang Prenninger Alexander Pretschner Alain Quéré S. Ramesh 0002 Daniel Ratiu Andreas Rausch 0001 Gianna Reggio Günter Reichart Jean-Luc Rémy Stefan Resmerita Ralf H. Reussner Jan Oliver Ringert Sabine Rittmann Willem P. de RoeverWillem-Paul de Roever H. Dieter RombachHans Dieter Rombach Jan Romberg Lutz Rothhardt Arnold Rudorfer Harald Ruess Bernhard Rumpe Gudula Rünger Alexandre Saad Chris SalzmannChristian Salzmann Klaus Samelson Robert Sandner Manoranjan Satpathy Wilhelm Schäfer Bernhard Schätz Birgit Schieder Detlef Schmid Albrecht Schmidt 0001 Alexander Schmidt Joachim W. Schmidt Monika Schmidt Kurt Schneider Peter Scholz Stephan Scholz Sebastian Schröck Andy Schürr Daniel Schütz Wolfgang Schwerin Tilman Seifert Bran Selic Natarajan Shankar Johannes Siedersleben Marc Sihling Ernst Sikora Wassiou Sitou Oscar Slotosch Bernd Spanfelner Maria Spichkova Katharina Spies Petra Stahl Michael Stal Thomas Stauner Gheorghe Stefanescu Bernhard Steffen Ralf Steinbrüggen Christos Stergiou 0001 Franz Stetter Ketil Stølen Reinhard Stolle Thomas Streicher Jonathan Streit Allison Sullivan Janos Sztipanovits Clemens A. Szyperski Andrzej Tarlecki Dirk Taubner Thomas Ternité Veronika Thurner Walter F. Tichy Matthias Traub Stavros Tripakis John V. Tucker Sebastián Uchitel Falk Uebernickel Rudolf Vaas Alexander Vilbig Birgit Vogel-Heuser Andreas Vogelsang Stefan Wagner 0001 Michal Walicki Herbert Weber Bernhard Westfechtel Thorsten Weyer Jon Whittle 0001 Doris Wild Sebastian Winter Martin Wirsing Hans Wössner Robert Wucher Alexandre V. Zamulin Dirk Ziegenbein Wolf Zimmermann Peter Zoche Albert Zündorf