| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Egon Börger, Antonio Cisternino, Vincenzo Gervasi |
Ambient Abstract State Machines with applications.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
The Subject-Oriented Approach to Software Design and the Abstract State Machines Method. |
S-BPM ONE (Scientific Research) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
The Subject-Oriented Approach to Software Design and the Abstract State Machines Method. |
Conceptual Modelling and Its Theoretical Foundations |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
Editorial. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Craig, Egon Börger |
Synchronous Message Passing and Semaphores: An Equivalence Proof. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Ove Sörensen, Bernhard Thalheim |
On Defining the Behavior of OR-joins in Business Process Models. |
J. UCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Andreas Prinz |
Quo Vadis Abstract State Machines? |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Don S. Batory, Egon Börger |
Modularizing Theorems for Software Product Lines: The Jbook Case Study. |
J. UCS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Antonio Cisternino (eds.) |
Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures |
Lipari Summer School |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michael Altenhofen, Egon Börger |
Concurrent Abstract State Machines and +CAL Programs. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Don S. Batory |
Coupling Design and Verification in Software Product Lines. |
FoIKS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca (eds.) |
Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings |
ABZ |
2008 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Bernhard Thalheim |
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Validation and certification, ASM ground model (golden model), ASM refinement, Verified software challenge, System analysis, Abstract State Machine |
| 1 | Egon Börger, Bernhard Thalheim |
A Method for Verifiable and Validatable Business Process Modeling. |
Lipari Summer School |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
Modeling Workflow Patterns from First Principles. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicu G. Fruja, Egon Börger |
Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. |
Journal of Object Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Friesen, Egon Börger |
A high-level specification for Semantic Web Service Discovery Services. |
ICWE Workshops |
2006 |
DBLP DOI BibTeX RDF |
semantic web service, abstract state machines, semantic discovery |
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
Abstract state machines and high-level system design and analysis. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
Abstract State Machines: a unifying view of models of computation and of system design frameworks. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alistair P. Barros, Egon Börger |
A Compositional Framework for Service Interaction Patterns and Interaction Flows. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Altenhofen, Egon Börger, Jens Lemcke |
An Abstract Model for Process Mediation. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
Linking the Meaning of Programs to What the Compiler Can Verify. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
The ASM Method for System Design and Analysis. A Tutorial Introduction. |
FroCos |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
Using Abstract State Machines for the Description and the Analysis of Formal Systems. |
DCFS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michael Altenhofen, Egon Börger, Jens Lemcke |
A High-Level Specification for Mediators(Virtual Providers). |
Business Process Management Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
The ASM Method: a Cornerstone in Computer Science Education. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Danièle Beauquier, Egon Börger, Anatol Slissenko |
Introduction. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger |
Design Pattern Abstractions and Abstract State Machines. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
On formalizing UML state machines using ASM. |
Information & Software Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
Modeling with Abstract State Machines: A support for accurate system design and analysis. |
Modellierung |
2004 |
DBLP BibTeX RDF |
|
| 1 | Robert F. Stärk, Egon Börger |
An ASM Specification of C# Threads and the .NET Memory Model. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
The ASM Refinement Method. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Specifying and Verifying and Reasoning about Programs, Models of computation |
| 1 | Egon Börger, Robert F. Stärk |
Abstract State Machines. A Method for High-Level System Design and Analysis |
|
2003 |
RDF |
|
| 1 | Egon Börger, Elvinia Riccobene, Alessandra Cavarra |
Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. |
SAC |
2003 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Robert F. Stärk |
Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
The ASM Ground Model Method as a Foundation for Requirements Engineering. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.) |
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings |
Abstract State Machines |
2003 |
DBLP BibTeX RDF |
|
| 1 | Tommaso Bolognesi, Egon Börger |
Abstract State Processes. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Tommaso Bolognesi |
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
The Origins and the Development of the ASM Method for High Level System Design and Analysis. |
J. UCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Uwe Glässer |
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Diego Sona |
A Neural Abstract Machine. |
J. UCS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Robert F. Stärk, Joachim Schmid, Egon Börger |
Java and the Java Virtual Machine: Definition, Verification, Validation |
|
2001 |
RDF |
|
| 1 | Egon Börger |
Design for Reuse via Structuring Techniques for ASMs. |
EUROCAST |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Wolfram Schulte |
A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines |
| 1 | Egon Börger, Wolfram Schulte |
Initialization problems for Java. |
Software - Concepts and Tools |
2000 |
DBLP DOI BibTeX RDF |
Java, Compiler, Virtual machine, Programming language |
| 1 | Egon Börger, Elvinia Riccobene, Joachim Schmid |
Capturing Requirements by Abstract State Machines: The Light Control Case Study. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Reinhard Gotzhein |
The Light Control Case Study: A Synopsis. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Reinhard Gotzhein |
Requirements Engineering - The Light Control Case Study. |
J. UCS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
An ASM Semantics for UML Activity Diagrams. |
AMAST |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Joachim Schmid |
Composition and Submachine Concepts for Sequential ASMs. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Peter Päppinghaus, Joachim Schmid |
Report on a Practical Application of ASMs in Software Design. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
Modeling the Dynamics of UML State Machines. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
Using Abstract State Machines at Microsoft: A Case Study. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
Abstract State Machines at the Cusp of the Millenium. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Wolfram Schulte |
A Programmer Friendly Modular Definition of the Semantics of Java. |
Formal Syntax and Semantics of Java |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, James K. Huggins |
Abstract State Machines 1988-1998: Commented ASM Bibliography |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Wolfram Schulte |
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
High Level System Design and Analysis Using Abstract State Machines. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Luca Mearelli |
Integrating ASMs into the Software Development Life Cycle. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger |
JUCS Special ASM Issue, Part II - Introduction. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger |
Ten Years of Gurevich's Abstract State Machines. |
J. UCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Peter H. Schmitt |
A Description of the Tableau Method Using Abstract State Machines. |
J. Log. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Erich Grädel, Yuri Gurevich |
The Classical Decision Problem |
|
1997 |
RDF |
|
| 1 | Egon Börger, S. Mazzanti |
A Practical Method for Rigorously Controllable Hardware Design. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Egon Börger |
Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. |
Formal Asp. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Egon Börger |
Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. |
Formal Asp. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Igor Durdanovic |
Correctness of Compiling Occam to Transputer Code. |
Comput. J. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Raymond Abrial, Egon Börger, Hans Langmaack (eds.) |
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). |
Formal Methods for Industrial Applications |
1996 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Dean Rosenzweig |
A Mathematical Definition of Full Prolog. |
Sci. Comput. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Dean Rosenzweig |
The WAM - Definition and Compiler Correctness. |
Logic Programming: Formal Methods and Practical Applications |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
real-life processor, APE100 Reverse Engineering, modular structuring, microprocessor zCPU, APE100 massively parallel machine, provably correct composition, formal specification, formal method, reverse engineering, parallel architectures |
| 1 | Egon Börger |
Why Use Evolving Algebras for Hardware and Software Engineering? |
SOFSEM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Müller 0003, Egon Börger, Uwe Glässer |
The semantics of behavioral VHDL '93 descriptions. |
EURO-DAC |
1994 |
DBLP DOI BibTeX RDF |
VHDL |
| 1 | Egon Börger, Igor Durdanovic, Dean Rosenzweig |
Occam: Specification and Compiler Correctness - Part I: The Primary Model. |
PROCOMET |
1994 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig |
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. |
IFIP Congress |
1994 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Uwe Glässer |
A Formal Specification of the PVM Architecture. |
IFIP Congress |
1994 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger |
Logic Programming: The Evolving Algebra Approach. |
IFIP Congress |
1994 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1994 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Yuri Gurevich, Karl Meinke (eds.) |
Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers |
CSL |
1994 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Dean Rosenzweig |
Full Prolog in a Nutshell. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Dean Rosenzweig |
The Mathematics of Set Predicates in Prolog. |
Kurt Gödel Colloquium |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter (eds.) |
Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers |
CSL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger |
Evolving Algebras for Specification of Logic Programming Systems. |
WLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger |
Berechenbarkeit, Komplexität und Logik - Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität (3. Aufl.). |
|
1992 |
RDF |
|
| 1 | Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter (eds.) |
Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings |
CSL |
1992 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Egon Börger |
A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof |
IWBS Report |
1991 |
RDF |
|
| 1 | Christoph Beierle, Egon Börger |
Correctness Proof for the WAM |
IWBS Report |
1991 |
RDF |
|
| 1 | Egon Börger, Elvinia Riccobene |
Logical Operational Semantics of Parlog. Part II: Or-Parallelism. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Dean Rosenzweig |
WAM Algebras - A Mathematical Study of Implementation, Part 2. |
RCLP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Elvinia Riccobene |
Logical Operational Semantics of Parlog, Part I: And-Parallelism. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Bart Demoen |
A Framework to Specify Database Update Views for Prolog. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld (eds.) |
Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings |
CSL |
1991 |
DBLP BibTeX RDF |
|
| 1 | Christoph Beierle, Egon Börger |
Correctness Proof For the WAM with Types. |
CSL |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger |
A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output |
IWBS Report |
1990 |
RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")