Manfred Broy

ORCID

Publication Activity (10 Years)

Years Active: 1978-2024
Publications (10 Years): 36

Top Venues

Publications

Manfred Broy, Bran Selic
Specifying and Composing Layered Architectures. J. Object Technol. 23 (1) (2024)
Manfred Broy
Time, causality, and realizability: Engineering interactive, distributed software systems. J. Syst. Softw. 210 (2024)
Manfred Broy, Bernhard Rumpe
Development Use Cases for Semantics-Driven Modeling Languages. Commun. ACM 66 (5) (2023)
Manfred Broy, Albrecht Schmidt, Martin Wirsing
In memory of Heinrich Hussmann, long-time friend and SoSyM editor. Softw. Syst. Model. 22 (2) (2023)
Manfred Broy
Specification and verification of concurrent systems by causality and realizability. Theor. Comput. Sci. 974 (2023)
Stefan Kugele, Manfred Broy
Architecture as a Backbone for Safe DevOps in Automotive Systems. ITSC (2022)
Manfred Broy
Software System Documentation: Coherent Description of Software System Properties. ISoLA (2) (2022)
Manfred Broy
Refining the Safety-Liveness Classification of Temporal Properties According to Realizability. Formal Methods in Outer Space (2021)
Jennifer Hehn, Daniel Méndez, Falk Uebernickel, Walter Brenner, Manfred Broy
On Integrating Design Thinking for Human-Centered Requirements Engineering. IEEE Softw. 37 (2) (2020)
Manfred Broy, Heinrich Daembkes, Janos Sztipanovits
Editorial to the theme section on model-based design of cyber-physical systems. Softw. Syst. Model. 18 (3) (2019)
Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer
Artefacts in software engineering: a fundamental positioning. Softw. Syst. Model. 18 (5) (2019)
Manfred Broy
Seamless Model-Based System Development: Foundations - (Extended Abstract). SETSS (2019)
Jennifer Hehn, Daniel Méndez Fernández, Falk Uebernickel, Walter Brenner, Manfred Broy
On Integrating Design Thinking for a Human-centered Requirements Engineering. CoRR (2019)
Manfred Broy
Theory and methodology of assumption/commitment based system interface specification and architectural contracts. Formal Methods Syst. Des. 52 (1) (2018)
Manfred Broy
A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability - from requirements to functional and architectural views. Softw. Syst. Model. 17 (2) (2018)
Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction). ISoLA (1) (2018)
Manfred Broy, Bernhard Rumpe
In memory of Bernhard Schätz, long- time friend and SoSyM editor. Softw. Syst. Model. 17 (1) (2018)
Daniel Méndez Fernández, Wolfgang Böhm, Andreas Vogelsang, Jakob Mund, Manfred Broy, Marco Kuhrmann, Thorsten Weyer
Artefacts in Software Engineering: What are they after all? CoRR (2018)
Manfred Broy
On Architecture Specification. SOFSEM (2018)
Manfred Broy
Yesterday, Today, and Tomorrow: 50 Years of Software Engineering. IEEE Softw. 35 (5) (2018)
Stefan Kugele, Philipp Obergfell, Manfred Broy, Oliver Creighton, Matthias Traub, Wolfgang Hopfensitz
On Service-Orientation for Automotive Software. ICSA (2017)
Marco Kuhrmann, Thomas Ternité, Jan Friedrich, Andreas Rausch, Manfred Broy
Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models. Software Engineering (2017)
Walter Brenner, Manfred Broy, Jan Marco Leimeister
Auf dem Weg zu einer Informatik neuer Prägung in Wissenschaft, Studium und Wirtschaft. Inform. Spektrum 40 (6) (2017)
Manfred Broy
Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft. Inform. Spektrum 40 (2) (2017)
Arndt Bode, Manfred Broy, Hans-Joachim Bungartz, Florian Matthes
50 Jahre Informatik an den Universitäten in München. Inform. Spektrum 40 (2) (2017)
Manfred Broy, Christian Prehofer, Hermann Engesser
Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung und Forschung. Inform. Spektrum 39 (6) (2016)
Manfred Broy, Klaus Havelund, Rahul Kumar
Towards a Unified View of Modeling and Programming. ISoLA (2) (2016)
Marco Kuhrmann, Thomas Ternité, Jan Friedrich, Andreas Rausch, Manfred Broy
Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models. J. Syst. Softw. 121 (2016)
Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen
Towards a Unified View of Modeling and Programming (Track Summary). ISoLA (2) (2016)
Manfred Broy
Model-centric Assumption Promise Specification. MODELSWARD (2016)
Manfred Broy
From Actions, Transactions, and Processes to Services. Petri Nets (2016)
Manfred Broy
A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer. Acta Informatica 52 (4-5) (2015)
Manfred Broy
Computability and realizability for interactive computations. Inf. Comput. 241 (2015)
Maximilian Junker, Manfred Broy, Benedikt Hauptmann, Wolfgang Böhm, Henning Femmer, Sebastian Eder, Elmar Jürgens, Rainer Janßen, Rudolf Vaas
Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re. SER&IP@ICSE (2015)
Manfred Broy
Rethinking Nonfunctional Software Requirements. Computer 48 (5) (2015)
Manfred Broy
Pragmatic Formal Specification of System Properties by Tables. Software, Services, and Systems (2015)
Manfred Broy
Verifying of interface assertions for infinite state Mealy machines. J. Comput. Syst. Sci. 80 (7) (2014)
Manfred Broy
Cyber-Physical Systems - Konsequenzen für eine Informatik mit Nähe zur physikalischen Wirklichkeit. GI-Jahrestagung (2014)
Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
UML 2 Semantics Symposium: Formal Semantics for UML. CoRR (2014)
Cornel Klein, Bernhard Rumpe, Manfred Broy
A stream-based mathematical model for distributed information processing systems - SysLab system model. CoRR (2014)
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
Software and System Modeling Based on a Unified Formal Semantics. CoRR (2014)
Manfred Broy
A Model of Dynamic Systems. FPS@ETAPS (2014)
Manfred Broy, Albrecht Schmidt
Challenges in Engineering Cyber-Physical Systems. Computer 47 (2) (2014)
Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy, Birgit Vogel-Heuser
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance. Autom. 62 (11) (2014)
Manfred Broy, María Victoria Cengarle, Hans Grönniger, Bernhard Rumpe
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0). CoRR (2014)
Peter Braun, Manfred Broy, Frank Houdek, Matthias Kirchmayr, Mark Müller, Birgit Penzenstadler, Klaus Pohl, Thorsten Weyer
Guiding requirements engineering for software-intensive embedded systems in the automotive industry. Comput. Sci. Res. Dev. 29 (1) (2014)
Christian Bartelt, Manfred Broy, Christoph Herrmann, Eric Knauss, Marco Kuhrmann, Andreas Rausch, Bernhard Rumpe, Kurt Schneider
Orchestration of Global Software Engineering Projects. CoRR (2014)
Manfred Broy, María Victoria Cengarle, Bernhard Rumpe
Towards a System Model for UML. The Structural Data Model. CoRR (2014)
Manfred Broy
Cyber Physical Systems (Part 2). it Inf. Technol. 55 (1) (2013)
Manfred Broy
Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering. Perspectives on the Future of Software Engineering (2013)
Manfred Broy
Software Quality: From Requirements to Architecture. SWQD (2013)
Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee
Error-Completion in Interface Theories. SPIN (2013)
Manfred Broy
Challenges in modeling cyber-physical systems. IPSN (2013)
Birgit Vogel-Heuser, Christian Diedrich, Manfred Broy
Anforderungen an CPS aus Sicht der Automatisierungstechnik. Autom. 61 (10) (2013)
Manfred Broy, María Victoria Cengarle, Eva Geisberger
Cyber-Physical Systems: Imminent Challenges. Monterey Workshop (2012)
Manfred Broy
System Behaviour Models with Discrete and Dense Time. Advances in Real-Time Systems (2012)
Manfred Broy
Engineering Cyber-Physical Systems: Challenges and Foundations. CSDM (2012)
Manfred Broy, Albert Endres
Mehr Lebensqualität dank Informatik. Inform. Spektrum 35 (1) (2012)
Manfred Broy
Cyber Physical Systems (Part 1). it Inf. Technol. 54 (6) (2012)
Manfred Broy, María Victoria Cengarle
UML formal semantics: lessons learned. Softw. Syst. Model. 10 (4) (2011)
Manfred Broy
Towards formal modeling of functional features and feature interactions in software intensive systems. SPLC Workshops (2011)
Manfred Broy
The Role of Requirements and Specification in Product Line Engineering. SPLC (2011)
Manfred Broy
Can Practitioners Neglect Theory and Theoreticians Neglect Practice? Computer 44 (10) (2011)
Manfred Broy
Informatik als wissenschaftliche Methode: Zur Rolle der Informatik in Forschung und Anwendung. GI-Jahrestagung (2011)
Manfred Broy, Günter Reichart, Lutz Rothhardt
Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung. Inform. Spektrum 34 (1) (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)
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)
Kim Lauenroth, Klaus Pohl, Wolfgang Böhm, Manfred Broy
Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020). Software Engineering (2011)
Manfred Broy, Klaus Hardy Mühleck, Dirk Taubner
Informatik in der Automobilindustrie. Inform. Spektrum 34 (1) (2011)
Manfred Broy, Ralf H. Reussner
Architectural Concepts in Programming Languages. Computer 43 (10) (2010)
K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger
Scanning the Issue. Proc. IEEE 98 (4) (2010)
Manfred Broy
A Logical Basis for Component-Oriented Software and Systems Engineering. Comput. J. 53 (10) (2010)
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)
Stefan Wagner, Manfred Broy, Florian Deißenböck, Michael Kläs, Peter Liggesmeyer, Jürgen Münch, Jonathan Streit
Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda. Inform. Spektrum 33 (1) (2010)
Manfred Broy
Seamless Method- and Model-based Software and Systems Engineering. The Future of Software Engineering (2010)
Manfred Broy, Martin Feilkas, Markus Herrmannsdoerfer, Stefano Merenda, Daniel Ratiu
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments. Proc. IEEE 98 (4) (2010)
Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer
Software-Qualitätsmodellierung und -bewertung (SQMB). Software Engineering (2010)
Manfred Broy, David Cruz, Martin R. Deubler, Kim Lauenroth, Klaus Pohl, Ernst Sikora
Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020). Software Engineering (2010)
K. Venkatesh Prasad, Manfred Broy, Ingolf Krüger
Scanning Advances in Aerospace & Automobile Software Technology. Proc. IEEE 98 (4) (2010)
Manfred Broy
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence. Concurrency, Compositionality, and Correctness (2010)
Manfred Broy
Multifunctional software systems: Structured modeling and specification of functional requirements. Sci. Comput. Program. 75 (12) (2010)
Manfred Broy, Mario Gleirscher, Stefano Merenda, Doris Wild, Peter Kluge, Wolfgang Krenzer
Toward a Holistic and Standardized Automotive Architecture Description. Computer 42 (11) (2009)
Brian Berenbach, Manfred Broy
Professional and Ethical Dilemmas in Software Engineering. Computer 42 (1) (2009)
Manfred Broy, Christian Leuxner, Wassiou Sitou, Bernd Spanfelner, Sebastian Winter
Formalizing the notion of adaptive system behavior. SAC (2009)
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)
Manfred Broy, Gheorghe Stefanescu
Guest Editors' Foreword: Selected papers on "Streams and Algebra". J. Log. Algebraic Methods Program. 78 (2) (2009)
Manfred Broy, Albert Endres
Informatik überall, jederzeit und für alle. Inform. Spektrum 32 (2) (2009)
Manfred Broy
Seamless Model Driven Systems Engineering Based on Formal Models. ICFEM (2009)
Manfred Broy
From system requirements documents to integrated system modeling artifacts. ACM Symposium on Document Engineering (2009)
Herbert Weber, Manfred Broy
Systemorientiertes Automotive Engineering. Inform. Spektrum 32 (3) (2009)
Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer
Software-Qualitätsmodellierung und -bewertung (SQMB 2009). Software Engineering (2009)
Manfred Broy
Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). ISoLA (2008)
Stefan Wagner, Manfred Broy, Florian Deißenböck, Jürgen Münch, Peter Liggesmeyer
Software-Qualitätsmodellierung und -bewertung. Software Engineering (2008)
Manfred Broy
Requirements Engineering als Schlüssel zur Softwarequalität und Produktivität. Software Engineering (2008)
Manfred Broy, Reinhard Stolle, Alexandre Saad
6.Workshop Automotive Software Engineering. GI Jahrestagung (2) (2008)
Arndt Bode, Manfred Broy, Uwe Dumslaff, Gregor Engels
Architektur & Management im Großen meistern. Inform. Spektrum 31 (6) (2008)
Kamel Barkaoui, Manfred Broy, Ana Cavalcanti, Antonio Cerone
Guest Editorial. Formal Aspects Comput. 20 (4-5) (2008)
Manfred Broy
Über "Sequentielle Formelübersetzung" von Klaus Samelson und Friedrich L. Bauer. it Inf. Technol. 50 (2) (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 Aspects Comput. 20 (6) (2008)
Manfred Broy, Ingolf H. Krüger, Michael Meisinger
A formal model of services. ACM Trans. Softw. Eng. Methodol. 16 (1) (2007)

Manfred Broy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manfred Broy