Manfred Broy

375 papers A* 5A 3B 11C 22Misc 3Journal 160Unranked 109
YearRankTypeTitle / Venue / Authors
2026 — conf
Designing Concurrent Distributed Systems by Interface Contracts.
Engineering Safe and Trustworthy Cyber Physical Systems
Manfred Broy
2026 J jnl
Principled Cyber-Physical System Design: From Foundations and Models to Practical Engineering.
Computer
Manfred Broy, Harald Ruess
2025 J jnl
Does Every Computer Scientist Need to Know Formal Methods?
Formal Aspects Comput.
Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Alexander Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan
2025 J jnl
It's the Specification, Stupid!
Commun. ACM
Manfred Broy, Harald Ruess, Natarajan Shankar
2025 — conf
Specifying and Implementing Interface Moore Machines by a Logic of Actions.
Go Where the Bugs Are
Manfred Broy
2025 J jnl
The Effects of Hype in the Software Domain: Causes, Consequences, and Mitigations.
IEEE Softw.
Manfred Broy, Bran Selic
2024 J jnl
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems.
Formal Aspects Comput.
Manfred Broy
2024 — ch.
Captured: Compositional and Modular Approaches to Concurrency.
The Practice of Formal Methods (I)
Manfred Broy
2024 J jnl
Specifying and Composing Layered Architectures.
J. Object Technol.
Manfred Broy, Bran Selic
2024 J jnl
The Role of Formal Methods in Computer Science Education.
Inroads
Maurice H. ter Beek, Manfred Broy, Brijesh Dongol
2024 J jnl
Time, causality, and realizability: Engineering interactive, distributed software systems.
J. Syst. Softw.
Manfred Broy
2023 J jnl
Development Use Cases for Semantics-Driven Modeling Languages.
Commun. ACM
Manfred Broy, Bernhard Rumpe
2023 J jnl
In memory of Heinrich Hussmann, long-time friend and SoSyM editor.
Softw. Syst. Model.
Manfred Broy, Albrecht Schmidt, Martin Wirsing
2023 J jnl
Specification and verification of concurrent systems by causality and realizability.
Theor. Comput. Sci.
Manfred Broy
2022 — conf
Architecture as a Backbone for Safe DevOps in Automotive Systems.
ITSC
Stefan Kugele, Manfred Broy
2022 — ch.
Edsger W. Dijkstra as a Lecturer in Marktoberdorf.
Edsger Wybe Dijkstra
Manfred Broy
2022 — conf
Software System Documentation: Coherent Description of Software System Properties.
ISoLA (2)
Manfred Broy
2021 — ch.
Advanced Systems Engineering.
Model-Based Engineering of Collaborative Embedded Systems
Manfred Broy, Wolfgang Böhm, Bernhard Rumpe
2021 — book
Einführung in die Softwaretechnik.
Manfred Broy, Marco Kuhrmann
2021 — book
Model-Based Engineering of Collaborative Embedded Systems
Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck
2021 — conf
Refining the Safety-Liveness Classification of Temporal Properties According to Realizability.
Formal Methods in Outer Space
Manfred Broy
2020 J jnl
On Integrating Design Thinking for Human-Centered Requirements Engineering.
IEEE Softw.
Jennifer Hehn, Daniel Méndez, Falk Uebernickel, Walter Brenner, Manfred Broy
2019 J jnl
Artefacts in software engineering: a fundamental positioning.
Softw. Syst. Model.
Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer
2019 J jnl
Editorial to the theme section on model-based design of cyber-physical systems.
Softw. Syst. Model.
Manfred Broy, Heinrich Daembkes, Janos Sztipanovits
2019 — book
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis.
Manfred Broy
2019 J jnl
On Integrating Design Thinking for a Human-centered Requirements Engineering.
CoRR
Jennifer Hehn, Daniel Méndez Fernández, Falk Uebernickel, Walter Brenner, Manfred Broy
2019 — conf
Seamless Model-Based System Development: Foundations - (Extended Abstract).
SETSS
Manfred Broy
2018 — ed.
1st IEEE/ACM International Workshop on Software Engineering for AI in Autonomous Systems, SEFAIAS@ICSE 2018, Gothenburg, Sweden, May 28, 2018
SEFAIAS@ICSE
Reinhard Stolle, Stephan Scholz, Manfred Broy
2018 J jnl
A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability - from requirements to functional and architectural views.
Softw. Syst. Model.
Manfred Broy
2018 J jnl
Artefacts in Software Engineering: What are they after all?
CoRR
Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer
2018 J jnl
In memory of Bernhard Schätz, long- time friend and SoSyM editor.
Softw. Syst. Model.
Manfred Broy, Bernhard Rumpe
2018 B conf
On Architecture Specification.
SOFSEM
Manfred Broy
2018 — ch.
The Leading Role of Software and Systems Architecture in the Age of Digitization.
The Essence of Software Engineering
Manfred Broy
2018 J jnl
Theory and methodology of assumption/commitment based system interface specification and architectural contracts.
Formal Methods Syst. Des.
Manfred Broy
2018 — conf
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction).
ISoLA (1)
Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
2018 J jnl
Yesterday, Today, and Tomorrow: 50 Years of Software Engineering.
IEEE Softw.
Manfred Broy
2017 J jnl
50 Jahre Informatik an den Universitäten in München.
Inform. Spektrum
Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes
2017 — book
50 Jahre Universitäts-Informatik in München
Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes
2017 J jnl
Auf dem Weg zu einer Informatik neuer Prägung in Wissenschaft, Studium und Wirtschaft.
Inform. Spektrum
Walter Brenner, Manfred Broy, Jan Marco Leimeister
2017 C conf
Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models.
Software Engineering
Marco Kuhrmann, Thomas Ternité, Jan Friedrich, Andreas Rausch, Manfred Broy
2017 — ch.
Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft.
50 Jahre Universitäts-Informatik in München
Manfred Broy
2017 J jnl
Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft.
Inform. Spektrum
Manfred Broy
2017 A conf
On Service-Orientation for Automotive Software.
ICSA
Stefan Kugele, Philipp Obergfell, Manfred Broy, Oliver Creighton, Matthias Traub, Wolfgang Hopfensitz
2016 — book
Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology
Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger
2016 — ch.
Advanced Model-Based Engineering of Embedded Systems.
Advanced Model-Based Engineering of Embedded Systems
Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger
2016 J jnl
Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung und Forschung.
Inform. Spektrum
Manfred Broy, Christian Prehofer, Hermann Engesser
2016 J jnl
Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models.
J. Syst. Softw.
Marco Kuhrmann, Thomas Ternité, Jan Friedrich, Andreas Rausch, Manfred Broy
2016 B conf
From Actions, Transactions, and Processes to Services.
Petri Nets
Manfred Broy
2016 C conf
Model-centric Assumption Promise Specification.
MODELSWARD
Manfred Broy
2016 — ch.
Outlook.
Advanced Model-Based Engineering of Embedded Systems
Manfred Broy
2016 — conf
Towards a Unified View of Modeling and Programming (Track Summary).
ISoLA (2)
Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
2016 — conf
Towards a Unified View of Modeling and Programming.
ISoLA (2)
Manfred Broy, Klaus Havelund, Rahul Kumar
2015 J jnl
A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer.
Acta Informatica
Manfred Broy
2015 J jnl
Computability and realizability for interactive computations.
Inf. Comput.
Manfred Broy
2015 — ch.
From Actions, Transactions, and Processes to Services.
Dependable Software Systems Engineering
Manfred Broy
2015 — conf
Pragmatic Formal Specification of System Properties by Tables.
Software, Services, and Systems
Manfred Broy
2015 — conf
Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re.
SER&IP@ICSE
Maximilian Junker, Manfred Broy, Benedikt Hauptmann, Wolfgang Böhm, Henning Femmer, Sebastian Eder, Elmar Jürgens, Rainer Janßen, Rudolf Vaas
2015 J jnl
Rethinking Nonfunctional Software Requirements.
Computer
Manfred Broy
2014 — conf
A Model of Dynamic Systems.
FPS@ETAPS
Manfred Broy
2014 J jnl
A stream-based mathematical model for distributed information processing systems - SysLab system model.
CoRR
Cornel Klein, Bernhard Rumpe, Manfred Broy
2014 J jnl
Challenges in Engineering Cyber-Physical Systems.
Computer
Manfred Broy, Albrecht Schmidt
2014 — conf
Cyber-Physical Systems - Konsequenzen für eine Informatik mit Nähe zur physikalischen Wirklichkeit.
GI-Jahrestagung
Manfred Broy
2014 J jnl
Guiding requirements engineering for software-intensive embedded systems in the automotive industry.
Comput. Sci. Res. Dev.
Peter Braun, Manfred Broy, Frank Houdek, Matthias Kirchmayr, Mark Müller, Birgit Penzenstadler, Klaus Pohl, Thorsten Weyer
2014 J jnl
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
Autom.
Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel-Heuser
2014 J jnl
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0).
CoRR
Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
2014 J jnl
Orchestration of Global Software Engineering Projects.
CoRR
Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider
2014 J jnl
Software and System Modeling Based on a Unified Formal Semantics.
CoRR
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
2014 J jnl
Towards a System Model for UML. The Structural Data Model.
CoRR
Manfred Broy, María Victoria Cengarle, Bernhard Rumpe
2014 J jnl
UML 2 Semantics Symposium: Formal Semantics for UML.
CoRR
Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
2014 J jnl
Verifying of interface assertions for infinite state Mealy machines.
J. Comput. Syst. Sci.
Manfred Broy
2013 — ch.
A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views.
Engineering Dependable Software Systems
Manfred Broy
2013 J jnl
Anforderungen an CPS aus Sicht der Automatisierungstechnik.
Autom.
Birgit Vogel-Heuser, Christian Diedrich, Manfred Broy
2013 — conf
Challenges in modeling cyber-physical systems.
IPSN
Manfred Broy
2013 J jnl
Cyber Physical Systems (Part 2).
it Inf. Technol.
Manfred Broy
2013 — conf
Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering.
Perspectives on the Future of Software Engineering
Manfred Broy
2013 — book
Engineering Dependable Software Systems
Engineering Dependable Software Systems
Manfred Broy, Doron A. Peled, Georg Kalus
2013 — conf
Error-Completion in Interface Theories.
SPIN
Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee
2013 — book
Projektorganisation und Management im Software Engineering.
Manfred Broy, Marco Kuhrmann
2013 — conf
Software Quality: From Requirements to Architecture.
SWQD
Manfred Broy
2012 J jnl
Cyber Physical Systems (Part 1).
it Inf. Technol.
Manfred Broy
2012 — conf
Cyber-Physical Systems: Imminent Challenges.
Monterey Workshop
Manfred Broy, María Victoria Cengarle, Eva Geisberger
2012 — conf
Engineering Cyber-Physical Systems: Challenges and Foundations.
CSDM
Manfred Broy
2012 — ch.
Introduction to the SPES Modeling Framework.
Model-Based Engineering of Embedded Systems
Manfred Broy, Werner Damm, Stefan Henkler, Klaus Pohl, Andreas Vogelsang, Thorsten Weyer
2012 J jnl
Mehr Lebensqualität dank Informatik.
Inform. Spektrum
Manfred Broy, Albert Endres
2012 — book
Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology
Model-Based Engineering of Embedded Systems
Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy
2012 — ch.
Outlook.
Model-Based Engineering of Embedded Systems
Manfred Broy
2012 — ch.
Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation.
Conquering Complexity
Manfred Broy
2012 — conf
System Behaviour Models with Discrete and Dense Time.
Advances in Real-Time Systems
Manfred Broy
2011 — ch.
A Model-Based View onto Testing.
Model-Based Testing for Embedded Systems
Manfred Broy, Alexander Pretschner
2011 J jnl
Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung.
Inform. Spektrum
Manfred Broy, Günter Reichart, Lutz Rothhardt
2011 J jnl
Can Practitioners Neglect Theory and Theoreticians Neglect Practice?
Computer
Manfred Broy
2011 Misc conf
Cross-layer analysis, testing and verification of automotive control software.
EMSOFT
Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree
2011 — conf
Informatik als wissenschaftliche Methode: Zur Rolle der Informatik in Forschung und Anwendung.
GI-Jahrestagung
Manfred Broy
2011 J jnl
Informatik in der Automobilindustrie.
Inform. Spektrum
Manfred Broy, Klaus Hardy Mühleck, Dirk Taubner
2011 — book
Software and Systems Safety - Specification and Verification
Software and Systems Safety - Specification and Verification
Manfred Broy, Christian Leuxner, Tony Hoare
2011 B conf
The Role of Requirements and Specification in Product Line Engineering.
SPLC
Manfred Broy
2011 — ch.
Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification.
Software and Systems Safety - Specification and Verification
Manfred Broy
2011 — conf
Towards formal modeling of functional features and feature interactions in software intensive systems.
SPLC Workshops
Manfred Broy
2011 J jnl
UML formal semantics: lessons learned.
Softw. Syst. Model.
Manfred Broy, María Victoria Cengarle
2011 C conf
Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011).
Software Engineering
Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer
2011 C conf
Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020).
Software Engineering
Kim Lauenroth, Klaus Pohl, Wolfgang Böhm, Manfred Broy
2010 J jnl
A Logical Basis for Component-Oriented Software and Systems Engineering.
Comput. J.
Manfred Broy
2010 — conf
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering.
MoDELS (2)
Daniel Méndez Fernández, Birgit Penzenstadler, Marco Kuhrmann, Manfred Broy
2010 J jnl
Architectural Concepts in Programming Languages.
Computer
Manfred Broy, Ralf H. Reussner
2010 C conf
Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020).
Software Engineering
Manfred Broy, David Cruz, Martin R. Deubler, Kim Lauenroth, Klaus Pohl, Ernst Sikora
2010 J jnl
Multifunctional software systems: Structured modeling and specification of functional requirements.
Sci. Comput. Program.
Manfred Broy
2010 J jnl
Scanning Advances in Aerospace & Automobile Software Technology.
Proc. IEEE
K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger
2010 J jnl
Scanning the Issue.
Proc. IEEE
K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger
2010 — conf
Seamless Method- and Model-based Software and Systems Engineering.
The Future of Software Engineering
Manfred Broy
2010 J jnl
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments.
Proc. IEEE
Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, Daniel Ratiu
2010 C conf
Software-Qualitätsmodellierung und -bewertung (SQMB).
Software Engineering
Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer
2010 J jnl
Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda.
Inform. Spektrum
Stefan Wagner, Manfred Broy, Florian Deißenböck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit
2010 — conf
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.
Concurrency, Compositionality, and Correctness
Manfred Broy
2009 — ch.
Considerations and Rationale for a UML System Model.
UML 2 Semantics and Applications
Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
2009 — ch.
Definition of the System Model.
UML 2 Semantics and Applications
Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
2009 Misc conf
Formalizing the notion of adaptive system behavior.
SAC
Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter
2009 B conf
From system requirements documents to integrated system modeling artifacts.
ACM Symposium on Document Engineering
Manfred Broy
2009 J jnl
Guest Editors' Foreword: Selected papers on "Streams and Algebra".
J. Log. Algebraic Methods Program.
Manfred Broy, Gheorghe Stefanescu
2009 J jnl
Informatik überall, jederzeit und für alle.
Inform. Spektrum
Manfred Broy, Albert Endres
2009 C conf
Orchestration of Global Software Engineering Projects - Position Paper.
ICGSE
Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider
2009 J jnl
Professional and Ethical Dilemmas in Software Engineering.
Computer
Brian Berenbach, Manfred Broy
2009 C conf
Seamless Model Driven Systems Engineering Based on Formal Models.
ICFEM
Manfred Broy
2009 C conf
Software-Qualitätsmodellierung und -bewertung (SQMB 2009).
Software Engineering
Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer
2009 J jnl
Systemorientiertes Automotive Engineering.
Inform. Spektrum
Herbert Weber, Manfred Broy
2009 J jnl
Toward a Holistic and Standardized Automotive Architecture Description.
Computer
Manfred Broy, Mario Gleirscher, Stefano Merenda, Doris Wild, Peter Kluge, Wolfgang Krenzer
2008 — conf
6.Workshop Automotive Software Engineering.
GI Jahrestagung (2)
Manfred Broy, Reinhard Stolle, Alexandre Saad
2008 C conf
Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress).
ISoLA
Manfred Broy
2008 J jnl
Architektur & Management im Großen meistern.
Inform. Spektrum
Arndt Bode, Manfred Broy, Uwe Dumslaff, Gregor Engels
2008 J jnl
Guest Editorial.
Formal Aspects Comput.
Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone
2008 — ed.
Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
ASWSD
Manfred Broy, Ingolf H. Krüger, Michael Meisinger
2008 J jnl
On the correctness of upper layers of automotive systems.
Formal Aspects Comput.
Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova
2008 C conf
Requirements Engineering als Schlüssel zur Softwarequalität und Produktivität.
Software Engineering
Manfred Broy
2008 C conf
Software-Qualitätsmodellierung und -bewertung.
Software Engineering
Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer
2008 J jnl
Über "Sequentielle Formelübersetzung" von Klaus Samelson und Friedrich L. Bauer.
it Inf. Technol.
Manfred Broy
2007 J jnl
A formal model of services.
ACM Trans. Softw. Eng. Methodol.
Manfred Broy, Ingolf H. Krüger, Michael Meisinger
2007 — conf
CoCoME Jury Evaluation and Conclusion.
CoCoME
Manfred Broy, Johannes Siedersleben, Clemens A. Szyperski
2007 J jnl
Das AutoMoDe-Projekt.
Inform. Forsch. Entwickl.
Andreas Bauer, Manfred Broy, Jan Romberg, Bernhard Schätz, Peter Braun, Ulrich Freund, Núria Mata, Robert Sandner, Pierre Mai, Dirk Ziegenbein
2007 J jnl
Editorial comment to 'About "trivial" software patents: The IsNot case'.
Sci. Comput. Program.
Manfred Broy
2007 J jnl
Editorial-Science of Computer Programming-25 years.
Sci. Comput. Program.
Manfred Broy
2007 J jnl
Ein Requirements-Engineering-Referenzmodell.
Inform. Spektrum
Manfred Broy, Eva Geisberger, Jürgen Kazmeier, Arnold Rudorfer, Klaus Beetz
2007 — ch.
Embedded Systems and Software Technology in the Automotive Domain.
Handbook of Real-Time and Embedded Systems
Manfred Broy
2007 J jnl
Engineering Automotive Software.
Proc. IEEE
Manfred Broy, Ingolf H. Krüger, Alexander Pretschner, Christian Salzmann
2007 — conf
From "Formal Methods" to System Modeling.
Formal Methods and Hybrid Real-Time Systems
Manfred Broy
2007 — conf
Interaction and Realizability.
SOFSEM (1)
Manfred Broy
2007 J jnl
Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones.
Innov. Syst. Softw. Eng.
Manfred Broy
2007 — ch.
Modular Hierarchies of Models for Embedded Systems.
Handbook of Real-Time and Embedded Systems
Manfred Broy
2007 J jnl
Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung.
Inform. Spektrum
Manfred Broy, Bernhard Rumpe
2007 — conf
Service-Oriented Modeling of CoCoME with Focus and AutoFocus.
CoCoME
Manfred Broy, Jorge Fox, Florian Hölzl, Dagmar Koss, Marco Kuhrmann, Michael Meisinger, Birgit Penzenstadler, Sabine Rittmann, Bernhard Schätz, Maria Spichkova, Doris Wild
2007 — conf
Software Engineering for Automotive Systems: A Roadmap.
FOSE
Alexander Pretschner, Manfred Broy, Ingolf H. Krüger, Thomas Stauner
2007 C conf
Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture.
SERA
Manfred Broy
2006 — conf
2
MoDELS (Workshops)
Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
2006 — ed.
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
Manfred Broy, Ingolf H. Krüger, Michael Meisinger
2006 A* conf
Challenges in automotive software engineering.
ICSE
Manfred Broy
2006 — conf
Demystifying maintainability.
WoSQ@ICSE
Manfred Broy, Florian Deissenboeck, Markus Pizka
2006 — conf
From Chaos to Undefinedness.
Essays Dedicated to Joseph A. Goguen
Manfred Broy
2006 — ch.
Innovation in Engineering Software Intensive Systems.
Managing Development and Application of Digital Technologies
Manfred Broy
2006 J jnl
Manifest
Inform. Spektrum
Manfred Broy, Matthias Jarke, Manfred Nagl, H. Dieter Rombach
2006 — conf
Requirements Engineering as a Key to Holistic Software Quality.
ISCIS
Manfred Broy
2006 J jnl
SoSyM special section on service-based software engineering.
Softw. Syst. Model.
Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz
2006 C conf
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.
SEW
Manfred Broy
2006 J jnl
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.
Computer
Manfred Broy
2005 J jnl
A semantic and methodological essence of message sequence charts.
Sci. Comput. Program.
Manfred Broy
2005 C conf
Automotive software and systems engineering (Panel).
MEMOCODE
Manfred Broy
2005 — conf
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.
Perspectives Workshop
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, 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
2005 J jnl
Das neue V-Modell
Inform. Spektrum
Manfred Broy, Andreas Rausch
2005 J jnl
Guest Editorial: Special Section on Interaction and State-Based Modeling.
IEEE Trans. Software Eng.
Sebastián Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle
2005 — ed.
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]
Model-Based Testing of Reactive Systems
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
2005 J jnl
Modeling layered distributed communication systems.
Formal Aspects Comput.
Dominikus Herzberg, Manfred Broy
2005 — ed.
Perspectives Workshop, 05.10. - 08.10.2005
Perspectives Workshop
Manfred Broy, Manfred Nagl, Hans Dieter Rombach, Matthias Jarke
2005 J jnl
Software auf dem Weg zur Industrialisierung.
Inform. Spektrum
Arndt Bode, Manfred Broy, Dirk Taubner
2005 — conf
The Impact of Models in Software Development.
Mechanizing Mathematical Reasoning
Manfred Broy
2004 — conf
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation.
Architecting Systems with Trustworthy Components
Manfred Broy
2004 B conf
Architecture Driven Modeling in Software Development.
ICECCS
Manfred Broy
2004 — conf
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.
SoftSpez Final Report
Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy
2004 — conf
Distributed Concurrent Object-Oriented Software.
Essays in Memory of Ole-Johan Dahl
Manfred Broy
2004 J jnl
Editorial.
Formal Aspects Comput.
Manfred Broy, Gerald Lüttgen, Michael Mendler
2004 J jnl
Erfolgreiches Management von Software-Projekten.
Inform. Spektrum
Karl-Rudolf Moll, Manfred Broy, Markus Pizka, Tilman Seifert, Klaus Bergner, Andreas Rausch
2004 — book
Modellbildung in der Informatik.
Manfred Broy, Ralf Steinbrüggen
2004 — conf
Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract.
FESCA@ETAPS
Manfred Broy
2003 — conf
A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems.
Verification: Theory and Practice
Manfred Broy
2003 A* conf
Automotive Software Engineering.
ICSE
Manfred Broy
2003 J jnl
Editorial: Where Theory and Practice Meet.
Formal Aspects Comput.
Manfred Broy, Gerald Lüttgen, Michael Mendler
2003 J jnl
Edsger W. Dijkstra - Acta Informatica and Marktoberdorf.
Acta Informatica
Friedrich L. Bauer, Manfred Broy
2003 J jnl
Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter Systeme.
Inform. Spektrum
Manfred Broy, Wolfgang Pree
2003 C conf
Engineering Software Intensive Systems.
SNPD
Manfred Broy
2003 C conf
Modular Hierarchies of Models for Embedded Systems.
MEMOCODE
Manfred Broy
2003 — ed.
Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers
Ershov Memorial Conference
Manfred Broy, Alexandre V. Zamulin
2003 C conf
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures.
FORTE
Manfred Broy
2003 J jnl
Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern.
Inform. Spektrum
Manfred Broy
2002 J jnl
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT.
Int. J. Softw. Eng. Knowl. Eng.
Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy
2002 — conf
Message Sequence Charts in the Development Process - Role and Limitations.
VISS@ETAPS
Manfred Broy
2002 — conf
Multi-view Modeling of Software Systems.
10th Anniversary Colloquium of UNU/IIST
Manfred Broy
2002 J jnl
Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung.
Inform. Spektrum
Manfred Broy, Johannes Siedersleben
2002 J jnl
Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen).
Inform. Spektrum
Manfred Broy
2002 — ch.
Software Engineering From Auxiliary to Key Technology.
Software Pioneers
Manfred Broy
2002 J jnl
Software Engineering Wurzeln, Stand und Perspektiven.
Inform. Spektrum
Manfred Broy, H. Dieter Rombach
2002 — book
Software Pioneers.
Manfred Broy, Ernst Denert
2002 J jnl
Software engineering beyond our planning horizon: automation for computer-based systems.
Sci. Comput. Program.
Luqi, Manfred Broy
2001 Misc conf
From Requirements to Validated Embedded Systems.
EMSOFT
Manfred Broy, Oscar Slotosch
2001 J jnl
Germany: Combining Software and Application Competencies.
IEEE Softw.
Manfred Broy, Susanne Hartkopf, Kirstin Kohler, H. Dieter Rombach
2001 J jnl
Letter from the Editor.
Acta Informatica
Manfred Broy
2001 J jnl
Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999).
Inform. Forsch. Entwickl.
Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin
2001 — ed.
Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers
Ershov Memorial Conference
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin
2001 J jnl
Refinement of time.
Theor. Comput. Sci.
Manfred Broy
2001 A* conf
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
ICSE
H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas
2001 J jnl
Softwareentwicklung in Deutschland, Eine Bestandsaufnahme.
Inform. Spektrum
Michael Friedewald, H. Dieter Rombach, Petra Stahl, Manfred Broy, Susanne Hartkopf, Simone Kimpeler, Kirstin Kohler, Robert Wucher, Peter Zoche
2001 — book
Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement
Manfred Broy, Ketil Stølen
2001 A* conf
Specification and Modeling: An Academic Perspective.
ICSE
Manfred Broy
2001 J jnl
The algebra of stream processing functions.
Theor. Comput. Sci.
Manfred Broy, Gheorghe Stefanescu
2001 J jnl
Toward a Mathematical Foundation of Software Engineering Methods.
IEEE Trans. Software Eng.
Manfred Broy
2001 — ch.
Trace-Oriented Models of Concurrency.
Handbook of Process Algebra
Manfred Broy, Ernst-Rüdiger Olderog
2000 J jnl
. . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung.
Inform. Spektrum
Detlef Schmid, Manfred Broy
2000 J jnl
Algebraic specification of reactive systems.
Theor. Comput. Sci.
Manfred Broy
2000 — conf
Invited Talk: Algebraic State Machines.
AMAST
Manfred Broy, Martin Wirsing
2000 — ed.
Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings
Ershov Memorial Conference
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin
2000 — conf
Software Engineering as a Modelling Process.
JISBD
Manfred Broy
2000 — book
Software Engineering: Schlüssel zu Prozeßbeherrschung und Informationsmanagement.
Manfred Broy, Herbert Ehler, Barbara Paech, Bernhard Rumpe, Veronika Thurner
2000 — conf
The Essence of Message Sequence Charts.
ISMSE
Manfred Broy
1999 — conf
A Formal Model for Componentware.
FBT
Klaus Bergner, Andreas Rausch, Marc Sihling, Alexander Vilbig, Manfred Broy
1999 J jnl
Adapting Calculational Logic to the Undefined.
Comput. J.
Birgit Schieder, Manfred Broy
1999 — ch.
Algebraic Specification of Concurrent Systems.
Algebraic Foundations of Systems Specification
Egidio Astesiano, Manfred Broy, Gianna Reggio
1999 J jnl
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.
Inform. Forsch. Entwickl.
Manfred Broy, Franz Huber, Bernhard Schätz
1999 — conf
Focusing on Mobility.
HICSS
Klaus Bergner, Radu Grosu, Andreas Rausch, Alexander Schmidt, Peter Scholz, Manfred Broy
1999 — conf
From States to Histories.
WADT
Manfred Broy
1999 J jnl
Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt).
Inform. Spektrum
Manfred Broy, Joachim W. Schmidt
1999 J jnl
Requirements Engineering für eingebettete Systeme.
Informationstechnik Tech. Inform.
Manfred Broy, Thomas Stauner
1999 J jnl
Software technology - formal methods and scientific foundations.
Inf. Softw. Technol.
Manfred Broy
1999 — ed.
The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, Carmel, California, USA, October 23-26, 1998
Monterey Workshop
Luqi, Manfred Broy
1999 — ch.
What is Behind UML-RT?
Behavioral Specifications of Businesses and Systems
Radu Grosu, Manfred Broy, Bran Selic, Gheorghe Stefanescu
1998 J jnl
A Functional Rephrasing of the Assumption/Commitment Specification Style.
Formal Methods Syst. Des.
Manfred Broy
1998 B conf
A Logical Basis for Modular Software and Systems Engineering.
SOFSEM
Manfred Broy
1998 — conf
A Modular Visual Model for Hybrid Systems.
FTRTFT
Radu Grosu, Thomas Stauner, Manfred Broy
1998 J jnl
A uniform mathematical concept of a component (Appendix to M. Broy et al.: "What characterizes a (software) component?".
Softw. Concepts Tools
Manfred Broy
1998 — conf
Enriching the Software Development Process by Formal Methods.
FM-Trends
Manfred Broy, Oscar Slotosch
1998 — conf
From MSCs to Statecharts.
DIPES
Ingolf Krüger, Radu Grosu, Peter Scholz, Manfred Broy
1998 C conf
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts.
ICFEM
Manfred Broy, Ingolf Krüger
1998 — conf
Preface - Software Engineering to our Planning Horizon.
Monterey Workshop
Luqi, Manfred Broy
1998 — ed.
Requirements Targeting Software and Systems Engineering, International Workshop RTSE '97, Bernried, Germany, October 12-14, 1997, Proceedings
Requirements Targeting Software and Systems Engineering
Manfred Broy, Bernhard Rumpe
1998 — conf
Visual Formalisms Revisited.
ACSD
Radu Grosu, Gheorghe Stefanescu, Manfred Broy
1998 J jnl
What characterizes a (software) component?
Softw. Concepts Tools
Manfred Broy, Anton Deimel, Juergen Henn, Kai Koskimies, Frantisek Plásil, Gustav Pomberger, Wolfgang Pree, Michael Stal, Clemens A. Szyperski
1997 — conf
Compositional Refinement of Interactive Systems Modelled by Relations.
COMPOS
Manfred Broy
1997 J jnl
Compositional refinement of interactive systems.
J. ACM
Manfred Broy
1997 J jnl
Editorial: Formale Methoden in der Praxis.
Informationstechnik Tech. Inform.
Manfred Broy
1997 J jnl
Ein neuer Ansatz für den Informatikunterricht am Gymnasium.
LOG IN
Peter Hubwieser, Manfred Broy
1997 — conf
Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht.
INFOS
Peter Hubwieser, Manfred Broy
1997 — conf
Innovation durch Kooperation im Software-Engineering.
GI Jahrestagung
Manfred Broy, Herbert Ehler, Barbara Paech, Veronika Thurner
1997 — conf
Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That.
Foundations of Computer Science: Potential - Theory - Cognition
Manfred Broy
1997 J jnl
KORSO - Korrekte Software durch formale Methoden.
Inform. Forsch. Entwickl.
Manfred Broy, Stefan Jähnichen
1997 — conf
Reconciling Real-Time with Asynchronous Message Passing.
FME
Manfred Broy, Radu Grosu, Cornel Klein
1997 — conf
Refinement of Time.
ARTS
Manfred Broy
1997 — conf
Software and System Modeling Based on a Unified Formal Semantics.
Requirements Targeting Software and Systems Engineering
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
1997 J jnl
Towards a Mathematical Concept of a Component and its Use.
Softw. Concepts Tools
Manfred Broy
1997 C conf
Using Extended Event Traces to Describe Communication in Software Architectures.
APSEC
Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt
1997 — book
Übungen zur Einführung in die Informatik - strukturierte Aufgabensammlung mit Musterlösungen.
Manfred Broy, Bernhard Rumpe
1996 — conf
Algebraic Specification of Reactive Systems.
AMAST
Manfred Broy
1996 J jnl
Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant.
Formal Methods Syst. Des.
Manfred Broy
1996 C conf
Formal Description Techniques - How Formal and Descriptive are they?
FORTE
Manfred Broy
1996 — ed.
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)
Formal Systems Specification
Manfred Broy, Stephan Merz, Katharina Spies
1996 — conf
Graphical Development of Consistent System Specifications.
FME
Bernhard Schätz, Heinrich Hußmann, Manfred Broy
1996 — ed.
Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings
Ershov Memorial Conference
Dines Bjørner, Manfred Broy, Igor V. Pottosin
1996 — ed.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany
NATO ASI DPD
Manfred Broy
1996 — conf
Specification and refinement of a buffer of length one.
NATO ASI DPD
Manfred Broy
1995 — ch.
Correct Software: From Experiments to Applications.
KORSO Book
Manfred Broy, Martin Wirsing
1995 — book
KORSO - Methods, Languages, and Tools for the Construction of Correct Software
KORSO Book
Manfred Broy, Stefan Jähnichen
1995 — ch.
Mathematical System Models as a Basis of Software Engineering.
Computer Science Today
Manfred Broy
1995 B conf
Mathematics of Software Engineering.
MPC
Manfred Broy
1995 J jnl
Structured Specifications and Implementation of Nondeterministic Data Types.
Nord. J. Comput.
Michal Walicki, Manfred Broy
1994 — conf
A Functional Solution to the RPC-Memory Specification Problem.
Formal Systems Specification
Manfred Broy
1994 J jnl
Adding Fair Choice to Dijkstra's Calculus.
ACM Trans. Program. Lang. Syst.
Manfred Broy, Greg Nelson
1994 — conf
Advanced Component Interface Specification.
Theory and Practice of Parallel Programming
Manfred Broy
1994 — conf
Equations for Describing Dynamic Nets of Communicating Systems.
COMPASS/ADT
Manfred Broy
1994 — conf
Interpreter Verification for a Functional Language.
FSTTCS
Manfred Broy, Ursula Hinkel, Tobias Nipkow, Christian Prehofer, Birgit Schieder
1994 J jnl
Professor Friedrich L. Bauer zum 70. Geburtstag.
Inform. Spektrum
Manfred Broy
1994 — conf
Specification and Refinement of Finite Dataflow Networks - a Relational Approach.
FTRTFT
Manfred Broy, Ketil Stølen
1994 — conf
The RPC-Memory Case Study: A Synopsis.
Formal Systems Specification
Manfred Broy, Stephan Merz, Katharina Spies
1994 — conf
The RPC-Memory Specification Problem - Problem Statement.
Formal Systems Specification
Manfred Broy, Leslie Lamport
1993 — ed.
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
Dines Bjørner, Manfred Broy, Igor V. Pottosin
1993 J jnl
Functional Specification of Time-Sensitive Communicating Systems.
ACM Trans. Softw. Eng. Methodol.
Manfred Broy
1993 — conf
Korrekte Software: Vom Experiment zur Anwendung.
GI Jahrestagung
Manfred Broy, Martin Wirsing
1993 — ed.
Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992.
NATO ASI PDC
Manfred Broy
1993 — conf
Semantics of PA
PROSPECTRA Book
Michael Breu, Manfred Broy, Thomas Grünler, Friederike Nickl
1992 — conf
(Inter-)Action Refinement: The Easy Way.
NATO ASI PDC
Manfred Broy
1992 J jnl
Algebraic and Functional Specification of an Interactive Serializable Database Interface.
Distributed Comput.
Manfred Broy
1992 J jnl
Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme - Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz.
Inform. Spektrum
Freimut Bodendorf, Manfred Broy, Herbert Burkert, Albert Endres, Herbert Fiedler, V. Ilzhöfer, H. Kappus, Christoph Lingenfelder, C. Müller, Franz Stetter
1992 J jnl
Modelling Operating System Structures by Timed Stream Processing Functions.
J. Funct. Program.
Manfred Broy, Claus Dendorfer
1992 — ch.
Modular functional modelling of Petri nets with individual tokens.
Advances in Petri Nets: The DEMON Project
Manfred Broy, Thomas Streicher
1992 J jnl
Operational and denotational semantics with explicit concurrency.
Fundam. Informaticae
Manfred Broy
1992 — conf
Reliable Systems Enginerring (Position Statement).
IFIP Congress (1)
Manfred Broy
1991 J jnl
Characterizing the behavior of reactive systems by trace sets
Forschungsberichte, TU Munich
Manfred Broy
1991 — conf
Declarative specification and declarative programming.
IWSSD
Manfred Broy
1991 — conf
Deductive Program Development: Evaluation in Reverse Polish Notation as an Example.
Methods of Programming
Manfred Broy
1991 — ed.
Method of Programming, Selected Papers on the CIP-Project
Method of Programming
Manfred Broy, Martin Wirsing
1991 J jnl
On Denotational versus Predicative Semantics.
J. Comput. Syst. Sci.
Manfred Broy, Christian Lengauer
1991 J jnl
Parallelism algebras: a link between process algebras and abstract relation algebras?
Forschungsberichte, TU Munich
Thomas F. Gritzner, Manfred Broy
1991 J jnl
Specification and design of shared resource arbitration.
Int. J. Parallel Program.
Manfred Broy, Thomas Streicher
1991 J jnl
Towards a Formal Foundation of the Specification and Description Language SDL.
Formal Aspects Comput.
Manfred Broy
1991 J jnl
Weakening the weak conditions for self-timed circuits
Forschungsberichte, TU Munich
Manfred Broy, Carlos Delgado Kloos
1990 J jnl
Functional modelling of operating sytem [system] structures by timed higher order stream processing functions
Forschungsberichte, TU Munich
Manfred Broy, Claus Dendorfer
1990 C conf
Methodological Objectives for Formal Description Techniques.
FORTE
Manfred Broy
1990 J jnl
Modular functional modelling of Petri nets with individual tokems
Forschungsberichte, TU Munich
Manfred Broy, Thomas Streicher
1990 J jnl
On the design and verification of a simple distributed spanning tree algorithm
Forschungsberichte, TU Munich
Manfred Broy
1990 — ed.
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
Manfred Broy, Cliff B. Jones
1989 — conf
A Modular Framework for Specification and Implementation.
TAPSOFT, Vol.1
Martin Wirsing, Manfred Broy
1989 — conf
Formalization of Distributed, Concurrent, Reactive Systems.
Formal Description of Programming Concepts
Manfred Broy
1989 — conf
Functional Specification of Communicating Systems.
IFIP Congress
Manfred Broy
1989 — conf
Functional Specification of Time Sensitive Communicating Systems.
REX Workshop
Manfred Broy
1989 — conf
Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering.
IFIP Congress
Manfred Broy
1988 J jnl
Broadcasting Buffering Communication.
Comput. Lang.
Manfred Broy
1988 J jnl
Equational Specification of Partial Higher-Order Algebras.
Theor. Comput. Sci.
Manfred Broy
1988 J jnl
Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly.
Sci. Comput. Program.
Manfred Broy
1988 — conf
Requirement and Design Specification for Distributed Systems.
Concurrency
Manfred Broy
1988 — conf
Spezifikation und Entwurf komplexer, kausal vernetzter Systeme.
GI Jahrestagung (1)
Manfred Broy
1988 J jnl
Ultra-loose algebraic specifications.
Bull. EATCS
Manfred Broy, Martin Wirsing
1988 J jnl
Views of queues.
Sci. Comput. Program.
Manfred Broy
1987 J jnl
On the Algebraic Definition of Programming Languages.
ACM Trans. Program. Lang. Syst.
Manfred Broy, Martin Wirsing, Peter Pepper
1987 J jnl
Predicative Specifications for Functional Programs Describing Communication Networks.
Inf. Process. Lett.
Manfred Broy
1987 J jnl
Semantics of Finite and Infinite Networks of Concurrent Communicating Agents.
Distributed Comput.
Manfred Broy
1987 J jnl
Specification and Top-Down Design of Distributed Systems.
J. Comput. Syst. Sci.
Manfred Broy
1986 J jnl
A Theory for Nondeterminism, Parallelism, Communication, and Concurrency.
Theor. Comput. Sci.
Manfred Broy
1986 J jnl
Algebraic Implementations Preserve Program Correctness.
Sci. Comput. Program.
Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing
1986 J jnl
Denotational Semantics of Communicating Sequential Programs.
Inf. Process. Lett.
Manfred Broy
1986 B conf
Partial Interpretations of Higher Order Algebraic Types (Extended Abstract).
MFCS
Manfred Broy
1986 — conf
Towards Advanced Programming Environments Based on Algebraic Concepts.
Advanced Programming Environments
Manfred Broy, Alfons Geser, Heinrich Hußmann
1986 — conf
Views of Distributed Systems.
Mathematical Models for the Semantics of Parallelism
Manfred Broy, Thomas Streicher
1985 J jnl
Algebraic specification of the abstract data type "Continuum".
Bull. EATCS
Manfred Broy, Andrzej Tarlecki
1985 J jnl
On the Herbrand-Kleene Universe for Nondeterministic Computations.
Theor. Comput. Sci.
Manfred Broy
1985 — conf
Rechnergestützte Systeme für den Programmentwurf.
Wissensbasierte Systeme
Manfred Broy
1985 — conf
Specification and Top Down Design of Distributed Systems.
TAPSOFT, Vol.1
Manfred Broy
1985 — book
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
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
1984 J jnl
A Systematic Approach to Language Constructs for Concurrent Programs.
Sci. Comput. Program.
Manfred Broy, Friedrich L. Bauer
1984 J jnl
A Systematic Study of Models of Abstract Data Types.
Theor. Comput. Sci.
Manfred Broy, Martin Wirsing, Claude Pair
1984 A conf
Denotational Semantics of Concurrent Programs with Shared Memory.
STACS
Manfred Broy
1984 B conf
On the Herbrand Kleene Universe for Nondeterministic Computations.
MFCS
Manfred Broy
1984 J jnl
Semantics of Communicating Processes
Inf. Control.
Manfred Broy
1983 J jnl
Algebraic Definition of a Functional Programming Language and Its Semantic Models.
RAIRO Theor. Informatics Appl.
Manfred Broy, Martin Wirsing
1983 — conf
Applicative Real-Time Programming.
IFIP Congress
Manfred Broy
1983 J jnl
Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming.
Inf. Process. Lett.
Manfred Broy
1983 — conf
Funktionales Programmieren - Programmieren mit Funktionalen.
GI Jahrestagung
Manfred Broy
1983 — conf
Generalized Heterogeneous Algebras and Partial Interpretations.
CAAP
Manfred Broy, Martin Wirsing
1983 — conf
Generalized Heterogeneous Algebras.
ADT
Manfred Broy, Martin Wirsing
1982 J jnl
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Inform. Spektrum
Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing
1982 J jnl
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm.
ACM Trans. Program. Lang. Syst.
Manfred Broy, Peter Pepper
1982 — conf
Fixed PointTheory for Communication and Concurrency.
Formal Description of Programming Concepts
Manfred Broy
1982 — conf
On the Algebraic Specification of Finitary Infinite.
Formal Description of Programming Concepts
Manfred Broy, Martin Wirsing
1982 J jnl
Partial Abstract Types.
Acta Informatica
Manfred Broy, Martin Wirsing
1982 — ed.
Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany
ADT
Manfred Broy, Martin Wirsing
1981 A conf
Are Fairness Assumptions Fair?
ICDCS
Manfred Broy
1981 — conf
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).
GI Jahrestagung
Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing
1981 J jnl
Nichtdeterminismus - Das aktuelle Schlagwort.
Inform. Spektrum
Manfred Broy, Rupert Gnatz, Martin Wirsing
1981 — conf
On language constructs for concurrent programs.
CONPAR
Manfred Broy
1981 — conf
On the Algebraic Extensions of Abstract Data Types.
ICFPC
Manfred Broy, Martin Wirsing
1981 — conf
On the Algebraic Specification of Nondeterministic Programming Languages.
CAAP
Manfred Broy, Martin Wirsing
1981 B conf
On the Power of Algebraic Specifications.
MFCS
Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing
1981 J jnl
Program Development as a Formal Activity.
IEEE Trans. Software Eng.
Manfred Broy, Peter Pepper
1981 J jnl
Programming in a Wide Spectrum Language: A Collection of Examples.
Sci. Comput. Program.
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
1981 — conf
Prospects of New Tools for Software Development.
ECI
Manfred Broy
1980 B conf
Abstract Data Types as Lattices of Finitely Generated Models.
MFCS
Martin Wirsing, Manfred Broy
1980 J jnl
Derivation of Invariant Assertions During Program Development by Transformation.
ACM Trans. Program. Lang. Syst.
Manfred Broy, Bernd Krieg-Brückner
1980 — conf
On Relations Between Programs.
Symposium on Programming
Manfred Broy, Peter Pepper, Martin Wirsing
1980 J jnl
Program Development: From Enumeration to Backtracking.
Inf. Process. Lett.
Manfred Broy, Martin Wirsing
1980 — conf
Programming languages as abstract data types.
CLAAP
Manfred Broy, Martin Wirsing
1980 J jnl
Programmtransformationen - Das aktuelle Schlagwort.
Inform. Spektrum
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper
1980 — conf
Semantic Relations in Programming Languages.
IFIP Congress
Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing
1980 — —
Transformation parallel ablaufender Programme (Transformation of parallel running programs)
Manfred Broy
1980 J jnl
Transformational Semantics for Concurrent Programs.
Inf. Process. Lett.
Manfred Broy
1980 — conf
Zur Spezifikation von Programmen für die Textverarbeitung.
Textverarbeitung und Informatik
Manfred Broy
1979 A* conf
Existential Quantifiers in Abstract Data Types.
ICALP
Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing
1979 J jnl
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.
Inf. Process. Lett.
Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy
1979 — ed.
Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, Germany
Program Construction
Friedrich L. Bauer, Manfred Broy
1978 — conf
Examples for Change of Types and Object Structures.
Program Construction
Helmuth Partsch, Manfred Broy
1978 — conf
Semantics of Nondeterministic and Noncontinuous Constructs.
Program Construction
Manfred Broy, Rupert Gnatz, Martin Wirsing
1978 — conf
Systematics of Transformation Rules.
Program Construction
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, Peter Pepper, Hans Wössner
1978 — conf
Towards a Wide Spectrum Language to Support Program Specification and Program Development.
Program Construction
Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
1978 — conf
Towards a wide spectrum language to support program specification and program development.
Fachtagung über Programmiersprachen
Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner
1978 J jnl
Towards a wide spectrum language to support program specification and program development.
ACM SIGPLAN Notices
Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner