2025
The Effects of Hype in the Software Domain: Causes, Consequences, and Mitigations.
IEEE Softw., 2025
Does Every Computer Scientist Need to Know Formal Methods?
Formal Aspects Comput., 2025
Specifying and Implementing Interface Moore Machines by a Logic of Actions.
Proceedings of the Go Where the Bugs Are, 2025
2024
The Role of Formal Methods in Computer Science Education.
Inroads, December, 2024
A Calculus for the Specification, Design, and Verification of Distributed Concurrent Systems.
Formal Aspects Comput., September, 2024
Time, causality, and realizability: Engineering interactive, distributed software systems.
J. Syst. Softw., April, 2024
Captured: Compositional and Modular Approaches to Concurrency.
Proceedings of the Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I, 2024
Specifying and Composing Layered Architectures.
J. Object Technol., 2024
2023
Specification and verification of concurrent systems by causality and realizability.
Theor. Comput. Sci., September, 2023
Development Use Cases for Semantics-Driven Modeling Languages.
Commun. ACM, May, 2023
In memory of Heinrich Hussmann, long-time friend and SoSyM editor.
Softw. Syst. Model., April, 2023
2022
Architecture as a Backbone for Safe DevOps in Automotive Systems.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
Software System Documentation: Coherent Description of Software System Properties.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
Edsger W. Dijkstra as a Lecturer in Marktoberdorf.
Proceedings of the Edsger Wybe Dijkstra: His Life, Work, and Legacy, 2022
2021
Refining the Safety-Liveness Classification of Temporal Properties According to Realizability.
Proceedings of the Formal Methods in Outer Space, 2021
Advanced Systems Engineering.
Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021
Einführung in die Softwaretechnik.
Xpert.press, Springer, ISBN: 978-3-662-50263-1, 2021
2020
On Integrating Design Thinking for Human-Centered Requirements Engineering.
IEEE Softw., 2020
2019
Artefacts in software engineering: a fundamental positioning.
Softw. Syst. Model., 2019
Editorial to the theme section on model-based design of cyber-physical systems.
Softw. Syst. Model., 2019
Seamless Model-Based System Development: Foundations - (Extended Abstract).
Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019
Logische und Methodische Grundlagen der Programm- und Systementwicklung: Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis.
Springer, ISBN: 978-3-658-26302-7, 2019
2018
In memory of Bernhard Schätz, long- time friend and SoSyM editor.
Softw. Syst. Model., 2018
A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability - from requirements to functional and architectural views.
Softw. Syst. Model., 2018
Yesterday, Today, and Tomorrow: 50 Years of Software Engineering.
IEEE Softw., 2018
Theory and methodology of assumption/commitment based system interface specification and architectural contracts.
Formal Methods Syst. Des., 2018
Artefacts in Software Engineering: What are they after all?
CoRR, 2018
On Architecture Specification.
Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
The Leading Role of Software and Systems Architecture in the Age of Digitization.
Proceedings of the Essence of Software Engineering, 2018
2017
Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft.
Inform. Spektrum, 2017
Auf dem Weg zu einer Informatik neuer Prägung in Wissenschaft, Studium und Wirtschaft.
Inform. Spektrum, 2017
50 Jahre Informatik an den Universitäten in München.
Inform. Spektrum, 2017
On Service-Orientation for Automotive Software.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017
Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft.
Proceedings of the 50 Jahre Universitäts-Informatik in München, 2017
2016
Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models.
J. Syst. Softw., 2016
Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung und Forschung.
Inform. Spektrum, 2016
Model-centric Assumption Promise Specification.
Proceedings of the MODELSWARD 2016, 2016
Towards a Unified View of Modeling and Programming (Track Summary).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Towards a Unified View of Modeling and Programming.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
From Actions, Transactions, and Processes to Services.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
Advanced Model-Based Engineering of Embedded Systems.
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016
2015
From Actions, Transactions, and Processes to Services.
Proceedings of the Dependable Software Systems Engineering, 2015
Computability and realizability for interactive computations.
Inf. Comput., 2015
Rethinking Nonfunctional Software Requirements.
Computer, 2015
A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer.
Acta Informatica, 2015
Principles and a Process for Successful Industry Cooperation - The Case of TUM and Munich Re.
Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015
Pragmatic Formal Specification of System Properties by Tables.
Proceedings of the Software, 2015
2014
Verifying of interface assertions for infinite state Mealy machines.
J. Comput. Syst. Sci., 2014
Guiding requirements engineering for software-intensive embedded systems in the automotive industry.
Comput. Sci. Res. Dev., 2014
A stream-based mathematical model for distributed information processing systems - SysLab system model.
CoRR, 2014
Towards a System Model for UML. The Structural Data Model.
CoRR, 2014
Modular Description of a Comprehensive Semantics Model for the UML (Version 2.0).
CoRR, 2014
UML 2 Semantics Symposium: Formal Semantics for UML.
CoRR, 2014
Orchestration of Global Software Engineering Projects.
CoRR, 2014
Challenges in Engineering Cyber-Physical Systems.
Computer, 2014
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
Autom., 2014
Cyber-Physical Systems - Konsequenzen für eine Informatik mit Nähe zur physikalischen Wirklichkeit.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014
A Model of Dynamic Systems.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
2013
A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views.
Proceedings of the Engineering Dependable Software Systems, 2013
Cyber Physical Systems (Part 2).
it Inf. Technol., 2013
Anforderungen an CPS aus Sicht der Automatisierungstechnik.
Autom., 2013
Software Quality: From Requirements to Architecture.
Proceedings of the Software Quality. Increasing Value in Software and Systems Development, 2013
Error-Completion in Interface Theories.
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Challenges in modeling cyber-physical systems.
Proceedings of the 12th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2013), 2013
Domain Modeling and Domain Engineering: Key Tasks in Requirements Engineering.
Proceedings of the Perspectives on the Future of Software Engineering, 2013
Projektorganisation und Management im Software Engineering.
Xpert.press, Springer, ISBN: 978-3-642-29290-3, 2013
2012
Cyber Physical Systems (Part 1).
it Inf. Technol., 2012
Mehr Lebensqualität dank Informatik.
Inform. Spektrum, 2012
Cyber-Physical Systems: Imminent Challenges.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
Engineering Cyber-Physical Systems: Challenges and Foundations.
Proceedings of the Complex Systems Design & Management, 2012
System Behaviour Models with Discrete and Dense Time.
Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012
Introduction to the SPES Modeling Framework.
Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012
Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012
Software and System Modeling: Structured Multi-view Modeling, Specification, Design and Implementation.
Proceedings of the Conquering Complexity, 2012
2011
Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification.
Proceedings of the Software and Systems Safety - Specification and Verification, 2011
UML formal semantics: lessons learned.
Softw. Syst. Model., 2011
Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung.
Inform. Spektrum, 2011
Informatik in der Automobilindustrie.
Inform. Spektrum, 2011
Can Practitioners Neglect Theory and Theoreticians Neglect Practice?
Computer, 2011
The Role of Requirements and Specification in Product Line Engineering.
Proceedings of the Software Product Lines - 15th International Conference, 2011
Towards formal modeling of functional features and feature interactions in software intensive systems.
Proceedings of the Software Product Lines - 15th International Conference, 2011
Vierter Workshop zur Software-Qualitätsmodellierung und -bewertung (SQMB 2011).
Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011
Zweiter Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION 2020).
Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011
Informatik als wissenschaftliche Methode: Zur Rolle der Informatik in Forschung und Anwendung.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011
Cross-layer analysis, testing and verification of automotive control software.
Proceedings of the 11th International Conference on Embedded Software, 2011
A Model-Based View onto Testing.
Proceedings of the Model-Based Testing for Embedded Systems, 2011
2010
Multifunctional software systems: Structured modeling and specification of functional requirements.
Sci. Comput. Program., 2010
Scanning Advances in Aerospace & Automobile Software Technology.
Proc. IEEE, 2010
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments.
Proc. IEEE, 2010
Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda.
Inform. Spektrum, 2010
Architectural Concepts in Programming Languages.
Computer, 2010
A Logical Basis for Component-Oriented Software and Systems Engineering.
Comput. J., 2010
Software-Qualitätsmodellierung und -bewertung (SQMB).
Proceedings of the Software Engineering 2010, 2010
Erster Workshop zur Zukunft der Entwicklung softwareintensiver, eingebetteter Systeme (ENVISION2020).
Proceedings of the Software Engineering 2010, 2010
A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering.
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Seamless Method- and Model-based Software and Systems Engineering.
Proceedings of the Future of Software Engineering., 2010
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.
Proceedings of the Concurrency, 2010
2009
Guest Editors' Foreword: Selected papers on "Streams and Algebra".
J. Log. Algebraic Methods Program., 2009
Systemorientiertes Automotive Engineering.
Inform. Spektrum, 2009
Informatik überall, jederzeit und für alle.
Inform. Spektrum, 2009
Toward a Holistic and Standardized Automotive Architecture Description.
Computer, 2009
Professional and Ethical Dilemmas in Software Engineering.
Computer, 2009
Software-Qualitätsmodellierung und -bewertung (SQMB 2009).
Proceedings of the Software Engineering 2009: Fachtagung des GI-Fachbereichs Softwaretechnik 02.-06.03. 2009 in Kaiserslautern, 2009
Formalizing the notion of adaptive system behavior.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Orchestration of Global Software Engineering Projects - Position Paper.
Proceedings of the 4th IEEE International Conference on Global Software Engineering, 2009
Seamless Model Driven Systems Engineering Based on Formal Models.
Proceedings of the Formal Methods and Software Engineering, 2009
From system requirements documents to integrated system modeling artifacts.
Proceedings of the 2009 ACM Symposium on Document Engineering, 2009
Definition of the System Model.
Proceedings of the UML 2 Semantics and Applications, 2009
Considerations and Rationale for a UML System Model.
Proceedings of the UML 2 Semantics and Applications, 2009
2008
Über "Sequentielle Formelübersetzung" von Klaus Samelson und Friedrich L. Bauer.
it Inf. Technol., 2008
Architektur & Management im Großen meistern.
Inform. Spektrum, 2008
On the correctness of upper layers of automotive systems.
Formal Aspects Comput., 2008
Formal Aspects Comput., 2008
Software-Qualitätsmodellierung und -bewertung.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008
Requirements Engineering als Schlüssel zur Softwarequalität und Produktivität.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008
Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress).
Proceedings of the Leveraging Applications of Formal Methods, 2008
6.Workshop Automotive Software Engineering.
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008
2007
Embedded Systems and Software Technology in the Automotive Domain.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007
Modular Hierarchies of Models for Embedded Systems.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007
A formal model of services.
ACM Trans. Softw. Eng. Methodol., 2007
Editorial-Science of Computer Programming-25 years.
Sci. Comput. Program., 2007
Editorial comment to 'About "trivial" software patents: The IsNot case'.
Sci. Comput. Program., 2007
Engineering Automotive Software.
Proc. IEEE, 2007
Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones.
Innov. Syst. Softw. Eng., 2007
Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung.
Inform. Spektrum, 2007
Ein Requirements-Engineering-Referenzmodell.
Inform. Spektrum, 2007
Inform. Forsch. Entwickl., 2007
Interaction and Realizability.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007
Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture.
Proceedings of the 5th ACIS International Conference on Software Engineering Research, 2007
Software Engineering for Automotive Systems: A Roadmap.
Proceedings of the International Conference on Software Engineering, 2007
CoCoME Jury Evaluation and Conclusion.
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Service-Oriented Modeling of CoCoME with Focus and AutoFocus.
,
,
,
,
,
,
,
,
,
,
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
From "Formal Methods" to System Modeling.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007
2006
SoSyM special section on service-based software engineering.
Softw. Syst. Model., 2006
Manifest<sup>*</sup>: Strategische Bedeutung des Software Engineering in Deutschland.
Inform. Spektrum, 2006
The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.
Computer, 2006
2<sup>nd</sup> UML 2 Semantics Symposium: Formal Semantics for UML.
Proceedings of the Models in Software Engineering, 2006
Requirements Engineering as a Key to Holistic Software Quality.
Proceedings of the Computer and Information Sciences, 2006
Demystifying maintainability.
Proceedings of the 2006 international workshop on Software quality, 2006
Challenges in automotive software engineering.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
From Chaos to Undefinedness.
Proceedings of the Algebra, Meaning, and Computation, 2006
Innovation in Engineering Software Intensive Systems.
Proceedings of the Managing Development and Application of Digital Technologies, 2006
2005
Guest Editorial: Special Section on Interaction and State-Based Modeling.
IEEE Trans. Software Eng., 2005
A semantic and methodological essence of message sequence charts.
Sci. Comput. Program., 2005
Das neue V-Modell<sup>®</sup> XT.
Inform. Spektrum, 2005
Software auf dem Weg zur Industrialisierung.
Inform. Spektrum, 2005
Modeling layered distributed communication systems.
Formal Aspects Comput., 2005
Automotive software and systems engineering (Panel).
Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005
The Impact of Models in Software Development.
Proceedings of the Mechanizing Mathematical Reasoning, 2005
2004
Modellbildung in der Informatik.
Xpert.press, Springer, ISBN: 978-3-642-18732-2, 2004
Erfolgreiches Management von Software-Projekten.
Inform. Spektrum, 2004
Formal Aspects Comput., 2004
Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract.
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004
Architecture Driven Modeling in Software Development.
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation.
Proceedings of the Architecting Systems with Trustworthy Components, 2004
Distributed Concurrent Object-Oriented Software.
Proceedings of the From Object-Orientation to Formal Methods, 2004
2003
Ein Wegweiser für Forschung und Lehre im Software-Engineering eingebetteter Systeme.
Inform. Spektrum, 2003
Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern.
Inform. Spektrum, 2003
Editorial: Where Theory and Practice Meet.
Formal Aspects Comput., 2003
Edsger W. Dijkstra - Acta Informatica and Marktoberdorf.
Acta Informatica, 2003
Engineering Software Intensive Systems.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003
Modular Hierarchies of Models for Embedded Systems.
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Automotive Software Engineering.
Proceedings of the 25th International Conference on Software Engineering, 2003
Service-Oriented Systems Engineering: Modeling Services and Layered Architectures.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems.
Proceedings of the Verification: Theory and Practice, 2003
2002
Software engineering beyond our planning horizon: automation for computer-based systems.
Sci. Comput. Program., 2002
Objektorientierte Programmierung und Softwareentwicklung - Eine kritische Einschätzung.
Inform. Spektrum, 2002
Software Engineering Wurzeln, Stand und Perspektiven.
Inform. Spektrum, 2002
Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen).
Inform. Spektrum, 2002
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT.
Int. J. Softw. Eng. Knowl. Eng., 2002
Message Sequence Charts in the Development Process - Role and Limitations.
Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002
Multi-view Modeling of Software Systems.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Software Engineering From Auxiliary to Key Technology.
Proceedings of the Software Pioneers., 2002
2001
Specification and Development of Interactive Systems - Focus on Streams, Interfaces, and Refinement
Monographs in Computer Science, Springer, ISBN: 978-1-4613-0091-5, 2001
Toward a Mathematical Foundation of Software Engineering Methods.
IEEE Trans. Software Eng., 2001
The algebra of stream processing functions.
Theor. Comput. Sci., 2001
Theor. Comput. Sci., 2001
Germany: Combining Software and Application Competencies.
IEEE Softw., 2001
Softwareentwicklung in Deutschland, Eine Bestandsaufnahme.
Inform. Spektrum, 2001
Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999).
Inform. Forsch. Entwickl., 2001
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Proceedings of the 23rd International Conference on Software Engineering, 2001
Specification and Modeling: An Academic Perspective.
Proceedings of the 23rd International Conference on Software Engineering, 2001
From Requirements to Validated Embedded Systems.
Proceedings of the Embedded Software, First International Workshop, 2001
Trace-Oriented Models of Concurrency.
Proceedings of the Handbook of Process Algebra, 2001
2000
Algebraic specification of reactive systems.
Theor. Comput. Sci., 2000
. . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung.
Inform. Spektrum, 2000
The Essence of Message Sequence Charts.
Proceedings of the 2000 International Symposium on Multimedia Software Engineering, 2000
Software Engineering as a Modelling Process.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000
Invited Talk: Algebraic State Machines.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
Software Engineering: Schlüssel zu Prozeßbeherrschung und Informationsmanagement.
TCW-Report 24, TCW, ISBN: 3-931511-52-9, 2000
1999
Algebraic Specification of Concurrent Systems.
Proceedings of the Algebraic Foundations of Systems Specification, 1999
Requirements Engineering für eingebettete Systeme.
Informationstechnik Tech. Inform., 1999
Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt).
Inform. Spektrum, 1999
Software technology - formal methods and scientific foundations.
Inf. Softw. Technol., 1999
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.
Inform. Forsch. Entwickl., 1999
Adapting Calculational Logic to the Undefined.
Comput. J., 1999
From States to Histories.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999
A Formal Model for Componentware.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1999
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999
1998
What characterizes a (software) component?
Softw. Concepts Tools, 1998
A uniform mathematical concept of a component (Appendix to M. Broy et al.: "What characterizes a (software) component?".
Softw. Concepts Tools, 1998
A Functional Rephrasing of the Assumption/Commitment Specification Style.
Formal Methods Syst. Des., 1998
Preface - Software Engineering to our Planning Horizon.
Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998
A Logical Basis for Modular Software and Systems Engineering.
Proceedings of the SOFSEM '98: Theory and Practice of Informatics, 1998
From MSCs to Statecharts.
Proceedings of the Distributed and Parallel Embedded Systems, 1998
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts.
Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998
A Modular Visual Model for Hybrid Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
Enriching the Software Development Process by Formal Methods.
Proceedings of the Applied Formal Methods, 1998
Visual Formalisms Revisited.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
1997
Towards a Mathematical Concept of a Component and its Use.
Softw. Concepts Tools, 1997
Ein neuer Ansatz für den Informatikunterricht am Gymnasium.
LOG IN, 1997
Compositional refinement of interactive systems.
J. ACM, 1997
Editorial: Formale Methoden in der Praxis.
Informationstechnik Tech. Inform., 1997
KORSO - Korrekte Software durch formale Methoden.
Inform. Forsch. Entwickl., 1997
Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht.
Proceedings of the Informatik und Lernen in der Informationsgesellschaft, 1997
Software and System Modeling Based on a Unified Formal Semantics.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997
Innovation durch Kooperation im Software-Engineering.
Proceedings of the Informatik '97, 1997
Reconciling Real-Time with Asynchronous Message Passing.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
Compositional Refinement of Interactive Systems Modelled by Relations.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997
Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That.
Proceedings of the Foundations of Computer Science: Potential - Theory, 1997
Using Extended Event Traces to Describe Communication in Software Architectures.
Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997
Übungen zur Einführung in die Informatik - strukturierte Aufgabensammlung mit Musterlösungen.
Springer, ISBN: 978-3-540-63549-9, 1997
1996
Experiences with Software Specification and Verification Using LP, The Larch Proof Assistant.
Formal Methods Syst. Des., 1996
Specification and refinement of a buffer of length one.
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996
Formal Description Techniques - How Formal and Descriptive are they?
Proceedings of the Formal Description Techniques IX: Theory, 1996
Graphical Development of Consistent System Specifications.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996
1995
Structured Specifications and Implementation of Nondeterministic Data Types.
Nord. J. Comput., 1995
Mathematics of Software Engineering.
Proceedings of the Mathematics of Program Construction, 1995
Correct Software: From Experiments to Applications.
Proceedings of the KORSO, 1995
Mathematical System Models as a Basis of Software Engineering.
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995
1994
Adding Fair Choice to Dijkstra's Calculus.
ACM Trans. Program. Lang. Syst., 1994
Professor Friedrich L. Bauer zum 70. Geburtstag.
Inform. Spektrum, 1994
Advanced Component Interface Specification.
Proceedings of the Theory and Practice of Parallel Programming, 1994
Specification and Refinement of Finite Dataflow Networks - a Relational Approach.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
Interpreter Verification for a Functional Language.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994
The RPC-Memory Case Study: A Synopsis.
Proceedings of the Formal Systems Specification, 1994
The RPC-Memory Specification Problem - Problem Statement.
Proceedings of the Formal Systems Specification, 1994
A Functional Solution to the RPC-Memory Specification Problem.
Proceedings of the Formal Systems Specification, 1994
Equations for Describing Dynamic Nets of Communicating Systems.
Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994
1993
Functional Specification of Time-Sensitive Communicating Systems.
ACM Trans. Softw. Eng. Methodol., 1993
Semantics of PA<sup>nn</sup>dA-S.
Proceedings of the Program Development by Specification and Transformation, 1993
Korrekte Software: Vom Experiment zur Anwendung.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993
1992
Modelling Operating System Structures by Timed Stream Processing Functions.
J. Funct. Program., 1992
Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme - Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz.
Inform. Spektrum, 1992
Operational and denotational semantics with explicit concurrency.
Fundam. Informaticae, 1992
Algebraic and Functional Specification of an Interactive Serializable Database Interface.
Distributed Comput., 1992
(Inter-)Action Refinement: The Easy Way.
Proceedings of the Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28, 1992
Reliable Systems Enginerring (Position Statement).
Proceedings of the Algorithms, Software, Architecture, 1992
Modular functional modelling of Petri nets with individual tokens.
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992
1991
Weakening the weak conditions for self-timed circuits
Forschungsberichte, TU Munich, 1991
Parallelism algebras: a link between process algebras and abstract relation algebras?
Forschungsberichte, TU Munich, 1991
Characterizing the behavior of reactive systems by trace sets
Forschungsberichte, TU Munich, 1991
On Denotational versus Predicative Semantics.
J. Comput. Syst. Sci., 1991
Specification and design of shared resource arbitration.
Int. J. Parallel Program., 1991
Towards a Formal Foundation of the Specification and Description Language SDL.
Formal Aspects Comput., 1991
Declarative specification and declarative programming.
Proceedings of the 6th International Workshop on Software Specification and Design, 1991
Deductive Program Development: Evaluation in Reverse Polish Notation as an Example.
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991
1990
On the design and verification of a simple distributed spanning tree algorithm
Forschungsberichte, TU Munich, 1990
Functional modelling of operating sytem [system] structures by timed higher order stream processing functions
Forschungsberichte, TU Munich, 1990
Modular functional modelling of Petri nets with individual tokems
Forschungsberichte, TU Munich, 1990
Methodological Objectives for Formal Description Techniques.
Proceedings of the Formal Description Techniques, 1990
1989
A Modular Framework for Specification and Implementation.
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989
Formalization of Distributed, Concurrent, Reactive Systems.
Proceedings of the Formal Description of Programming Concepts, 1989
Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989
Functional Specification of Communicating Systems.
Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989
1988
Equational Specification of Partial Higher-Order Algebras.
Theor. Comput. Sci., 1988
Sci. Comput. Program., 1988
Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly.
Sci. Comput. Program., 1988
Ultra-loose algebraic specifications.
Bull. EATCS, 1988
Broadcasting Buffering Communication.
Comput. Lang., 1988
Spezifikation und Entwurf komplexer, kausal vernetzter Systeme.
Proceedings of the GI, 1988
Requirement and Design Specification for Distributed Systems.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988
1987
On the Algebraic Definition of Programming Languages.
ACM Trans. Program. Lang. Syst., 1987
Specification and Top-Down Design of Distributed Systems.
J. Comput. Syst. Sci., 1987
Predicative Specifications for Functional Programs Describing Communication Networks.
Inf. Process. Lett., 1987
Semantics of Finite and Infinite Networks of Concurrent Communicating Agents.
Distributed Comput., 1987
1986
A Theory for Nondeterminism, Parallelism, Communication, and Concurrency.
Theor. Comput. Sci., 1986
Algebraic Implementations Preserve Program Correctness.
Sci. Comput. Program., 1986
Denotational Semantics of Communicating Sequential Programs.
Inf. Process. Lett., 1986
Partial Interpretations of Higher Order Algebraic Types (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986
Towards Advanced Programming Environments Based on Algebraic Concepts.
Proceedings of the Advanced Programming Environments, 1986
Views of Distributed Systems.
Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986
1985
On the Herbrand-Kleene Universe for Nondeterministic Computations.
Theor. Comput. Sci., 1985
Algebraic specification of the abstract data type "Continuum".
Bull. EATCS, 1985
Rechnergestützte Systeme für den Programmentwurf.
Proceedings of the Wissensbasierte Systeme, 1985
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985
1984
Semantics of Communicating Processes
Inf. Control., June, 1984
A Systematic Study of Models of Abstract Data Types.
Theor. Comput. Sci., 1984
A Systematic Approach to Language Constructs for Concurrent Programs.
Sci. Comput. Program., 1984
Denotational Semantics of Concurrent Programs with Shared Memory.
Proceedings of the STACS 84, 1984
1983
Algebraic Definition of a Functional Programming Language and Its Semantic Models.
RAIRO Theor. Informatics Appl., 1983
Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming.
Inf. Process. Lett., 1983
Applicative Real-Time Programming.
Proceedings of the Information Processing 83, 1983
Funktionales Programmieren - Programmieren mit Funktionalen.
Proceedings of the GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings, 1983
Generalized Heterogeneous Algebras and Partial Interpretations.
Proceedings of the CAAP'83, 1983
Generalized Heterogeneous Algebras.
Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983
1982
Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm.
ACM Trans. Program. Lang. Syst., 1982
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
Inform. Spektrum, 1982
On the Algebraic Specification of Finitary Infinite.
Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982
Fixed PointTheory for Communication and Concurrency.
Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982
1981
Program Development as a Formal Activity.
IEEE Trans. Software Eng., 1981
Programming in a Wide Spectrum Language: A Collection of Examples.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Sci. Comput. Program., 1981
Nichtdeterminismus - Das aktuelle Schlagwort.
Inform. Spektrum, 1981
On the Power of Algebraic Specifications.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981
On the Algebraic Extensions of Abstract Data Types.
Proceedings of the Formalization of Programming Concepts, 1981
Are Fairness Assumptions Fair?
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).
Proceedings of the GI, 1981
Prospects of New Tools for Software Development.
Proceedings of the Trends in Information Processing Systems, 1981
On language constructs for concurrent programs.
Proceedings of the CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, 1981
On the Algebraic Specification of Nondeterministic Programming Languages.
Proceedings of the CAAP '81, 1981
1980
Transformation parallel ablaufender Programme (Transformation of parallel running programs)
PhD thesis, 1980
Derivation of Invariant Assertions During Program Development by Transformation.
ACM Trans. Program. Lang. Syst., 1980
Program Development: From Enumeration to Backtracking.
Inf. Process. Lett., 1980
Transformational Semantics for Concurrent Programs.
Inf. Process. Lett., 1980
Programmtransformationen - Das aktuelle Schlagwort.
Inform. Spektrum, 1980
On Relations Between Programs.
Proceedings of the International Symposium on Programming, 1980
Abstract Data Types as Lattices of Finitely Generated Models.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
Zur Spezifikation von Programmen für die Textverarbeitung.
Proceedings of the Textverarbeitung und Informatik, 1980
Semantic Relations in Programming Languages.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980
Programming languages as abstract data types.
Proceedings of the Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation, 1980
1979
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence.
Inf. Process. Lett., 1979
Existential Quantifiers in Abstract Data Types.
Proceedings of the Automata, 1979
1978
Towards a wide spectrum language to support program specification and program development.
ACM SIGPLAN Notices, 1978
Towards a wide spectrum language to support program specification and program development.
Proceedings of the Programmiersprachen, 1978
Examples for Change of Types and Object Structures.
Proceedings of the Program Construction, International Summer School, July 26, 1978
Semantics of Nondeterministic and Noncontinuous Constructs.
Proceedings of the Program Construction, International Summer School, July 26, 1978
Systematics of Transformation Rules.
Proceedings of the Program Construction, International Summer School, July 26, 1978