Manfred Broy

According to our database1, Manfred Broy
  • authored at least 293 papers between 1978 and 2017.
  • has a "Dijkstra number"2 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Informatik als Wissenschaft an der Technischen Universität München und ihre Anwendung in Wirtschaft und Gesellschaft.
Informatik Spektrum, 2017

50 Jahre Informatik an den Universitäten in München.
Informatik Spektrum, 2017

Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models.
Proceedings of the Software Engineering 2017, 2017

On Service-Orientation for Automotive Software.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017

2016
Flexible software process lines in practice: A metamodel-based approach to effectively construct and manage families of software process models.
Journal of Systems and Software, 2016

Das Interview - Digitalisierung und die Rolle der Informatik in Anwendung und Forschung.
Informatik 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

Outlook.
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.
IEEE Computer, 2015

A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer.
Acta Inf., 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.
Computer Science - R&D, 2014

A stream-based mathematical model for distributed information processing systems - SysLab system model.
CoRR, 2014

Software and System Modeling Based on a Unified Formal Semantics.
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.
IEEE Computer, 2014

Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance.
Automatisierungstechnik, 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, Informatik 2014, 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 - Information Technology, 2013

Anforderungen an CPS aus Sicht der Automatisierungstechnik.
Automatisierungstechnik, 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

Projektorganisation und Management im Software Engineering.
Xpert.press, Springer, ISBN: 978-3-642-29290-3, 2013

2012
Cyber Physical Systems (Part 1).
it - Information Technology, 2012

Mehr Lebensqualität dank Informatik.
Informatik 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

Outlook.
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.
Software and System Modeling, 2011

Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung.
Informatik Spektrum, 2011

Informatik in der Automobilindustrie.
Informatik Spektrum, 2011

Can Practitioners Neglect Theory and Theoreticians Neglect Practice?
IEEE 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

Cross-layer analysis, testing and verification of automotive control software.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
Multifunctional software systems: Structured modeling and specification of functional requirements.
Sci. Comput. Program., 2010

Scanning Advances in Aerospace & Automobile Software Technology.
Proceedings of the IEEE, 2010

Scanning the Issue.
Proceedings of the IEEE, 2010

Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments.
Proceedings of the IEEE, 2010

Softwarequalitätsmodelle - Praxisempfehlungen und Forschungsagenda.
Informatik Spektrum, 2010

Architectural Concepts in Programming Languages.
IEEE 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. Algebr. Program., 2009

Systemorientiertes Automotive Engineering.
Informatik Spektrum, 2009

Informatik überall, jederzeit und für alle.
Informatik Spektrum, 2009

Toward a Holistic and Standardized Automotive Architecture Description.
IEEE Computer, 2009

Professional and Ethical Dilemmas in Software Engineering.
IEEE 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

2008
Über "Sequentielle Formelübersetzung" von Klaus Samelson und Friedrich L. Bauer.
it - Information Technology, 2008

Architektur & Management im Großen meistern.
Informatik Spektrum, 2008

On the correctness of upper layers of automotive systems.
Formal Asp. Comput., 2008

Guest Editorial.
Formal Asp. 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 INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 2, Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8., 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.
Proceedings of the IEEE, 2007

Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones.
ISSE, 2007

Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung.
Informatik Spektrum, 2007

Ein Requirements-Engineering-Referenzmodell.
Informatik Spektrum, 2007

Das AutoMoDe-Projekt.
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.
Software and System Modeling, 2006

Manifest*: Strategische Bedeutung des Software Engineering in Deutschland.
Informatik Spektrum, 2006

The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.
IEEE Computer, 2006

The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.
Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

2nd 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

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® XT.
Informatik Spektrum, 2005

Software auf dem Weg zur Industrialisierung.
Informatik Spektrum, 2005

Modeling layered distributed communication systems.
Formal Asp. 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


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.
Informatik Spektrum, 2004

Editorial.
Formal Asp. Comput., 2004

Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract.
Electr. Notes Theor. Comput. Sci., 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.
Informatik Spektrum, 2003

Software-Engineering und Software-Fabrik: Von guten und schlechten Metaphern.
Informatik Spektrum, 2003

Editorial: Where Theory and Practice Meet.
Formal Asp. Comput., 2003

Edsger W. Dijkstra - Acta Informatica and Marktoberdorf.
Acta Inf., 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.
Informatik Spektrum, 2002

Software Engineering Wurzeln, Stand und Perspektiven.
Informatik Spektrum, 2002

Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen).
Informatik Spektrum, 2002

From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT.
International Journal of Software Engineering and Knowledge Engineering, 2002

Message Sequence Charts in the Development Process - Role and Limitations.
Electr. Notes Theor. Comput. Sci., 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

Refinement of time.
Theor. Comput. Sci., 2001

Germany: Combining Software and Application Competencies.
IEEE Software, 2001

Softwareentwicklung in Deutschland, Eine Bestandsaufnahme.
Informatik Spektrum, 2001

Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999).
Inform., Forsch. Entwickl., 2001

Letter from the Editor.
Acta Inf., 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

2000
Algebraic specification of reactive systems.
Theor. Comput. Sci., 2000

. . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung.
Informatik 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.
it+ti - Informationstechnik und Technische Informatik, 1999

Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt).
Informatik Spektrum, 1999

Software technology - formal methods and scientific foundations.
Information & Software Technology, 1999

AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.
Inform., Forsch. Entwickl., 1999

Preface - Software Engineering to our Planning Horizon.
Electr. Notes Theor. Comput. Sci., 1999

Adapting Calculational Logic to the Undefined.
Comput. J., 1999

From States to Histories.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Focusing on Mobility.
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

What is Behind UML-RT?
Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998
What characterizes a (software) component?
Software - Concepts and Tools, 1998

A uniform mathematical concept of a component (Appendix to M. Broy et al.: "What characterizes a (software) component?".
Software - Concepts and Tools, 1998

A Functional Rephrasing of the Assumption/Commitment Specification Style.
Formal Methods in System Design, 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.
Software - Concepts and 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.
it+ti - Informationstechnik und Technische Informatik, 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

Refinement of Time.
Proceedings of the Transformation-Based Reactive Systems Development, 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 in System Design, 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

Algebraic Specification of Reactive Systems.
Proceedings of the Algebraic Methodology and Software Technology, 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.
Informatik 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 PAnndA-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.
Informatik Spektrum, 1992

Operational and denotational semantics with explicit concurrency.
Fundam. Inform., 1992

Algebraic and Functional Specification of an Interactive Serializable Database Interface.
Distributed Computing, 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
On Denotational versus Predicative Semantics.
J. Comput. Syst. Sci., 1991

Specification and design of shared resource arbitration.
International Journal of Parallel Programming, 1991

Towards a Formal Foundation of the Specification and Description Language SDL.
Formal Asp. Comput., 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
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

Functional Specification of Time Sensitive Communicating Systems.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Position Statement for the IFIP Congress 89 Panel on Foundations of Software Engineering.
IFIP Congress, 1989

Functional Specification of Communicating Systems.
IFIP Congress, 1989

1988
Equational Specification of Partial Higher-Order Algebras.
Theor. Comput. Sci., 1988

Views of queues.
Sci. Comput. Program., 1988

Nondeterministic Data Flow Programs: How to Avoid the Merge Anomaly.
Sci. Comput. Program., 1988

Ultra-loose algebraic specifications.
Bulletin of the 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 Computing, 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".
Bulletin of the EATCS, 1985

Rechnergestützte Systeme für den Programmentwurf.
Proceedings of the Wissensbasierte Systeme, 1985

Specification and Top Down Design of Distributed Systems.
Proceedings of the Mathematical Foundations of Software Development, 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
Information and 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

On the Herbrand Kleene Universe for Nondeterministic Computations.
Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1983
Algebraic Definition of a Functional Programming Language and Its Semantic Models.
ITA, 1983

Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming.
Inf. Process. Lett., 1983

Applicative Real-Time Programming.
IFIP Congress, 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.
ADT, 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.
Informatik Spektrum, 1982

Partial Abstract Types.
Acta Inf., 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.
Informatik 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
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.
Informatik 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.
IFIP Congress, 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.
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

Towards a Wide Spectrum Language to Support Program Specification and Program Development.
Proceedings of the Program Construction, International Summer School, July 26, 1978


  Loading...