Egon Börger

Orcid: 0000-0002-6062-9455

Affiliations:
  • University of Pisa, Italy


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Lean Reflective Abstract State Machine Definition.
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Structures of Computing - A Guide to Practice-Oriented Theory
Springer, ISBN: 978-3-031-54357-9, 2024

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

2020
A Behavioural Theory of Recursive Algorithms.
Fundam. Informaticae, 2020

A Characterization of Distributed ASMs with Partial-Order Runs.
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019
Concurrent Computing with Shared Replicated Memory.
Proceedings of the Model and Data Engineering - 9th International Conference, 2019

2018
Why Programming Must Be Supported by Modeling and How.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Modeling Companion for Software Practitioners
Springer, ISBN: 978-3-662-56639-8, 2018

2017
The abstract state machines method for modular design and analysis of programming languages.
J. Log. Comput., 2017

Communication in Abstract State Machines.
J. Univers. Comput. Sci., 2017

2016
Serialisable multi-level transaction control: A specification and verification.
Sci. Comput. Program., 2016

Concurrent abstract state machines.
Acta Informatica, 2016

A Compact Encoding of Sequential ASMs in Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015
Modeling for change via component-based decomposition and ASM refinement.
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.
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management, 2015

2014
Modeling web applications infrastructure with ASMs.
Sci. Comput. Program., 2014

Specifying Transaction Control to Serialize Concurrent Program Executions.
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.
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.
Softw. Syst. Model., 2012

Ambient Abstract State Machines with applications.
J. Comput. Syst. Sci., 2012

The Subject-Oriented Approach to Software Design and the Abstract State Machines Method.
Proceedings of the S-BPM ONE - Scientific Research - 4th International Conference, 2012

Contribution to a Rigorous Analysis of Web Application Frameworks.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Subject-Oriented Business Process Management.
Springer, ISBN: 978-3-642-32391-1, 2012

2011
Editorial.
Formal Aspects Comput., 2011

BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics.
Proceedings of the Handbook of Conceptual Modeling, 2011

Subjektorientiertes Prozessmanagement - Mitarbeiter einbinden, Motivation und Prozessakzeptanz steigern.
Hanser, ISBN: 978-3-446-42707-5, 2011

2010
Synchronous Message Passing and Semaphores: An Equivalence Proof.
Proceedings of the Abstract State Machines, 2010

2009
On Defining the Behavior of OR-joins in Business Process Models.
J. Univers. Comput. Sci., 2009

2008
Quo Vadis Abstract State Machines?
J. Univers. Comput. Sci., 2008

Modularizing Theorems for Software Product Lines: The Jbook Case Study.
J. Univers. Comput. Sci., 2008

Concurrent Abstract State Machines and <sup>+</sup>CAL Programs.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Coupling Design and Verification in Software Product Lines.
Proceedings of the Foundations of Information and Knowledge Systems, 2008

Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach.
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.
Formal Aspects Comput., 2007

A Method for Verifiable and Validatable Business Process Modeling.
Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

Modeling Workflow Patterns from First Principles.
Proceedings of the Conceptual Modeling, 2007

2006
Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis.
J. Object Technol., 2006

A high-level specification for virtual providers.
Int. J. Bus. Process. Integr. Manag., 2006

A high-level specification for Semantic Web Service Discovery Services.
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#.
Theor. Comput. Sci., 2005

Abstract state machines and high-level system design and analysis.
Theor. Comput. Sci., 2005

Abstract State Machines: a unifying view of models of computation and of system design frameworks.
Ann. Pure Appl. Log., 2005

An Execution Semantics for Mediation Patterns.
Proceedings of the WIW 2005 Workshop on WSMO Implementations, 2005

Linking the Meaning of Programs to What the Compiler Can Verify.
Proceedings of the Verified Software: Theories, 2005

A Compositional Framework for Service Interaction Patterns and Interaction Flows.
Proceedings of the Formal Methods and Software Engineering, 2005

An Abstract Model for Process Mediation.
Proceedings of the Formal Methods and Software Engineering, 2005

The ASM Method for System Design and Analysis. A Tutorial Introduction.
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

Using Abstract State Machines for the Description and the Analysis of Formal Systems.
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).
Proceedings of the Business Process Management Workshops, 2005

Design Pattern Abstractions and Abstract State Machines.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

The ASM Method: a Cornerstone in Computer Science Education.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

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

2004
On formalizing UML state machines using ASM.
Inf. Softw. Technol., 2004

A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Modeling with Abstract State Machines: A support for accurate system design and analysis.
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.
Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003
The ASM Refinement Method.
Formal Aspects Comput., 2003

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Exploiting Abstraction for Specification Reuse. The Java/C# Case Study.
Proceedings of the Formal Methods for Components and Objects, 2003

The ASM Ground Model Method as a Foundation for Requirements Engineering.
Proceedings of the Verification: Theory and Practice, 2003

Remarks on Turbo ASMs for Functional Equations and Recursion Schemes.
Proceedings of the Abstract State Machines, 2003

Abstract State Processes.
Proceedings of the Abstract State Machines, 2003

Abstract State Machines. A Method for High-Level System Design and Analysis
Springer, ISBN: 3540007024, 2003

2002
The Origins and the Development of the ASM Method for High Level System Design and Analysis.
J. Univers. Comput. Sci., 2002

2001
A Neural Abstract Machine.
J. Univers. Comput. Sci., 2001

Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue.
J. Univers. Comput. Sci., 2001

Design for Reuse via Structuring Techniques for ASMs.
Proceedings of the Computer Aided Systems Theory, 2001

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

2000
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.
IEEE Trans. Software Eng., 2000

Initialization problems for Java.
Softw. Concepts Tools, 2000

Capturing Requirements by Abstract State Machines: The Light Control Case Study.
J. Univers. Comput. Sci., 2000

The Light Control Case Study: A Synopsis.
J. Univers. Comput. Sci., 2000

Requirements Engineering - The Light Control Case Study.
J. Univers. Comput. Sci., 2000

Composition and Submachine Concepts for Sequential ASMs.
Proceedings of the Computer Science Logic, 2000

Report on a Practical Application of ASMs in Software Design.
Proceedings of the Abstract State Machines, 2000

Modeling the Dynamics of UML State Machines.
Proceedings of the Abstract State Machines, 2000

Abstract State Machines at the Cusp of the Millenium.
Proceedings of the Abstract State Machines, 2000

Using Abstract State Machines at Microsoft: A Case Study.
Proceedings of the Abstract State Machines, 2000

An ASM Semantics for UML Activity Diagrams.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
A Programmer Friendly Modular Definition of the Semantics of Java.
Proceedings of the Formal Syntax and Semantics of Java, 1999

1998
Abstract State Machines 1988-1998: Commented ASM Bibliography.
Bull. EATCS, 1998

Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation.
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

High Level System Design and Analysis Using Abstract State Machines.
Proceedings of the Applied Formal Methods, 1998

1997
A Description of the Tableau Method Using Abstract State Machines.
J. Log. Comput., 1997

Integrating ASMs into the Software Development Life Cycle.
J. Univers. Comput. Sci., 1997

JUCS Special ASM Issue, Part II - Introduction.
J. Univers. Comput. Sci., 1997

Ten Years of Gurevich's Abstract State Machines.
J. Univers. Comput. Sci., 1997

A Practical Method for Rigorously Controllable Hardware Design.
Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

The Classical Decision Problem
Perspectives in Mathematical Logic, Springer, 1997

1996
Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types.
Formal Aspects Comput., 1996

Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints.
Formal Aspects Comput., 1996

Correctness of Compiling Occam to Transputer Code.
Comput. J., 1996

1995
A Mathematical Definition of Full Prolog.
Sci. Comput. Program., 1995

Why Use Evolving Algebras for Hardware and Software Engineering?
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.
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.
Proceedings of the Formal Methods for Industrial Applications, 1995

The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods.
Proceedings of the Formal Methods for Industrial Applications, 1995

The WAM - Definition and Compiler Correctness.
Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994
Occam: Specification and Compiler Correctness - Part I: The Primary Model.
Proceedings of the Programming Concepts, 1994

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations.
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.
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.
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.
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.
Proceedings of the Proceedings EURO-DAC'94, 1994

1993
Evolving Algebras for Specification of Logic Programming Systems.
Proceedings of the 9. Workshop Logische Programmierung, 1993

The Mathematics of Set Predicates in Prolog.
Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Full Prolog in a Nutshell.
Proceedings of the Logic Programming, 1993

The bakery algorithm: yet another specification and verification.
Proceedings of the Specification and validation methods, 1993

CLAM specification for provably correct compilation of CLP( R ) programs.
Proceedings of the Specification and validation methods, 1993

Annotated bibliography on evolving algebras.
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.).
Vieweg, ISBN: 978-3-528-28928-7, 1992

1991
Correctness Proof for the WAM
IWBS Report, 1991

A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof
IWBS Report, 1991

A Framework to Specify Database Update Views for Prolog.
Proceedings of the Programming Language Implementation and Logic Programming, 1991

Logical Operational Semantics of Parlog, Part I: And-Parallelism.
Proceedings of the Processing Declarative Knowledge, 1991

WAM Algebras - A Mathematical Study of Implementation, Part 2.
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.
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.
Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990
A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras
IWBS Report, 1990

Complexity of Logical Decision Problems: An Introduction
IWBS Report, 1990

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

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

A Logical Operational Semantics of Full Prolog
IWBS Report, 1990

A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation.
Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

A Formal Operational Semantics for Languages of Type Prolog III.
Proceedings of the Computer Science Logic, 4th Workshop, 1990

From Prolog Algebras Towards WAM - A Mathematical Study of Implementation.
Proceedings of the Computer Science Logic, 4th Workshop, 1990

1989
A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control.
Proceedings of the CSL '89, 1989

Computability, Complexity, Logic (English translation of "Berechenbarkeit, Komplexität, Logik" from 1985)
Studies in Logic and the Foundations of Mathematics 128, North-Holland, 1989

1988
Fondamenti di informatica.
ETS Editrice, 1988

1987
Unsolvable Decision Problems for Prolog Programs.
Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987

1983
Spektralproblem and completeness of logical decision problems.
Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983

1982
Conservative Reduction Classes of Krom Formulas.
J. Symb. Log., 1982

1981
The Equivalence of Horn and Network Complexity for Boolean Functions.
Acta Informatica, 1981

Logical Description of Computation Processes.
Proceedings of the Fundamentals of Computation Theory, 1981

1980
The Reachability Problem for Petri Nets and Decision Problems for Skolem Arithmetic.
Theor. Comput. Sci., 1980

The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set.
Math. Log. Q., 1980

Prefix classes of krom formulae with identity.
Arch. Math. Log., 1980

1979
A New General Approach to the Theory of the Many-One Equivalence of Decision Problems for Algorithmic Systems.
Math. Log. Q., 1979

1978
Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen.
Arch. Math. Log., 1978

1975
Die<i>m</i>-Grade Logischer Entscheidungsprobleme.
Arch. Math. Log., 1975


  Loading...