Manfred Broy

Manfred Broy: Cyber Physical Systems (Part 2). it - Information Technology 55(1): 3-4 (2013)

Manfred Broy: Challenges in modeling cyber-physical systems. IPSN 2013: 5-6

Manfred Broy: Software Quality: From Requirements to Architecture. SWQD 2013: 1-2

Manfred Broy, Albert Endres: Mehr Lebensqualität dank Informatik. Informatik Spektrum 35(1): 34-38 (2012)

Manfred Broy: Cyber Physical Systems (Part 1). it - Information Technology 54(6): 255-256 (2012)

Manfred Broy: System Behaviour Models with Discrete and Dense Time. Advances in Real-Time Systems 2012: 3-25

Manfred Broy, María Victoria Cengarle, Eva Geisberger: Cyber-Physical Systems: Imminent Challenges. Monterey Workshop 2012: 1-28

Manfred Broy, Christian Leuxner, Tony Hoare (Eds.): Software and Systems Safety - Specification and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security 30, IOS Press 2011, isbn 978-1-60750-710-9

Manfred Broy: Can Practitioners Neglect Theory and Theoreticians Neglect Practice? IEEE Computer 44(10): 19-24 (2011)

Manfred Broy, Klaus Hardy Mühleck, Dirk Taubner: Informatik in der Automobilindustrie. Informatik Spektrum 34(1): 1-5 (2011)

Manfred Broy, Günter Reichart, Lutz Rothhardt: Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung. Informatik Spektrum 34(1): 42-59 (2011)

Manfred Broy, María Victoria Cengarle: UML formal semantics: lessons learned. Software and System Modeling 10(4): 441-446 (2011)

Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree: Cross-layer analysis, testing and verification of automotive control software. EMSOFT 2011: 263-272

Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011). Software Engineering 2011: 198

Kim Lauenroth, Klaus Pohl, Wolfgang Böhm, Manfred Broy: Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020). Software Engineering 2011: 201

Manfred Broy: Towards formal modeling of functional features and feature interactions in software intensive systems. SPLC Workshops 2011: 1

Manfred Broy: The Role of Requirements and Specification in Product Line Engineering. SPLC 2011: 3-7

Manfred Broy: Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification. Software and Systems Safety - Specification and Verification 2011: 33-87

Manfred Broy: A Logical Basis for Component-Oriented Software and Systems Engineering. Comput. J. 53(10): 1758-1782 (2010)

Manfred Broy, Ralf Reussner: Architectural Concepts in Programming Languages. IEEE Computer 43(10): 88-91 (2010)

Stefan Wagner, Manfred Broy, Florian Deißenböck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit: Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda. Informatik Spektrum 33(1): 37-44 (2010)

K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger: Scanning the Issue. Proceedings of the IEEE 98(4): 506-509 (2010)

K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger: Scanning Advances in Aerospace & Automobile Software Technology. Proceedings of the IEEE 98(4): 510-514 (2010)

Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, Daniel Ratiu: Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments. Proceedings of the IEEE 98(4): 526-545 (2010)

Manfred Broy: Multifunctional software systems: Structured modeling and specification of functional requirements. Sci. Comput. Program. 75(12): 1193-1214 (2010)

Manfred Broy: Seamless Method- and Model-based Software and Systems Engineering. The Future of Software Engineering 2010: 33-47

Manfred Broy: Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. Concurrency, Compositionality, and Correctness 2010: 118-126

Daniel Méndez Fernández, Birgit Penzenstadler, Marco Kuhrmann, Manfred Broy: A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering. MoDELS (2) 2010: 183-197

Manfred Broy, David Cruz, Martin Deubler, Kim Lauenroth, Klaus Pohl, Ernst Sikora: Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020). Software Engineering 2010: 240

Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Software-Qualitätsmodellierung und -bewertung (SQMB). Software Engineering 2010: 250

Brian Berenbach, Manfred Broy: Professional and Ethical Dilemmas in Software Engineering. IEEE Computer 42(1): 74-80 (2009)

Manfred Broy, Mario Gleirscher, Stefano Merenda, Doris Wild, Peter Kluge, Wolfgang Krenzer: Toward a Holistic and Standardized Automotive Architecture Description. IEEE Computer 42(11): 98-101 (2009)

Manfred Broy, Albert Endres: Informatik überall, jederzeit und für alle. Informatik Spektrum 32(2): 153-162 (2009)

Herbert Weber, Manfred Broy: Systemorientiertes Automotive Engineering. Informatik Spektrum 32(3): 206-213 (2009)

Manfred Broy, Gheorghe Stefanescu: Guest Editors' Foreword: Selected papers on "Streams and Algebra". J. Log. Algebr. Program. 78(2): 53 (2009)

Manfred Broy: From system requirements documents to integrated system modeling artifacts. ACM Symposium on Document Engineering 2009: 98

Manfred Broy: Seamless Model Driven Systems Engineering Based on Formal Models. ICFEM 2009: 1-19

Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider: Orchestration of Global Software Engineering Projects - Position Paper. ICGSE 2009: 332-337

Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter: Formalizing the notion of adaptive system behavior. SAC 2009: 1029-1033

Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Software-Qualitätsmodellierung und -bewertung (SQMB 2009). Software Engineering 2009: 211-

Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone: Guest Editorial. Formal Asp. Comput. 20(4-5): 349-350 (2008)

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. Formal Asp. Comput. 20(6): 637-662 (2008)

Arndt Bode, Manfred Broy, Uwe Dumslaff, Gregor Engels: Architektur & Management im Großen meistern. Informatik Spektrum 31(6): 523-525 (2008)

Manfred Broy: Über "Sequentielle Formelübersetzung" von Klaus Samelson und Friedrich L. Bauer. it - Information Technology 50(2): 135-136 (2008)

Manfred Broy, Reinhard Stolle, Alexandre Saad: 6.Workshop Automotive Software Engineering. GI Jahrestagung (2) 2008: 617-618

Manfred Broy: Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). ISoLA 2008: 1-13

Manfred Broy: Requirements Engineering als Schlüssel zur Softwarequalität und Produktivität. Software Engineering 2008: 23

Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer: Software-Qualitätsmodellierung und -bewertung. Software Engineering 2008: 295-297

Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.): Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4922, Springer 2008, isbn 978-3-540-70929-9

Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Nuria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein: Das AutoMoDe-Projekt. Inform., Forsch. Entwickl. 22(1): 45-57 (2007)

Manfred Broy, Bernhard Rumpe: Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung. Informatik Spektrum 30(1): 3-18 (2007)

Manfred Broy, Eva Geisberger, Jürgen Kazmeier, Arnold Rudorfer, Klaus Beetz: Ein Requirements-Engineering-Referenzmodell. Informatik Spektrum 30(3): 127-142 (2007)

Manfred Broy: Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones. ISSE 3(1): 75-102 (2007)

Manfred Broy: Editorial comment to 'About "trivial" software patents: The IsNot case'. Sci. Comput. Program. 64(3): 263 (2007)

Manfred Broy: Editorial-Science of Computer Programming-25 years. Sci. Comput. Program. 66(2): 103-104 (2007)

Manfred Broy, Ingolf H. Krüger, Michael Meisinger: A formal model of services. ACM Trans. Softw. Eng. Methodol. 16(1) (2007)

Manfred Broy: From "Formal Methods" to System Modeling. Formal Methods and Hybrid Real-Time Systems 2007: 24-44

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. CoCoME 2007: 177-206

Manfred Broy, Johannes Siedersleben, Clemens A. Szyperski: CoCoME Jury Evaluation and Conclusion. CoCoME 2007: 449-458

Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner: Software Engineering for Automotive Systems: A Roadmap. FOSE 2007: 55-71

Manfred Broy: Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture. SERA 2007: 3-12

Manfred Broy: Interaction and Realizability. SOFSEM (1) 2007: 29-50

Manfred Broy: The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. IEEE Computer 39(10): 72-80 (2006)

Manfred Broy, Matthias Jarke, Manfred Nagl, H. Dieter Rombach: Manifest^*: Strategische Bedeutung des Software Engineering in Deutschland. Informatik Spektrum 29(3): 210-221 (2006)

Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz: SoSyM special section on service-based software engineering. Software and System Modeling 5(2): 170-171 (2006)

Manfred Broy: From Chaos to Undefinedness. Essays Dedicated to Joseph A. Goguen 2006: 476-496

Manfred Broy: Challenges in automotive software engineering. ICSE 2006: 33-42

Manfred Broy: Requirements Engineering as a Key to Holistic Software Quality. ISCIS 2006: 24-34

Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic: 2^nd UML 2 Semantics Symposium: Formal Semantics for UML. MoDELS Workshops 2006: 318-323

Manfred Broy: The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. SEW 2006: 85-88

Manfred Broy, Ingolf H. Krüger, Michael Meisinger (Eds.): Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers. Lecture Notes in Computer Science 4147, Springer 2006, isbn 3-540-37677-1

Dominikus Herzberg, Manfred Broy: Modeling layered distributed communication systems. Formal Asp. Comput. 17(1): 1-18 (2005)

Manfred Broy, Andreas Rausch: Das neue V-Modell^® XT. Informatik Spektrum 28(3): 220-229 (2005)

Arndt Bode, Manfred Broy, Dirk Taubner: Software auf dem Weg zur Industrialisierung. Informatik Spektrum 28(4): 269 (2005)

Manfred Broy: A semantic and methodological essence of message sequence charts. Sci. Comput. Program. 54(2-3): 213-256 (2005)

Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle: Guest Editorial: Special Section on Interaction and State-Based Modeling. IEEE Trans. Software Eng. 31(12): 997-998 (2005)

Manfred Broy: The Impact of Models in Software Development. Mechanizing Mathematical Reasoning 2005: 396-406

Manfred Broy: Automotive software and systems engineering (Panel). MEMOCODE 2005: 143-149

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (Eds.): 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]. Lecture Notes in Computer Science 3472, Springer 2005, isbn 3-540-26278-4

Manfred Broy: Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract. Electr. Notes Theor. Comput. Sci. 108: 3-9 (2004)

Manfred Broy, Gerald Lüttgen, Michael Mendler: Editorial. Formal Asp. Comput. 16(3): 165- (2004)

Karl-Rudolf Moll, Manfred Broy, Markus Pizka, Tilman Seifert, Klaus Bergner, Andreas Rausch: Erfolgreiches Management von Software-Projekten. Informatik Spektrum 27(5): 419-432 (2004)

Manfred Broy: Distributed Concurrent Object-Oriented Software. Essays in Memory of Ole-Johan Dahl 2004: 83-95

Manfred Broy: A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. Architecting Systems with Trustworthy Components 2004: 26-47

Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy: Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. SoftSpez Final Report 2004: 29-47

Manfred Broy: Architecture Driven Modeling in Software Development. ICECCS 2004: 3-12

Friedrich L. Bauer, Manfred Broy: Edsger W. Dijkstra - Acta Informatica and Marktoberdorf. Acta Inf. 39(3): 141-142 (2003)

Manfred Broy, Gerald Lüttgen, Michael Mendler: Editorial: Where Theory and Practice Meet. Formal Asp. Comput. 15(4): 297-298 (2003)

Manfred Broy, Wolfgang Pree: Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter Systeme. Informatik Spektrum 26(1): 3-7 (2003)

Manfred Broy: Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern. Informatik Spektrum 26(1): 13-16 (2003)

Manfred Broy: A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems. Verification: Theory and Practice 2003: 161-181

Manfred Broy: Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. FORTE 2003: 48-61

Manfred Broy: Automotive Software Engineering. ICSE 2003: 719-720

Manfred Broy: Modular Hierarchies of Models for Embedded Systems. MEMOCODE 2003: 183-

Manfred Broy: Engineering Software Intensive Systems. SNPD 2003: 1-5

Manfred Broy, Alexandre V. Zamulin (Eds.): Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Lecture Notes in Computer Science 2890, Springer 2003, isbn 3-540-20813-5

Manfred Broy: Message Sequence Charts in the Development Process - Role and Limitations. Electr. Notes Theor. Comput. Sci. 65(7): 18-33 (2002)

Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy: From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. International Journal of Software Engineering and Knowledge Engineering 12(2): 155-174 (2002)

Manfred Broy, Johannes Siedersleben: Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung. Informatik Spektrum 25(1): 3-11 (2002)

Manfred Broy: Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen). Informatik Spektrum 25(5): 367-369 (2002)

Manfred Broy, H. Dieter Rombach: Software Engineering Wurzeln, Stand und Perspektiven. Informatik Spektrum 25(6): 438-451 (2002)

Luqi, Manfred Broy: Software engineering beyond our planning horizon: automation for computer-based systems. Sci. Comput. Program. 42(1): 1-10 (2002)

Manfred Broy: Multi-view Modeling of Software Systems. 10th Anniversary Colloquium of UNU/IIST 2002: 207-225

Manfred Broy: Letter from the Editor. Acta Inf. 37(4/5): 227-228 (2001)

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). Inform., Forsch. Entwickl. 16(1): 53-59 (2001)

Michael Friedewald, H. Dieter Rombach, Petra Stahl, Manfred Broy, Susanne Hartkopf, Simone Kimpeler, Kirstin Kohler, Robert Wucher, Peter Zoche: Softwareentwicklung in Deutschland, Eine Bestandsaufnahme. Informatik Spektrum 24(2): 81-90 (2001)

Manfred Broy, Susanne Hartkopf, Kirstin Kohler, H. Dieter Rombach: Germany: Combining Software and Application Competencies. IEEE Software 18(4): 93-95 (2001)

Manfred Broy: Refinement of time. Theor. Comput. Sci. 253(1): 3-26 (2001)

Manfred Broy, Gheorghe Stefanescu: The algebra of stream processing functions. Theor. Comput. Sci. 258(1-2): 99-129 (2001)

Manfred Broy: Toward a Mathematical Foundation of Software Engineering Methods. IEEE Trans. Software Eng. 27(1): 42-57 (2001)

Manfred Broy, Oscar Slotosch: From Requirements to Validated Embedded Systems. EMSOFT 2001: 51-65

Manfred Broy: Specification and Modeling: An Academic Perspective. ICSE 2001: 673-675

H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas: Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? ICSE 2001: 698

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.): Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers. Lecture Notes in Computer Science 2244, Springer 2001, isbn 3-540-43075-X

Detlef Schmid, Manfred Broy: . . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung. Informatik Spektrum 23(2): 109-117 (2000)

Manfred Broy: Algebraic specification of reactive systems. Theor. Comput. Sci. 239(1): 3-40 (2000)

Manfred Broy, Martin Wirsing: Invited Talk: Algebraic State Machines. AMAST 2000: 89-188

Manfred Broy: Software Engineering as a Modelling Process. JISBD 2000: 9

Manfred Broy: The Essence of Message Sequence Charts. ISMSE 2000: 42-47

Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (Eds.): Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings. Lecture Notes in Computer Science 1755, Springer 2000, isbn 3-540-67102-1

Birgit Schieder, Manfred Broy: Adapting Calculational Logic to the Undefined. Comput. J. 42(2): 73-81 (1999)

Luqi, Manfred Broy: Preface - Software Engineering to our Planning Horizon. Electr. Notes Theor. Comput. Sci. 25: 145-146 (1999)

Manfred Broy, Franz Huber, Bernhard Schätz: AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Inform., Forsch. Entwickl. 14(3): 121-134 (1999)

Manfred Broy: Software technology - formal methods and scientific foundations. Information & Software Technology 41(14): 947-950 (1999)

Manfred Broy, Joachim W. Schmidt: Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt). Informatik Spektrum 22(3): 206-209 (1999)

Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Manfred Broy: A Formal Model for Componentware. FBT 1999: 17-26

Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy: Focusing on Mobility. HICSS 1999

Manfred Broy: From States to Histories. WADT 1999: 22-36

Manfred Broy: A Functional Rephrasing of the Assumption/Commitment Specification Style. Formal Methods in System Design 13(1): 87-119 (1998)

Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plasil, Gustav Pomberger, Wolfgang Pree, Michael Stal, Clemens A. Szyperski: What characterizes a (software) component? Software - Concepts and Tools 19(1): 49-56 (1998)

Manfred Broy: A uniform mathematical concept of a component (Appendix to M. Broy et al.: ``What characterizes a (software) component?''. Software - Concepts and Tools 19(1): 57-59 (1998)

Radu Grosu, Gheorghe Stefanescu, Manfred Broy: Visual Formalisms Revisited. ACSD 1998: 41-51

Manfred Broy, Oscar Slotosch: Enriching the Software Development Process by Formal Methods. FM-Trends 1998: 44-61

Radu Grosu, Thomas Stauner, Manfred Broy: A Modular Visual Model for Hybrid Systems. FTRTFT 1998: 75-91

Manfred Broy, Ingolf Krüger: Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. ICFEM 1998: 2-

Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy: From MSCs to Statecharts. DIPES 1998: 61-72

Manfred Broy: A Logical Basis for Modular Software and Systems Engineering. SOFSEM 1998: 19-35

Manfred Broy, Bernhard Rumpe (Eds.): Requirements Targeting Software and Systems Engineering, International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997, Proceedings. Lecture Notes in Computer Science 1526, Springer 1998, isbn 3-540-65309-0

Manfred Broy, Bernhard Rumpe: Übungen zur Einführung in die Informatik - strukturierte Aufgabensammlung mit Musterlösungen. Springer 1997, isbn 978-3-540-63549-9, pp. I-IX, 1-355

Manfred Broy, Stefan Jähnichen: KORSO - Korrekte Software durch formale Methoden. Inform., Forsch. Entwickl. 12(3): 157-160 (1997)

Manfred Broy: Compositional refinement of interactive systems. J. ACM 44(6): 850-891 (1997)

Peter Hubwieser, Manfred Broy: Ein neuer Ansatz für den Informatikunterricht am Gymnasium. LOG IN 17(3/4): 42- (1997)

Manfred Broy: Towards a Mathematical Concept of a Component and its Use. Software - Concepts and Tools 18(3): 137- (1997)

Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt: Using Extended Event Traces to Describe Communication in Software Architectures. APSEC 1997: 203-212

Manfred Broy: Refinement of Time. ARTS 1997: 44-63

Manfred Broy: Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That. Foundations of Computer Science: Potential - Theory - Cognition 1997: 279-286

Manfred Broy: Compositional Refinement of Interactive Systems Modelled by Relations. COMPOS 1997: 130-149

Manfred Broy, Radu Grosu, Cornel Klein: Reconciling Real-Time with Asynchronous Message Passing. FME 1997: 182-200

Manfred Broy, Herbert Ehler, Barbara Paech, Veronika Thurner: Innovation durch Kooperation im Software-Engineering. GI Jahrestagung 1997: 503-504

Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies: Software and System Modeling Based on a Unified Formal Semantics. Requirements Targeting Software and Systems Engineering 1997: 43-68

Peter Hubwieser, Manfred Broy: Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht. INFOS 1997: 40-50

Manfred Broy: Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant. Formal Methods in System Design 8(3): 221-272 (1996)

Manfred Broy: Algebraic Specification of Reactive Systems. AMAST 1996: 487-503

Bernhard Schätz, Heinrich Hußmann, Manfred Broy: Graphical Development of Consistent System Specifications. FME 1996: 248-267

Manfred Broy: Formal Description Techniques - How Formal and Descriptive are they? FORTE 1996: 95-110

Manfred Broy: Specification and refinement of a buffer of length one. NATO ASI DPD 1996: 273-304

Manfred Broy, Stephan Merz, Katharina Spies (Eds.): Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994). Lecture Notes in Computer Science 1169, Springer 1996, isbn 3-540-61984-4

Dines Bjørner, Manfred Broy, Igor V. Pottosin (Eds.): Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings. Lecture Notes in Computer Science 1181, Springer 1996, isbn 3-540-62064-8

Manfred Broy (Ed.): Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany. 1996, isbn 3-540-60947-4

Michal Walicki, Manfred Broy: Structured Specifications and Implementation of Nondeterministic Data Types. Nord. J. Comput. 2(3): 358-395 (1995)

Manfred Broy: Mathematical System Models as a Basis of Software Engineering. Computer Science Today 1995: 292-306

Manfred Broy, Martin Wirsing: Correct Software: From Experiments to Applications. KORSO Book 1995: 1-26

Manfred Broy: Mathematics of Software Engineering. MPC 1995: 18-48

Manfred Broy, Stefan Jähnichen (Eds.): KORSO - Methods, Languages, and Tools for the Construction of Correct Software. Lecture Notes in Computer Science 1009, Springer 1995, isbn 3-540-60589-4

Manfred Broy: Professor Friedrich L. Bauer zum 70. Geburtstag. Informatik Spektrum 17(4): 258-259 (1994)

Manfred Broy, Greg Nelson: Adding Fair Choice to Dijkstra's Calculus. ACM Trans. Program. Lang. Syst. 16(3): 924-938 (1994)

Manfred Broy: Equations for Describing Dynamic Nets of Communicating Systems. COMPASS/ADT 1994: 170-187

Manfred Broy, Leslie Lamport: The RPC-Memory Specification Problem - Problem Statement. Formal Systems Specification 1994: 1-4

Manfred Broy, Stephan Merz, Katharina Spies: The RPC-Memory Case Study: A Synopsis. Formal Systems Specification 1994: 5-20

Manfred Broy: A Functional Solution to the RPC-Memory Specification Problem. Formal Systems Specification 1994: 183-211

Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder: Interpreter Verification for a Functional Language. FSTTCS 1994: 77-88

Manfred Broy, Ketil Stølen: Specification and Refinement of Finite Dataflow Networks - a Relational Approach. FTRTFT 1994: 247-267

Manfred Broy: Advanced Component Interface Specification. Theory and Practice of Parallel Programming 1994: 369-392

Manfred Broy: Functional Specification of Time-Sensitive Communicating Systems. ACM Trans. Softw. Eng. Methodol. 2(1): 1-46 (1993)

Manfred Broy, Martin Wirsing: Korrekte Software: Vom Experiment zur Anwendung. GI Jahrestagung 1993: 29-43

Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl: Semantics of PAⁿⁿdA-S. PROSPECTRA Book 1993: 171-222

Dines Bjørner, Manfred Broy, Igor V. Pottosin (Eds.): Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Lecture Notes in Computer Science 735, Springer 1993, isbn 3-540-57316-X

Manfred Broy: Algebraic and Functional Specification of an Interactive Serializable Database Interface. Distributed Computing 6(1): 5-18 (1992)

Manfred Broy: Operational and denotational semantics with explicit concurrency. Fundam. Inform. 16(3-4): 201-229 (1992)

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. Informatik Spektrum 15(2): 89-100 (1992)

Manfred Broy, Claus Dendorfer: Modelling Operating System Structures by Timed Stream Processing Functions. J. Funct. Program. 2(1): 1-21 (1992)

Manfred Broy, Thomas Streicher: Modular functional modelling of Petri nets with individual tokens. Advances in Petri Nets: The DEMON Project 1992: 70-88

Manfred Broy: Reliable Systems Enginerring (Position Statement). IFIP Congress (1) 1992: 683

Manfred Broy: Towards a Formal Foundation of the Specification and Description Language SDL. Formal Asp. Comput. 3(1): 21-57 (1991)

Manfred Broy, Thomas Streicher: Specification and design of shared resource arbitration. International Journal of Parallel Programming 20(1): 1-22 (1991)

Manfred Broy, Christian Lengauer: On Denotational versus Predicative Semantics. J. Comput. Syst. Sci. 42(1): 1-29 (1991)

Manfred Broy: Deductive Program Development: Evaluation in Reverse Polish Notation as an Example. Methods of Programming 1991: 79-99

Manfred Broy, Martin Wirsing (Eds.): Method of Programming, Selected Papers on the CIP-Project. Lecture Notes in Computer Science 544, Springer 1991, isbn 3-540-54576-X

Manfred Broy: Methodological Objectives for Formal Description Techniques. FORTE 1990: 1-16

Manfred Broy: Functional Specification of Communicating Systems. IFIP Congress 1989: 851-856

Manfred Broy: Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering. IFIP Congress 1989: 953

Manfred Broy: Functional Specification of Time Sensitive Communicating Systems. REX Workshop 1989: 153-179

Martin Wirsing, Manfred Broy: A Modular Framework for Specification and Implementation. TAPSOFT, Vol.1 1989: 42-73

Manfred Broy: Broadcasting Buffering Communication. Comput. Lang. 13(1): 31-47 (1988)

Manfred Broy, Martin Wirsing: Ultra-loose algebraic specifications. Bulletin of the EATCS 35: 117-127 (1988)

Manfred Broy: Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly. Sci. Comput. Program. 10(1): 65-85 (1988)

Manfred Broy: Equational Specification of Partial Higher-Order Algebras. Theor. Comput. Sci. 57: 3-45 (1988)

Manfred Broy: Requirement and Design Specification for Distributed Systems. Concurrency 1988: 33-62

Manfred Broy: Spezifikation und Entwurf komplexer, kausal vernetzter Systeme. GI Jahrestagung (1) 1988: 34-55

Manfred Broy: Semantics of Finite and Infinite Networks of Concurrent Communicating Agents. Distributed Computing 2(1): 13-31 (1987)

Manfred Broy: Predicative Specifications for Functional Programs Describing Communication Networks. Inf. Process. Lett. 25(2): 93-101 (1987)

Manfred Broy: Specification and Top-Down Design of Distributed Systems. J. Comput. Syst. Sci. 34(2/3): 236-265 (1987)

Manfred Broy, Martin Wirsing, Peter Pepper: On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987)

Manfred Broy: Denotational Semantics of Communicating Sequential Programs. Inf. Process. Lett. 23(5): 253-259 (1986)

Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing: Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986)

Manfred Broy: A Theory for Nondeterminism, Parallelism, Communication, and Concurrency. Theor. Comput. Sci. 45(1): 1-61 (1986)

Manfred Broy, Thomas Streicher: Views of Distributed Systems. Mathematical Models for the Semantics of Parallelism 1986: 114-143

Manfred Broy, Alfons Geser, Heinrich Hußmann: Towards Advanced Programming Environments Based on Algebraic Concepts. Advanced Programming Environments 1986: 554-470

Manfred Broy: Partial Interpretations of Higher Order Algebraic Types (Extended Abstract). MFCS 1986: 29-43

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, isbn 3-540-15187-7

Manfred Broy, Andrzej Tarlecki: Algebraic specification of the abstract data type "Continuum". Bulletin of the EATCS 26: 32-35 (1985)

Manfred Broy: On the Herbrand-Kleene Universe for Nondeterministic Computations. Theor. Comput. Sci. 36: 1-19 (1985)

Manfred Broy: Specification and Top Down Design of Distributed Systems. TAPSOFT, Vol.1 1985: 4-28

Manfred Broy: Rechnergestützte Systeme für den Programmentwurf. Wissensbasierte Systeme 1985: 58-69

Manfred Broy: Semantics of Communicating Processes. Information and Control 61(3): 202-246 (1984)

Manfred Broy, Friedrich L. Bauer: A Systematic Approach to Language Constructs for Concurrent Programs. Sci. Comput. Program. 4(2): 103-139 (1984)

Manfred Broy, Martin Wirsing, C. Pair: A Systematic Study of Models of Abstract Data Types. Theor. Comput. Sci. 33: 139-174 (1984)

Manfred Broy: On the Herbrand Kleene Universe for Nondeterministic Computations. MFCS 1984: 214-222

Manfred Broy: Denotational Semantics of Concurrent Programs with Shared Memory. STACS 1984: 163-173

Manfred Broy: Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming. Inf. Process. Lett. 17(1): 29-35 (1983)

Manfred Broy, Martin Wirsing: Algebraic Definition of a Functional Programming Language and Its Semantic Models. ITA 17(2): 137-161 (1983)

Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras. ADT 1983

Manfred Broy, Martin Wirsing: Generalized Heterogeneous Algebras and Partial Interpretations. CAAP 1983: 1-34

Manfred Broy: Funktionales Programmieren - Programmieren mit Funktionalen. GI Jahrestagung 1983: 24-40

Manfred Broy: Applicative Real-Time Programming. IFIP Congress 1983: 259-264

Manfred Broy, Martin Wirsing: Partial Abstract Types. Acta Inf. 18: 47-64 (1982)

Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing: Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Informatik Spektrum 5(2): 107-119 (1982)

Manfred Broy, Peter Pepper: Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm. ACM Trans. Program. Lang. Syst. 4(3): 362-381 (1982)

Manfred Broy, Rupert Gnatz, Martin Wirsing: Nichtdeterminismus - Das aktuelle Schlagwort. Informatik Spektrum 4(2): 125-126 (1981)

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. Sci. Comput. Program. 1(1-2): 73-114 (1981)

Manfred Broy, Peter Pepper: Program Development as a Formal Activity. IEEE Trans. Software Eng. 7(1): 14-23 (1981)

Manfred Broy, Martin Wirsing: On the Algebraic Specification of Nondeterministic Programming Languages. CAAP 1981: 162-179

Manfred Broy: On language constructs for concurrent programs. CONPAR 1981: 141-154

Manfred Broy: Prospects of New Tools for Software Development. ECI 1981: 106-121

Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing: GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). GI Jahrestagung 1981: 109-121

Manfred Broy: Are Fairness Assumptions Fair? ICDCS 1981: 116-125

Manfred Broy, Martin Wirsing: On the Algebraic Extensions of Abstract Data Types. ICFPC 1981: 244-251

Jan A. Bergstra, Manfred Broy, J. V. Tucker, Martin Wirsing: On the Power of Algebraic Specifications. MFCS 1981: 193-204

Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper: Programmtransformationen - Das aktuelle Schlagwort. Informatik Spektrum 3(3): 192-193 (1980)

Manfred Broy, Martin Wirsing: Program Development: From Enumeration to Backtracking. Inf. Process. Lett. 10(4/5): 193-197 (1980)

Manfred Broy: Transformational Semantics for Concurrent Programs. Inf. Process. Lett. 11(2): 87-91 (1980)

Manfred Broy, Bernd Krieg-Brückner: Derivation of Invariant Assertions During Program Development by Transformation. ACM Trans. Program. Lang. Syst. 2(3): 321-337 (1980)

Manfred Broy, Martin Wirsing: Programming languages as abstract data types. CLAAP 1980: 160-177

Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing: Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106

Manfred Broy: Zur Spezifikation von Programmen für die Textverarbeitung. Textverarbeitung und Informatik 1980: 75-93

Martin Wirsing, Manfred Broy: Abstract Data Types as Lattices of Finitely Generated Models. MFCS 1980: 673-685

Manfred Broy, Peter Pepper, Martin Wirsing: On Relations Between Programs. Symposium on Programming 1980: 59-78

Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Remy: Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. Inf. Process. Lett. 8(5): 224-229 (1979)

Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing: Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87

Friedrich L. Bauer, Manfred Broy (Eds.): Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany. Lecture Notes in Computer Science 69, Springer 1979, isbn 3-540-09251-X

Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner: Systematics of Transformation Rules. Program Construction 1978: 273-289

Helmuth Partsch, Manfred Broy: Examples for Change of Types and Object Structures. Program Construction 1978: 421-463

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. Program Construction 1978: 543-552

Manfred Broy, Rupert Gnatz, Martin Wirsing: Semantics of Nondeterministic and Noncontinuous Constructs. Program Construction 1978: 553-592

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. Fachtagung über Programmiersprachen 1978: 73-85