| 2022 | ISoLA | Software System Documentation: Coherent Description of Software System Properties. | Manfred Broy |
| 2018 | ISoLA | Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). | Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen |
| 2018 | SOFSEM | On Architecture Specification. | Manfred Broy |
| 2017 | ICSA | On Service-Orientation for Automotive Software. | Stefan Kugele, Philipp Obergfell, Manfred Broy, Oliver Creighton, Matthias Traub, Wolfgang Hopfensitz |
| 2016 | ISoLA | Towards a Unified View of Modeling and Programming. | Manfred Broy, Klaus Havelund, Rahul Kumar |
| 2016 | ISoLA | Towards a Unified View of Modeling and Programming (Track Summary). | Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen |
| 2016 | MODELSWARD | Model-centric Assumption Promise Specification. | Manfred Broy |
| 2015 | ICSE | Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re. | Maximilian Junker, Manfred Broy, Benedikt Hauptmann, Wolfgang Bhm, Henning Femmer, Sebastian Eder, Elmar Jrgens, Rainer Janen, Rudolf Vaas |
| 2014 | GI | Cyber-Physical Systems - Konsequenzen fr eine Informatik mit Nhe zur physikalischen Wirklichkeit. | Manfred Broy |
| 2011 | EMSOFT | Cross-layer analysis, testing and verification of automotive control software. | Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree |
| 2011 | GI | Informatik als wissenschaftliche Methode: Zur Rolle der Informatik in Forschung und Anwendung. | Manfred Broy |
| 2011 | SPLC | Towards formal modeling of functional features and feature interactions in software intensive systems. | Manfred Broy |
| 2011 | SPLC | The Role of Requirements and Specification in Product Line Engineering. | Manfred Broy |
| 2010 | MODELS | A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering. | Daniel Mndez Fernndez, Birgit Penzenstadler, Marco Kuhrmann, Manfred Broy |
| 2009 | DocEng | From system requirements documents to integrated system modeling artifacts. | Manfred Broy |
| 2009 | ICFEM | Seamless Model Driven Systems Engineering Based on Formal Models. | Manfred Broy |
| 2009 | ICGSE | Orchestration of Global Software Engineering Projects - Position Paper. | Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider |
| 2009 | SAC | Formalizing the notion of adaptive system behavior. | Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter |
| 2008 | GI | 6.Workshop Automotive Software Engineering. | Manfred Broy, Reinhard Stolle, Alexandre Saad |
| 2008 | ISoLA | Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). | Manfred Broy |
| 2007 | ICSE | Software Engineering for Automotive Systems: A Roadmap. | Alexander Pretschner, Manfred Broy, Ingolf H. Krger, Thomas Stauner |
| 2007 | SERA | Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture. | Manfred Broy |
| 2007 | SOFSEM | Interaction and Realizability. | Manfred Broy |
| 2006 | ICSE | Challenges in automotive software engineering. | Manfred Broy |
| 2006 | ICSE | Demystifying maintainability. | Manfred Broy, Florian Deissenboeck, Markus Pizka |
| 2006 | MODELS | 2 | Manfred Broy, Michelle L. Crane, Jrgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic |
| 2006 | SEW | The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems. | Manfred Broy |
| 2005 | MEMOCODE | Automotive software and systems engineering (Panel). | Manfred Broy |
| 2004 | ICECCS | Architecture Driven Modeling in Software Development. | Manfred Broy |
| 2003 | FORTE | Service-Oriented Systems Engineering: Modeling Services and Layered Architectures. | Manfred Broy |
| 2003 | ICSE | Automotive Software Engineering. | Manfred Broy |
| 2003 | MEMOCODE | Modular Hierarchies of Models for Embedded Systems. | Manfred Broy |
| 2003 | SNPD | Engineering Software Intensive Systems. | Manfred Broy |
| 2001 | EMSOFT | From Requirements to Validated Embedded Systems. | Manfred Broy, Oscar Slotosch |
| 2001 | ICSE | Specification and Modeling: An Academic Perspective. | Manfred Broy |
| 2001 | ICSE | Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? | H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas |
| 1998 | FM | Enriching the Software Development Process by Formal Methods. | Manfred Broy, Oscar Slotosch |
| 1998 | ICFEM | Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. | Manfred Broy, Ingolf Krger |
| 1998 | SOFSEM | A Logical Basis for Modular Software and Systems Engineering. | Manfred Broy |
| 1997 | APSEC | Using Extended Event Traces to Describe Communication in Software Architectures. | Manfred Broy, Christoph Hofmann, Ingolf Krger, Monika Schmidt |
| 1997 | FM | Reconciling Real-Time with Asynchronous Message Passing. | Manfred Broy, Radu Grosu, Cornel Klein |
| 1997 | GI | Innovation durch Kooperation im Software-Engineering. | Manfred Broy, Herbert Ehler, Barbara Paech, Veronika Thurner |
| 1996 | FM | Graphical Development of Consistent System Specifications. | Bernhard Schtz, Heinrich Humann, Manfred Broy |
| 1996 | FORTE | Formal Description Techniques - How Formal and Descriptive are they? | Manfred Broy |
| 1995 | MPC | Mathematics of Software Engineering. | Manfred Broy |
| 1994 | COMPASS | Equations for Describing Dynamic Nets of Communicating Systems. | Manfred Broy |
| 1993 | GI | Korrekte Software: Vom Experiment zur Anwendung. | Manfred Broy, Martin Wirsing |
| 1990 | FORTE | Methodological Objectives for Formal Description Techniques. | Manfred Broy |
| 1988 | CONCUR | Requirement and Design Specification for Distributed Systems. | Manfred Broy |
| 1988 | GI | Spezifikation und Entwurf komplexer, kausal vernetzter Systeme. | Manfred Broy |
| 1986 | MFCS | Partial Interpretations of Higher Order Algebraic Types (Extended Abstract). | Manfred Broy |
| 1985 | WI | Rechnergesttzte Systeme fr den Programmentwurf. | Manfred Broy |
| 1984 | MFCS | On the Herbrand Kleene Universe for Nondeterministic Computations. | Manfred Broy |
| 1984 | STACS | Denotational Semantics of Concurrent Programs with Shared Memory. | Manfred Broy |
| 1983 | GI | Funktionales Programmieren - Programmieren mit Funktionalen. | Manfred Broy |
| 1981 | GI | GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). | Manfred Broy, Walter Dosch, Bernhard Mller, Martin Wirsing |
| 1981 | ICDCS | Are Fairness Assumptions Fair? | Manfred Broy |
| 1981 | MFCS | On the Power of Algebraic Specifications. | Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing |
| 1980 | MFCS | Abstract Data Types as Lattices of Finitely Generated Models. | Martin Wirsing, Manfred Broy |
| 1979 | ICALP | Existential Quantifiers in Abstract Data Types. | Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing |