Egon Börger

ORCID

Publication Activity (10 Years)

Years Active: 1975-2024
Publications (10 Years): 16

Top Venues

CoRR

ABZ

Sci. Comput. Program.

S-BPM ONE

Publications

Egon Börger, Vincenzo Gervasi
A Lean Reflective Abstract State Machine Definition. ABZ (2024)
Egon Börger
The Role of Executable Abstract Programs in Software Development and Documentation. CoRR (2022)
Egon Börger, Klaus-Dieter Schewe
A Behavioural Theory of Recursive Algorithms. Fundam. Informaticae 177 (1) (2020)
Egon Börger, Klaus-Dieter Schewe
A Characterization of Distributed ASMs with Partial-Order Runs. ABZ (2020)
Egon Börger, Klaus-Dieter Schewe
A Behavioural Theory of Recursive Algorithms. CoRR (2020)
Klaus-Dieter Schewe, Andreas Prinz, Egon Börger
Concurrent Computing with Shared Replicated Memory. MEDI (2019)
Klaus-Dieter Schewe, Andreas Prinz, Egon Börger
Concurrent Computing with Shared Replicated Memory. CoRR (2019)
Egon Börger
Why Programming Must Be Supported by Modeling and How. ISoLA (1) (2018)
Egon Börger, Klaus-Dieter Schewe
Communication in Abstract State Machines. J. Univers. Comput. Sci. 23 (2) (2017)
Egon Börger, Klaus-Dieter Schewe
Specifying Transaction Control to Serialize Concurrent Program Executions. CoRR (2017)
Egon Börger, Klaus-Dieter Schewe, Qing Wang
Serialisable Multi-Level Transaction Control: A Specification and Verification. CoRR (2017)
Egon Börger
The abstract state machines method for modular design and analysis of programming languages. J. Log. Comput. 27 (2) (2017)
Egon Börger
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets. ABZ (2016)
Michael Leuschel, Egon Börger
A Compact Encoding of Sequential ASMs in Event-B. ABZ (2016)
Egon Börger, Klaus-Dieter Schewe, Qing Wang
Serialisable multi-level transaction control: A specification and verification. Sci. Comput. Program. 131 (2016)
Egon Börger, Klaus-Dieter Schewe
Concurrent abstract state machines. Acta Informatica 53 (5) (2016)
Egon Börger, Albert Fleischmann
Abstract state machine nets: closing the gap between business process models and their implementation. S-BPM ONE (2015)
Egon Börger, Simone Zenzaro
Modeling for change via component-based decomposition and ASM refinement. S-BPM ONE (2015)
Egon Börger, Klaus-Dieter Schewe
Specifying Transaction Control to Serialize Concurrent Program Executions. ABZ (2014)
Vincenzo Gervasi, Egon Börger, Antonio Cisternino
Modeling web applications infrastructure with ASMs. Sci. Comput. Program. 94 (2014)
Albert Fleischmann, Egon Börger, Harald Lerchner
Subject-Orientation as a Method to Specify the Cooperation of Active Entities in the uCepCortex Project. BICS (2013)
Egon Börger, Antonio Cisternino, Vincenzo Gervasi
Ambient Abstract State Machines with applications. J. Comput. Syst. Sci. 78 (3) (2012)
Egon Börger
The Subject-Oriented Approach to Software Design and the Abstract State Machines Method. Conceptual Modelling and Its Theoretical Foundations (2012)
Egon Börger
The Subject-Oriented Approach to Software Design and the Abstract State Machines Method. S-BPM ONE (Scientific Research) (2012)
Egon Börger
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL. Softw. Syst. Model. 11 (3) (2012)
Egon Börger, Antonio Cisternino, Vincenzo Gervasi
Contribution to a Rigorous Analysis of Web Application Frameworks. ABZ (2012)
Egon Börger, Antonio Cisternino, Vincenzo Gervasi
Contribution to a Rigorous Analysis of Web Application Frameworks. IFM (2012)
Egon Börger
Editorial. Formal Aspects Comput. 23 (1) (2011)
Iain Craig, Egon Börger
Synchronous Message Passing and Semaphores: An Equivalence Proof. ASM (2010)
Egon Börger, Ove Sörensen, Bernhard Thalheim
On Defining the Behavior of OR-joins in Business Process Models. J. Univers. Comput. Sci. 15 (1) (2009)
Egon Börger, Andreas Prinz
Quo Vadis Abstract State Machines? J. Univers. Comput. Sci. 14 (12) (2008)
Egon Börger, Bernhard Thalheim
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. ABZ (2008)
Egon Börger, Don S. Batory
Coupling Design and Verification in Software Product Lines. FoIKS (2008)
Don S. Batory, Egon Börger
Modularizing Theorems for Software Product Lines: The Jbook Case Study. J. Univers. Comput. Sci. 14 (12) (2008)
Michael Altenhofen, Egon Börger
CAL Programs. WADT (2008)
Egon Börger
Modeling Workflow Patterns from First Principles. ER (2007)
Egon Börger
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. Formal Aspects Comput. 19 (2) (2007)
Egon Börger, Bernhard Thalheim
A Method for Verifiable and Validatable Business Process Modeling. Lipari Summer School (2007)
Nicu G. Fruja, Egon Börger
Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. J. Object Technol. 5 (3) (2006)
Michael Altenhofen, Andreas Friesen, Jens Lemcke, Egon Börger
A high-level specification for virtual providers. Int. J. Bus. Process. Integr. Manag. 1 (4) (2006)
Andreas Friesen, Egon Börger
A high-level specification for Semantic Web Service Discovery Services. ICWE Workshops (2006)
Egon Börger
Abstract state machines and high-level system design and analysis. Theor. Comput. Sci. 336 (2-3) (2005)
Egon Börger
Abstract State Machines: a unifying view of models of computation and of system design frameworks. Ann. Pure Appl. Log. 133 (1-3) (2005)
Egon Börger
Using Abstract State Machines for the Description and the Analysis of Formal Systems. DCFS (2005)
Egon Börger
The ASM Method: a Cornerstone in Computer Science Education. Abstract State Machines (2005)
Alistair Barros, Egon Börger
A Compositional Framework for Service Interaction Patterns and Interaction Flows. ICFEM (2005)
Egon Börger
Linking the Meaning of Programs to What the Compiler Can Verify. VSTTE (2005)
Egon Börger
Design Pattern Abstractions and Abstract State Machines. Abstract State Machines (2005)
Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk
A high-level modular definition of the semantics of C#. Theor. Comput. Sci. 336 (2-3) (2005)
Danièle Beauquier, Egon Börger, Anatol Slissenko
Introduction. Abstract State Machines (2005)
Michael Altenhofen, Egon Börger, Jens Lemcke
An Abstract Model for Process Mediation. ICFEM (2005)
Michael Altenhofen, Egon Börger, Jens Lemcke
A High-Level Specification for Mediators(Virtual Providers). Business Process Management Workshops (2005)
Egon Börger
The ASM Method for System Design and Analysis. A Tutorial Introduction. FroCoS (2005)
Michael Altenhofen, Egon Börger, Jens Lemcke
An Execution Semantics for Mediation Patterns. WIW (2005)
Egon Börger
A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. TFM (2004)
Robert F. Stärk, Egon Börger
An ASM Specification of C# Threads and the .NET Memory Model. Abstract State Machines (2004)
Egon Börger, Alessandra Cavarra, Elvinia Riccobene
On formalizing UML state machines using ASM. Inf. Softw. Technol. 46 (5) (2004)
Egon Börger
Modeling with Abstract State Machines: A support for accurate system design and analysis. Modellierung (2004)
Egon Börger, Elvinia Riccobene, Alessandra Cavarra
Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. SAC (2003)
Egon Börger
The ASM Ground Model Method as a Foundation for Requirements Engineering. Verification: Theory and Practice (2003)
Tommaso Bolognesi, Egon Börger
Abstract State Processes. Abstract State Machines (2003)
Egon Börger
The ASM Refinement Method. Formal Aspects Comput. 15 (2-3) (2003)
Egon Börger, Tommaso Bolognesi
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. Abstract State Machines (2003)
Egon Börger, Robert F. Stärk
Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. FMCO (2003)
Egon Börger
The Origins and the Development of the ASM Method for High Level System Design and Analysis. J. Univers. Comput. Sci. 8 (1) (2002)
Egon Börger, Diego Sona
A Neural Abstract Machine. J. Univers. Comput. Sci. 7 (11) (2001)
Egon Börger, Uwe Glässer
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. J. Univers. Comput. Sci. 7 (11) (2001)
Egon Börger
Design for Reuse via Structuring Techniques for ASMs. EUROCAST (2001)
Egon Börger, Reinhard Gotzhein
The Light Control Case Study: A Synopsis. J. Univers. Comput. Sci. 6 (7) (2000)
Egon Börger, Peter Päppinghaus, Joachim Schmid
Report on a Practical Application of ASMs in Software Design. Abstract State Machines (2000)
Egon Börger, Joachim Schmid
Composition and Submachine Concepts for Sequential ASMs. CSL (2000)
Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines (2000)
Egon Börger, Elvinia Riccobene, Joachim Schmid
Capturing Requirements by Abstract State Machines: The Light Control Case Study. J. Univers. Comput. Sci. 6 (7) (2000)
Egon Börger, Reinhard Gotzhein
Requirements Engineering - The Light Control Case Study. J. Univers. Comput. Sci. 6 (7) (2000)
Egon Börger, Alessandra Cavarra, Elvinia Riccobene
Modeling the Dynamics of UML State Machines. Abstract State Machines (2000)
Egon Börger
Abstract State Machines at the Cusp of the Millenium. Abstract State Machines (2000)
Egon Börger, Wolfram Schulte
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. IEEE Trans. Software Eng. 26 (9) (2000)
Egon Börger, Wolfram Schulte
Initialization problems for Java. Softw. Concepts Tools 19 (4) (2000)
Egon Börger, Alessandra Cavarra, Elvinia Riccobene
An ASM Semantics for UML Activity Diagrams. AMAST (2000)
Egon Börger, Wolfram Schulte
A Programmer Friendly Modular Definition of the Semantics of Java. Formal Syntax and Semantics of Java (1999)
Egon Börger, Wolfram Schulte
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. MFCS (1998)
Egon Börger
High Level System Design and Analysis Using Abstract State Machines. FM-Trends (1998)
Egon Börger, James K. Huggins
Abstract State Machines 1988-1998: Commented ASM Bibliography CoRR (1998)
Egon Börger, James K. Huggins
Abstract State Machines 1988-1998: Commented ASM Bibliography. Bull. EATCS 64 (1998)
Egon Börger
Ten Years of Gurevich's Abstract State Machines. J. Univers. Comput. Sci. 3 (4) (1997)
Egon Börger, Peter H. Schmitt
A Description of the Tableau Method Using Abstract State Machines. J. Log. Comput. 7 (5) (1997)
Egon Börger, Luca Mearelli
Integrating ASMs into the Software Development Life Cycle. J. Univers. Comput. Sci. 3 (5) (1997)
Egon Börger, Stefano Mazzanti
A Practical Method for Rigorously Controllable Hardware Design. ZUM (1997)
Egon Börger
JUCS Special ASM Issue, Part II - Introduction. J. Univers. Comput. Sci. 3 (5) (1997)
Christoph Beierle, Egon Börger
Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. Formal Aspects Comput. 8 (5) (1996)
Christoph Beierle, Egon Börger
Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. Formal Aspects Comput. 8 (4) (1996)
Egon Börger, Igor Durdanovic
Correctness of Compiling Occam to Transputer Code. Comput. J. 39 (1) (1996)
Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene
Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Formal Methods for Industrial Applications (1995)
Egon Börger, Giuseppe Del Castillo
A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study. ICECCS (1995)
Egon Börger, Dean Rosenzweig
A Mathematical Definition of Full Prolog. Sci. Comput. Program. 24 (3) (1995)
Egon Börger
Why Use Evolving Algebras for Hardware and Software Engineering? SOFSEM (1995)
Jean-Raymond Abrial, Egon Börger, Hans Langmaack
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. Formal Methods for Industrial Applications (1995)
Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. IFIP Congress (1) (1994)
Egon Börger
Logic Programming: The Evolving Algebra Approach. IFIP Congress (1) (1994)
Wolfgang Müller, Egon Börger, Uwe Glässer
The semantics of behavioral VHDL '93 descriptions. EURO-DAC (1994)

Egon Börger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Egon Börger