Egon Börger

According to our database, Egon Börger authored at least 141 papers between 1975 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

A Lean Reflective Abstract State Machine Definition.

Egon Börger, Vincenzo Gervasi

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Structures of Computing - A Guide to Practice-Oriented Theory

Egon Börger, Vincenzo Gervasi

Springer, ISBN: 978-3-031-54357-9, 2024

2022

The Role of Executable Abstract Programs in Software Development and Documentation.

Egon Börger

CoRR, 2022

2020

A Behavioural Theory of Recursive Algorithms.

Egon Börger, Klaus-Dieter Schewe

Fundam. Informaticae, 2020

A Characterization of Distributed ASMs with Partial-Order Runs.

Egon Börger, Klaus-Dieter Schewe

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Concurrent Computing with Shared Replicated Memory.

Klaus-Dieter Schewe, Andreas Prinz, Egon Börger

Proceedings of the Model and Data Engineering - 9th International Conference, 2019

2018

Why Programming Must Be Supported by Modeling and How.

Egon Börger

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Modeling Companion for Software Practitioners

Egon Börger, Alexander Raschke

Springer, ISBN: 978-3-662-56639-8, 2018

2017

The abstract state machines method for modular design and analysis of programming languages.

Egon Börger

J. Log. Comput., 2017

Communication in Abstract State Machines.

Egon Börger, Klaus-Dieter Schewe

J. Univers. Comput. Sci., 2017

2016

Serialisable multi-level transaction control: A specification and verification.

Egon Börger, Klaus-Dieter Schewe, Qing Wang

Sci. Comput. Program., 2016

Concurrent abstract state machines.

Egon Börger, Klaus-Dieter Schewe

Acta Informatica, 2016

A Compact Encoding of Sequential ASMs in Event-B.

Michael Leuschel, Egon Börger

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets.

Egon Börger

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Modeling for change via component-based decomposition and ASM refinement.

Egon Börger, Simone Zenzaro

Proceedings of the 7th International Conference on Subject-Oriented Business Process Management, 2015

Abstract state machine nets: closing the gap between business process models and their implementation.

Egon Börger, Albert Fleischmann

Proceedings of the 7th International Conference on Subject-Oriented Business Process Management, 2015

2014

Modeling web applications infrastructure with ASMs.

Vincenzo Gervasi, Egon Börger, Antonio Cisternino

Sci. Comput. Program., 2014

Specifying Transaction Control to Serialize Concurrent Program Executions.

Egon Börger, Klaus-Dieter Schewe

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Subject-Orientation as a Method to Specify the Cooperation of Active Entities in the uCepCortex Project.

Albert Fleischmann, Egon Börger, Harald Lerchner

Proceedings of the Advances in Brain Inspired Cognitive Systems, 2013

2012

Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL.

Egon Börger

Softw. Syst. Model., 2012

Ambient Abstract State Machines with applications.

Egon Börger, Antonio Cisternino, Vincenzo Gervasi

J. Comput. Syst. Sci., 2012

The Subject-Oriented Approach to Software Design and the Abstract State Machines Method.

Egon Börger

Proceedings of the S-BPM ONE - Scientific Research - 4th International Conference, 2012

Contribution to a Rigorous Analysis of Web Application Frameworks.

Egon Börger, Antonio Cisternino, Vincenzo Gervasi

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Subject-Oriented Business Process Management.

Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger

Springer, ISBN: 978-3-642-32391-1, 2012

2011

Editorial.

Egon Börger

Formal Aspects Comput., 2011

BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics.

Egon Börger, Ove Sörensen

Proceedings of the Handbook of Conceptual Modeling, 2011

Subjektorientiertes Prozessmanagement - Mitarbeiter einbinden, Motivation und Prozessakzeptanz steigern.

Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger

Hanser, ISBN: 978-3-446-42707-5, 2011

2010

Synchronous Message Passing and Semaphores: An Equivalence Proof.

Iain Craig, Egon Börger

Proceedings of the Abstract State Machines, 2010

2009

On Defining the Behavior of OR-joins in Business Process Models.

Egon Börger, Ove Sörensen, Bernhard Thalheim

J. Univers. Comput. Sci., 2009

2008

Quo Vadis Abstract State Machines?

Egon Börger, Andreas Prinz

J. Univers. Comput. Sci., 2008

Modularizing Theorems for Software Product Lines: The Jbook Case Study.

Don S. Batory, Egon Börger

J. Univers. Comput. Sci., 2008

Concurrent Abstract State Machines and ⁺CAL Programs.

Michael Altenhofen, Egon Börger

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Coupling Design and Verification in Software Product Lines.

Egon Börger, Don S. Batory

Proceedings of the Foundations of Information and Knowledge Systems, 2008

Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach.

Egon Börger, Bernhard Thalheim

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems.

Egon Börger

Formal Aspects Comput., 2007

A Method for Verifiable and Validatable Business Process Modeling.

Egon Börger, Bernhard Thalheim

Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

Modeling Workflow Patterns from First Principles.

Egon Börger

Proceedings of the Conceptual Modeling, 2007

2006

Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis.

Nicu G. Fruja, Egon Börger

J. Object Technol., 2006

A high-level specification for virtual providers.

Michael Altenhofen, Andreas Friesen, Jens Lemcke, Egon Börger

Int. J. Bus. Process. Integr. Manag., 2006

A high-level specification for Semantic Web Service Discovery Services.

Andreas Friesen, Egon Börger

Proceedings of the Workshop Proceedings of the 6th International Conference on Web Engineering, 2006

2005

A high-level modular definition of the semantics of C#.

Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk

Theor. Comput. Sci., 2005

Abstract state machines and high-level system design and analysis.

Egon Börger

Theor. Comput. Sci., 2005

Abstract State Machines: a unifying view of models of computation and of system design frameworks.

Egon Börger

Ann. Pure Appl. Log., 2005

An Execution Semantics for Mediation Patterns.

Michael Altenhofen, Egon Börger, Jens Lemcke

Proceedings of the WIW 2005 Workshop on WSMO Implementations, 2005

Linking the Meaning of Programs to What the Compiler Can Verify.

Egon Börger

Proceedings of the Verified Software: Theories, 2005

A Compositional Framework for Service Interaction Patterns and Interaction Flows.

Alistair Barros, Egon Börger

Proceedings of the Formal Methods and Software Engineering, 2005

An Abstract Model for Process Mediation.

Michael Altenhofen, Egon Börger, Jens Lemcke

Proceedings of the Formal Methods and Software Engineering, 2005

The ASM Method for System Design and Analysis. A Tutorial Introduction.

Egon Börger

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

Using Abstract State Machines for the Description and the Analysis of Formal Systems.

Egon Börger

Proceedings of the 7th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2005, Como, Italy, June 30, 2005

A High-Level Specification for Mediators(Virtual Providers).

Michael Altenhofen, Egon Börger, Jens Lemcke

Proceedings of the Business Process Management Workshops, 2005

Design Pattern Abstractions and Abstract State Machines.

Egon Börger

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

The ASM Method: a Cornerstone in Computer Science Education.

Egon Börger

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

Introduction.

Danièle Beauquier, Egon Börger, Anatol Slissenko

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

On formalizing UML state machines using ASM.

Egon Börger, Alessandra Cavarra, Elvinia Riccobene

Inf. Softw. Technol., 2004

A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis.

Egon Börger

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Modeling with Abstract State Machines: A support for accurate system design and analysis.

Egon Börger

Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

An ASM Specification of C# Threads and the .NET Memory Model.

Robert F. Stärk, Egon Börger

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

The ASM Refinement Method.

Egon Börger

Formal Aspects Comput., 2003

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines.

Egon Börger, Elvinia Riccobene, Alessandra Cavarra

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Exploiting Abstraction for Specification Reuse. The Java/C# Case Study.

Egon Börger, Robert F. Stärk

Proceedings of the Formal Methods for Components and Objects, 2003

The ASM Ground Model Method as a Foundation for Requirements Engineering.

Egon Börger

Proceedings of the Verification: Theory and Practice, 2003

Remarks on Turbo ASMs for Functional Equations and Recursion Schemes.

Egon Börger, Tommaso Bolognesi

Proceedings of the Abstract State Machines, 2003

Abstract State Processes.

Tommaso Bolognesi, Egon Börger

Proceedings of the Abstract State Machines, 2003

Abstract State Machines. A Method for High-Level System Design and Analysis

Egon Börger, Robert F. Stärk

Springer, ISBN: 3540007024, 2003

2002

The Origins and the Development of the ASM Method for High Level System Design and Analysis.

Egon Börger

J. Univers. Comput. Sci., 2002

2001

A Neural Abstract Machine.

Egon Börger, Diego Sona

J. Univers. Comput. Sci., 2001

Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue.

Egon Börger, Uwe Glässer

J. Univers. Comput. Sci., 2001

Design for Reuse via Structuring Techniques for ASMs.

Egon Börger

Proceedings of the Computer Aided Systems Theory, 2001

Java and the Java Virtual Machine: Definition, Verification, Validation

Robert F. Stärk, Joachim Schmid, Egon Börger

Springer, 2001

2000

A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.

Egon Börger, Wolfram Schulte

IEEE Trans. Software Eng., 2000

Initialization problems for Java.

Egon Börger, Wolfram Schulte

Softw. Concepts Tools, 2000

Capturing Requirements by Abstract State Machines: The Light Control Case Study.

Egon Börger, Elvinia Riccobene, Joachim Schmid

J. Univers. Comput. Sci., 2000

The Light Control Case Study: A Synopsis.

Egon Börger, Reinhard Gotzhein

J. Univers. Comput. Sci., 2000

Requirements Engineering - The Light Control Case Study.

Egon Börger, Reinhard Gotzhein

J. Univers. Comput. Sci., 2000

Composition and Submachine Concepts for Sequential ASMs.

Egon Börger, Joachim Schmid

Proceedings of the Computer Science Logic, 2000

Report on a Practical Application of ASMs in Software Design.

Egon Börger, Peter Päppinghaus, Joachim Schmid

Proceedings of the Abstract State Machines, 2000

Modeling the Dynamics of UML State Machines.

Egon Börger, Alessandra Cavarra, Elvinia Riccobene

Proceedings of the Abstract State Machines, 2000

Abstract State Machines at the Cusp of the Millenium.

Egon Börger

Proceedings of the Abstract State Machines, 2000

Using Abstract State Machines at Microsoft: A Case Study.

Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes

Proceedings of the Abstract State Machines, 2000

An ASM Semantics for UML Activity Diagrams.

Egon Börger, Alessandra Cavarra, Elvinia Riccobene

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

A Programmer Friendly Modular Definition of the Semantics of Java.

Egon Börger, Wolfram Schulte

Proceedings of the Formal Syntax and Semantics of Java, 1999

1998

Abstract State Machines 1988-1998: Commented ASM Bibliography.

Egon Börger, James K. Huggins

Bull. EATCS, 1998

Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation.

Egon Börger, Wolfram Schulte

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

High Level System Design and Analysis Using Abstract State Machines.

Egon Börger

Proceedings of the Applied Formal Methods, 1998

1997

A Description of the Tableau Method Using Abstract State Machines.

Egon Börger, Peter H. Schmitt

J. Log. Comput., 1997

Integrating ASMs into the Software Development Life Cycle.

Egon Börger, Luca Mearelli

J. Univers. Comput. Sci., 1997

JUCS Special ASM Issue, Part II - Introduction.

Egon Börger

J. Univers. Comput. Sci., 1997

Ten Years of Gurevich's Abstract State Machines.

Egon Börger

J. Univers. Comput. Sci., 1997

A Practical Method for Rigorously Controllable Hardware Design.

Egon Börger, Stefano Mazzanti

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

The Classical Decision Problem

Egon Börger, Erich Grädel, Yuri Gurevich

Perspectives in Mathematical Logic, Springer, 1997

1996

Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types.

Christoph Beierle, Egon Börger

Formal Aspects Comput., 1996

Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints.

Christoph Beierle, Egon Börger

Formal Aspects Comput., 1996

Correctness of Compiling Occam to Transputer Code.

Egon Börger, Igor Durdanovic

Comput. J., 1996

1995

A Mathematical Definition of Full Prolog.

Egon Börger, Dean Rosenzweig

Sci. Comput. Program., 1995

Why Use Evolving Algebras for Hardware and Software Engineering?

Egon Börger

Proceedings of the SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23, 1995

A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study.

Egon Börger, Giuseppe Del Castillo

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code.

Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene

Proceedings of the Formal Methods for Industrial Applications, 1995

The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods.

Jean-Raymond Abrial, Egon Börger, Hans Langmaack

Proceedings of the Formal Methods for Industrial Applications, 1995

The WAM - Definition and Compiler Correctness.

Egon Börger, Dean Rosenzweig

Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994

Occam: Specification and Compiler Correctness - Part I: The Primary Model.

Egon Börger, Igor Durdanovic, Dean Rosenzweig

Proceedings of the Programming Concepts, 1994

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations.

Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

A Formal Specification of the PVM Architecture.

Egon Börger, Uwe Glässer

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Towards a Mathematical Specification of the APE100 Architecture: The APESE Model.

Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Logic Programming: The Evolving Algebra Approach.

Egon Börger

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

The semantics of behavioral VHDL '93 descriptions.

Wolfgang Müller, Egon Börger, Uwe Glässer

Proceedings of the Proceedings EURO-DAC'94, 1994

1993

Evolving Algebras for Specification of Logic Programming Systems.

Egon Börger

Proceedings of the 9. Workshop Logische Programmierung, 1993

The Mathematics of Set Predicates in Prolog.

Egon Börger, Dean Rosenzweig

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Full Prolog in a Nutshell.

Egon Börger, Dean Rosenzweig

Proceedings of the Logic Programming, 1993

The bakery algorithm: yet another specification and verification.

Dean Rosenzweig, Egon Börger, Yuri Gurevich

Proceedings of the Specification and validation methods, 1993

CLAM specification for provably correct compilation of CLP( R ) programs.

Egon Börger, Rosario F. Salamone

Proceedings of the Specification and validation methods, 1993

Annotated bibliography on evolving algebras.

Egon Börger

Proceedings of the Specification and validation methods, 1993

1992

Berechenbarkeit, Komplexität und Logik - Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität (3. Aufl.).

Egon Börger

Vieweg, ISBN: 978-3-528-28928-7, 1992

1991

Correctness Proof for the WAM

Christoph Beierle, Egon Börger

IWBS Report, 1991

A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof

Christoph Beierle, Egon Börger

IWBS Report, 1991

A Framework to Specify Database Update Views for Prolog.

Egon Börger, Bart Demoen

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Logical Operational Semantics of Parlog, Part I: And-Parallelism.

Egon Börger, Elvinia Riccobene

Proceedings of the Processing Declarative Knowledge, 1991

WAM Algebras - A Mathematical Study of Implementation, Part 2.

Egon Börger, Dean Rosenzweig

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

Logical Operational Semantics of Parlog. Part II: Or-Parallelism.

Egon Börger, Elvinia Riccobene

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

Correctness Proof For the WAM with Types.

Christoph Beierle, Egon Börger

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990

A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras

Egon Börger, Peter H. Schmitt

IWBS Report, 1990

Complexity of Logical Decision Problems: An Introduction

Egon Börger

IWBS Report, 1990

A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output

Egon Börger

IWBS Report, 1990

A Logical Operational Semantics of Full Prolog Part II: Built-in Predicates for Database Manipulations

Egon Börger

IWBS Report, 1990

A Logical Operational Semantics of Full Prolog

Egon Börger

IWBS Report, 1990

A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation.

Egon Börger

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

A Formal Operational Semantics for Languages of Type Prolog III.

Egon Börger, Peter H. Schmitt

Proceedings of the Computer Science Logic, 4th Workshop, 1990

From Prolog Algebras Towards WAM - A Mathematical Study of Implementation.

Egon Börger, Dean Rosenzweig

Proceedings of the Computer Science Logic, 4th Workshop, 1990

1989

A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control.

Egon Börger

Proceedings of the CSL '89, 1989

Computability, Complexity, Logic (English translation of "Berechenbarkeit, Komplexität, Logik" from 1985)

Egon Börger

Studies in Logic and the Foundations of Mathematics 128, North-Holland, 1989

1988

Fondamenti di informatica.

Egon Börger, Andrea Maggiolo-Schettini

ETS Editrice, 1988

1987

Unsolvable Decision Problems for Prolog Programs.

Egon Börger

Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987

1983

Spektralproblem and completeness of logical decision problems.

Egon Börger

Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983

1982

Conservative Reduction Classes of Krom Formulas.

Stål Aanderaa, Egon Börger, Harry R. Lewis

J. Symb. Log., 1982

1981

The Equivalence of Horn and Network Complexity for Boolean Functions.

Stål O. Aanderaa, Egon Börger

Acta Informatica, 1981

Logical Description of Computation Processes.

Egon Börger

Proceedings of the Fundamentals of Computation Theory, 1981

1980

The Reachability Problem for Petri Nets and Decision Problems for Skolem Arithmetic.

Egon Börger, Hans Kleine Büning

Theor. Comput. Sci., 1980

The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set.

Egon Börger, Hans Kleine Büning

Math. Log. Q., 1980

Prefix classes of krom formulae with identity.

Stål O. Aanderaa, Egon Börger, Yuri Gurevich

Arch. Math. Log., 1980

1979

A New General Approach to the Theory of the Many-One Equivalence of Decision Problems for Algorithmic Systems.

Egon Börger

Math. Log. Q., 1979

1978

Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.

Egon Börger

Arch. Math. Log., 1978

1975

Die<i>m</i>-Grade Logischer Entscheidungsprobleme.

Egon Börger, Klaus Heidler

Arch. Math. Log., 1975