Manfred Broy
Orcid: 0000-0003-2649-1752Affiliations:
- Technical University Munich, Germany
According to our database1,
Manfred Broy
authored at least 331 papers
between 1978 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on gi.de
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
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
2023
Theor. Comput. Sci., September, 2023
Commun. ACM, May, 2023
Softw. Syst. Model., April, 2023
2022
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022
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
Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021
Xpert.press, Springer, ISBN: 978-3-662-50263-1, 2021
2020
IEEE Softw., 2020
2019
Softw. Syst. Model., 2019
Softw. Syst. Model., 2019
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
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
Theory and methodology of assumption/commitment based system interface specification and architectural contracts.
Formal Methods Syst. Des., 2018
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
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
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
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
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016
2015
Proceedings of the Dependable Software Systems Engineering, 2015
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
Proceedings of the Software, 2015
2014
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
CoRR, 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
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
Proceedings of the Software Quality. Increasing Value in Software and Systems Development, 2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Proceedings of the 12th International Conference on Information Processing in Sensor Networks (co-located with CPS Week 2013), 2013
Proceedings of the Perspectives on the Future of Software Engineering, 2013
Xpert.press, Springer, ISBN: 978-3-642-29290-3, 2013
2012
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
Proceedings of the Complex Systems Design & Management, 2012
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
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
Architekturen softwarebasierter Funktionen im Fahrzeug: von den Anforderungen zur Umsetzung.
Inform. Spektrum, 2011
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
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
Proceedings of the 11th International Conference on Embedded Software, 2011
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
Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments.
Proc. IEEE, 2010
Inform. Spektrum, 2010
Comput. J., 2010
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
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
J. Log. Algebraic Methods Program., 2009
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
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the 4th IEEE International Conference on Global Software Engineering, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the 2009 ACM Symposium on Document Engineering, 2009
Proceedings of the UML 2 Semantics and Applications, 2009
Proceedings of the UML 2 Semantics and Applications, 2009
2008
it Inf. Technol., 2008
Formal Aspects Comput., 2008
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008
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
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008
2007
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007
Sci. Comput. Program., 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
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
Proceedings of the International Conference on Software Engineering, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007
2006
Softw. Syst. Model., 2006
Manifest<sup>*</sup>: Strategische Bedeutung des Software Engineering in Deutschland.
Inform. Spektrum, 2006
Computer, 2006
Proceedings of the Models in Software Engineering, 2006
Proceedings of the Computer and Information Sciences, 2006
Proceedings of the 2006 international workshop on Software quality, 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the Algebra, Meaning, and Computation, 2006
Proceedings of the Managing Development and Application of Digital Technologies, 2006
2005
IEEE Trans. Software Eng., 2005
Sci. Comput. Program., 2005
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
Proceedings of the Mechanizing Mathematical Reasoning, 2005
2004
Xpert.press, Springer, ISBN: 978-3-642-18732-2, 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
Proceedings of the 9th International Conference on Engineering of Complex Computer Systems (ICECCS 2004), 2004
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Proceedings of the Architecting Systems with Trustworthy Components, 2004
Proceedings of the From Object-Orientation to Formal Methods, 2004
2003
Inform. Spektrum, 2003
Inform. Spektrum, 2003
Engineering Software Intensive Systems.
Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003
Proceedings of the 25th International Conference on Software Engineering, 2003
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
Ole-John Dahl 1931-2002, Kristen Nygaard 1926-2002, Edsger Wyve Dijkstra 1930-2002 (Historische Notizen).
Inform. Spektrum, 2002
Int. J. Softw. Eng. Knowl. Eng., 2002
Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
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
IEEE Trans. Software Eng., 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
Proceedings of the Embedded Software, First International Workshop, 2001
Proceedings of the Handbook of Process Algebra, 2001
2000
Inform. Spektrum, 2000
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
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
TCW-Report 24, TCW, ISBN: 3-931511-52-9, 2000
1999
Proceedings of the Algebraic Foundations of Systems Specification, 1999
Informationstechnik Tech. Inform., 1999
Informatik: Grundlagenwissenschaft oder Ingenieurdisziplin? (Zur Diskussion Gestellt).
Inform. Spektrum, 1999
Inf. Softw. Technol., 1999
Inform. Forsch. Entwickl., 1999
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
A uniform mathematical concept of a component (Appendix to M. Broy et al.: "What characterizes a (software) component?".
Softw. Concepts Tools, 1998
Formal Methods Syst. Des., 1998
Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems, 1998
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
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
Proceedings of the Applied Formal Methods, 1998
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
Grundlegende Konzepte von Informations- und Kommunikationssystemen für den Informatikunterricht.
Proceedings of the Informatik und Lernen in der Informationsgesellschaft, 1997
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997
Proceedings of the Informatik '97, 1997
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
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
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
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
Proceedings of the Mathematics of Program Construction, 1995
Proceedings of the Computer Science Today: Recent Trends and Developments, 1995
1994
Professor Friedrich L. Bauer zum 70. Geburtstag.
Inform. Spektrum, 1994
Proceedings of the Theory and Practice of Parallel Programming, 1994
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
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994
Proceedings of the Formal Systems Specification, 1994
Proceedings of the Formal Systems Specification, 1994
Proceedings of the Formal Systems Specification, 1994
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
ACM Trans. Softw. Eng. Methodol., 1993
Proceedings of the Program Development by Specification and Transformation, 1993
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993
1992
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
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
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992
1991
Forschungsberichte, TU Munich, 1991
Parallelism algebras: a link between process algebras and abstract relation algebras?
Forschungsberichte, TU Munich, 1991
Forschungsberichte, TU Munich, 1991
Int. J. Parallel Program., 1991
Formal Aspects Comput., 1991
Proceedings of the 6th International Workshop on Software Specification and Design, 1991
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991
1990
Forschungsberichte, TU Munich, 1990
Functional modelling of operating sytem [system] structures by timed higher order stream processing functions
Forschungsberichte, TU Munich, 1990
Forschungsberichte, TU Munich, 1990
Methodological Objectives for Formal Description Techniques.
Proceedings of the Formal Description Techniques, 1990
1989
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
Sci. Comput. Program., 1988
Ultra-loose algebraic specifications.
Bull. EATCS, 1988
Proceedings of the GI, 1988
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988
1987
ACM Trans. Program. Lang. Syst., 1987
J. Comput. Syst. Sci., 1987
Predicative Specifications for Functional Programs Describing Communication Networks.
Inf. Process. Lett., 1987
Distributed Comput., 1987
1986
Theor. Comput. Sci., 1986
Inf. Process. Lett., 1986
Proceedings of the Mathematical Foundations of Computer Science 1986, 1986
Proceedings of the Advanced Programming Environments, 1986
Proceedings of the Mathematical Models for the Semantics of Parallelism, Advanced School, Rome, Italy, September 24, 1986
1985
Theor. Comput. Sci., 1985
Algebraic specification of the abstract data type "Continuum".
Bull. EATCS, 1985
Proceedings of the Wissensbasierte Systeme, 1985
Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985
1984
Sci. Comput. Program., 1984
Proceedings of the STACS 84, 1984
1983
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
Proceedings of the GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings, 1983
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
Sci. Comput. Program., 1981
Nichtdeterminismus - Das aktuelle Schlagwort.
Inform. Spektrum, 1981
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981
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
Proceedings of the Trends in Information Processing Systems, 1981
Proceedings of the CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, 1981
Proceedings of the CAAP '81, 1981
1980
Transformation parallel ablaufender Programme (Transformation of parallel running programs)
PhD thesis, 1980
ACM Trans. Program. Lang. Syst., 1980
Programmtransformationen - Das aktuelle Schlagwort.
Inform. Spektrum, 1980
Proceedings of the International Symposium on Programming, 1980
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980
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
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
Proceedings of the Program Construction, International Summer School, July 26, 1978
Proceedings of the Program Construction, International Summer School, July 26, 1978
Proceedings of the Program Construction, International Summer School, July 26, 1978