


Остановите войну!
for scientists:
Egon Börger
Person information

- affiliation: University of Pisa, Italy
- award: Humboldt Prize
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [c74]Egon Börger, Klaus-Dieter Schewe:
A Characterization of Distributed ASMs with Partial-Order Runs. ABZ 2020: 78-92 - [i12]Egon Börger, Klaus-Dieter Schewe:
A Behavioural Theory of Recursive Algorithms. CoRR abs/2001.01862 (2020)
2010 – 2019
- 2019
- [c73]Klaus-Dieter Schewe, Andreas Prinz, Egon Börger:
Concurrent Computing with Shared Replicated Memory. MEDI 2019: 219-234 - [i11]Klaus-Dieter Schewe, Andreas Prinz, Egon Börger:
Concurrent Computing with Shared Replicated Memory. CoRR abs/1902.04789 (2019) - 2018
- [b9]Egon Börger, Alexander Raschke:
Modeling Companion for Software Practitioners. Springer 2018, ISBN 978-3-662-56639-8, pp. 1-349 - [c72]Egon Börger:
Why Programming Must Be Supported by Modeling and How. ISoLA (1) 2018: 89-110 - 2017
- [j44]Egon Börger, Klaus-Dieter Schewe:
Communication in Abstract State Machines. J. Univers. Comput. Sci. 23(2): 129-145 (2017) - [j43]Egon Börger:
The abstract state machines method for modular design and analysis of programming languages. J. Log. Comput. 27(2): 417-439 (2017) - [i10]Egon Börger, Klaus-Dieter Schewe:
Specifying Transaction Control to Serialize Concurrent Program Executions. CoRR abs/1706.01762 (2017) - [i9]Egon Börger, Klaus-Dieter Schewe, Qing Wang:
Serialisable Multi-Level Transaction Control: A Specification and Verification. CoRR abs/1706.04043 (2017) - 2016
- [j42]Egon Börger, Klaus-Dieter Schewe:
Concurrent abstract state machines. Acta Informatica 53(5): 469-492 (2016) - [j41]Egon Börger, Klaus-Dieter Schewe, Qing Wang:
Serialisable multi-level transaction control: A specification and verification. Sci. Comput. Program. 131: 42-58 (2016) - [c71]Egon Börger:
Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets. ABZ 2016: 3-34 - [c70]Michael Leuschel, Egon Börger:
A Compact Encoding of Sequential ASMs in Event-B. ABZ 2016: 119-134 - 2015
- [c69]Egon Börger, Albert Fleischmann:
Abstract state machine nets: closing the gap between business process models and their implementation. S-BPM ONE 2015: 1:1-1:10 - [c68]Egon Börger, Simone Zenzaro:
Modeling for change via component-based decomposition and ASM refinement. S-BPM ONE 2015: 13:1-13:13 - 2014
- [j40]Vincenzo Gervasi
, Egon Börger, Antonio Cisternino
:
Modeling web applications infrastructure with ASMs. Sci. Comput. Program. 94: 69-92 (2014) - [c67]Egon Börger, Klaus-Dieter Schewe:
Specifying Transaction Control to Serialize Concurrent Program Executions. ABZ 2014: 142-157 - 2013
- [c66]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: 328-337 - 2012
- [b8]Albert Fleischmann, Werner Schmidt
, Christian Stary, Stefan Obermeier, Egon Börger:
Subject-Oriented Business Process Management. Springer 2012, ISBN 978-3-642-32391-1, pp. I-XV, 1-375 - [j39]Egon Börger, Antonio Cisternino
, Vincenzo Gervasi
:
Ambient Abstract State Machines with applications. J. Comput. Syst. Sci. 78(3): 939-959 (2012) - [j38]Egon Börger:
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL. Softw. Syst. Model. 11(3): 305-318 (2012) - [c65]Egon Börger, Antonio Cisternino
, Vincenzo Gervasi
:
Contribution to a Rigorous Analysis of Web Application Frameworks. ABZ 2012: 1-20 - [c64]Egon Börger:
The Subject-Oriented Approach to Software Design and the Abstract State Machines Method. Conceptual Modelling and Its Theoretical Foundations 2012: 52-72 - [c63]Egon Börger, Antonio Cisternino
, Vincenzo Gervasi
:
Contribution to a Rigorous Analysis of Web Application Frameworks. IFM 2012: 1-20 - [c62]Egon Börger:
The Subject-Oriented Approach to Software Design and the Abstract State Machines Method. S-BPM ONE (Scientific Research) 2012: 1-21 - 2011
- [b7]Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger:
Subjektorientiertes Prozessmanagement - Mitarbeiter einbinden, Motivation und Prozessakzeptanz steigern. Hanser 2011, ISBN 978-3-446-42707-5, pp. 1-430 - [j37]Egon Börger:
Editorial. Formal Aspects Comput. 23(1): 1-2 (2011) - [p5]Egon Börger, Ove Sörensen:
BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics. Handbook of Conceptual Modeling 2011: 287-332 - 2010
- [c61]Iain Craig, Egon Börger:
Synchronous Message Passing and Semaphores: An Equivalence Proof. ASM 2010: 20-33
2000 – 2009
- 2009
- [j36]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): 3-32 (2009) - 2008
- [j35]Egon Börger, Andreas Prinz:
Quo Vadis Abstract State Machines? J. Univers. Comput. Sci. 14(12): 1921-1928 (2008) - [j34]Don S. Batory, Egon Börger:
Modularizing Theorems for Software Product Lines: The Jbook Case Study. J. Univers. Comput. Sci. 14(12): 2059-2082 (2008) - [c60]Egon Börger, Bernhard Thalheim
:
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. ABZ 2008: 24-38 - [c59]Egon Börger, Don S. Batory:
Coupling Design and Verification in Software Product Lines. FoIKS 2008: 1-4 - [c58]Michael Altenhofen, Egon Börger:
Concurrent Abstract State Machines and +CAL Programs. WADT 2008: 1-17 - [e14]Egon Börger, Michael J. Butler, Jonathan P. Bowen
, Paul Boca:
Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings. Lecture Notes in Computer Science 5238, Springer 2008, ISBN 978-3-540-87602-1 [contents] - [e13]Egon Börger, Antonio Cisternino:
Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures. Lecture Notes in Computer Science 5316, Springer 2008, ISBN 978-3-540-89761-3 [contents] - 2007
- [j33]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): 225-241 (2007) - [c57]Egon Börger:
Modeling Workflow Patterns from First Principles. ER 2007: 1-20 - [c56]Egon Börger, Bernhard Thalheim
:
A Method for Verifiable and Validatable Business Process Modeling. Lipari Summer School 2007: 59-115 - 2006
- [j32]Michael Altenhofen, Andreas Friesen, Jens Lemcke, Egon Börger:
A high-level specification for virtual providers. Int. J. Bus. Process. Integr. Manag. 1(4): 267-278 (2006) - [j31]Nicu G. Fruja, Egon Börger:
Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. J. Object Technol. 5(3): 5-34 (2006) - [c55]Andreas Friesen, Egon Börger:
A high-level specification for Semantic Web Service Discovery Services. ICWE Workshops 2006: 16 - 2005
- [j30]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): 149-171 (2005) - [j29]Egon Börger:
Abstract state machines and high-level system design and analysis. Theor. Comput. Sci. 336(2-3): 205-207 (2005) - [j28]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): 235-284 (2005) - [c54]Danièle Beauquier, Egon Börger, Anatol Slissenko:
Introduction. Abstract State Machines 2005: 5-10 - [c53]Egon Börger:
The ASM Method: a Cornerstone in Computer Science Education. Abstract State Machines 2005: 49-56 - [c52]Egon Börger:
Design Pattern Abstractions and Abstract State Machines. Abstract State Machines 2005: 91-100 - [c51]Michael Altenhofen, Egon Börger, Jens Lemcke:
A High-Level Specification for Mediators(Virtual Providers). Business Process Management Workshops 2005: 116-129 - [c50]Egon Börger:
Using Abstract State Machines for the Description and the Analysis of Formal Systems. DCFS 2005: 15-22 - [c49]Egon Börger:
The ASM Method for System Design and Analysis. A Tutorial Introduction. FroCoS 2005: 264-283 - [c48]Alistair Barros
, Egon Börger:
A Compositional Framework for Service Interaction Patterns and Interaction Flows. ICFEM 2005: 5-35 - [c47]Michael Altenhofen, Egon Börger, Jens Lemcke:
An Abstract Model for Process Mediation. ICFEM 2005: 81-95 - [c46]Egon Börger:
Linking the Meaning of Programs to What the Compiler Can Verify. VSTTE 2005: 325-336 - [c45]Michael Altenhofen, Egon Börger, Jens Lemcke:
An Execution Semantics for Mediation Patterns. WIW 2005 - 2004
- [j27]Egon Börger, Alessandra Cavarra, Elvinia Riccobene
:
On formalizing UML state machines using ASM. Inf. Softw. Technol. 46(5): 287-292 (2004) - [c44]Robert F. Stärk, Egon Börger:
An ASM Specification of C# Threads and the .NET Memory Model. Abstract State Machines 2004: 38-60 - [c43]Egon Börger:
Modeling with Abstract State Machines: A support for accurate system design and analysis. Modellierung 2004: 235-239 - [c42]Egon Börger:
A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. TFM 2004: 65-84 - 2003
- [b6]Egon Börger, Robert F. Stärk:
Abstract State Machines. A Method for High-Level System Design and Analysis. Springer 2003, ISBN 3540007024, pp. I-X, 1-438 - [j26]Egon Börger:
The ASM Refinement Method. Formal Aspects Comput. 15(2-3): 237-257 (2003) - [c41]Tommaso Bolognesi, Egon Börger:
Abstract State Processes. Abstract State Machines 2003: 22-32 - [c40]Egon Börger, Tommaso Bolognesi:
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. Abstract State Machines 2003: 218-228 - [c39]Egon Börger:
The ASM Ground Model Method as a Foundation for Requirements Engineering. Verification: Theory and Practice 2003: 145-160 - [c38]Egon Börger, Robert F. Stärk:
Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. FMCO 2003: 42-76 - [c37]Egon Börger, Elvinia Riccobene, Alessandra Cavarra:
Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. SAC 2003: 1086-1091 - [e12]Egon Börger, Angelo Gargantini
, Elvinia Riccobene:
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Lecture Notes in Computer Science 2589, Springer 2003, ISBN 3-540-00624-9 [contents] - 2002
- [j25]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): 2-74 (2002) - 2001
- [b5]Robert F. Stärk, Joachim Schmid, Egon Börger:
Java and the Java Virtual Machine: Definition, Verification, Validation. Springer 2001 - [j24]Egon Börger, Uwe Glässer:
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. J. Univers. Comput. Sci. 7(11): 914-916 (2001) - [j23]Egon Börger, Diego Sona:
A Neural Abstract Machine. J. Univers. Comput. Sci. 7(11): 1006-1023 (2001) - [c36]Egon Börger:
Design for Reuse via Structuring Techniques for ASMs. EUROCAST 2001: 20-35 - 2000
- [j22]Egon Börger, Reinhard Gotzhein:
Requirements Engineering - The Light Control Case Study. J. Univers. Comput. Sci. 6(7): 580-581 (2000) - [j21]Egon Börger, Reinhard Gotzhein:
The Light Control Case Study: A Synopsis. J. Univers. Comput. Sci. 6(7): 582-585 (2000) - [j20]Egon Börger, Elvinia Riccobene, Joachim Schmid:
Capturing Requirements by Abstract State Machines: The Light Control Case Study. J. Univers. Comput. Sci. 6(7): 597-620 (2000) - [j19]Egon Börger, Wolfram Schulte:
Initialization problems for Java. Softw. Concepts Tools 19(4): 175-178 (2000) - [j18]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): 872-887 (2000) - [c35]Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
An ASM Semantics for UML Activity Diagrams. AMAST 2000: 293-308 - [c34]Egon Börger:
Abstract State Machines at the Cusp of the Millenium. Abstract State Machines 2000: 1-8 - [c33]Egon Börger, Alessandra Cavarra, Elvinia Riccobene
:
Modeling the Dynamics of UML State Machines. Abstract State Machines 2000: 223-241 - [c32]Egon Börger, Peter Päppinghaus, Joachim Schmid:
Report on a Practical Application of ASMs in Software Design. Abstract State Machines 2000: 361-366 - [c31]Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes:
Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines 2000: 367-379 - [c30]Egon Börger, Joachim Schmid:
Composition and Submachine Concepts for Sequential ASMs. CSL 2000: 41-60
1990 – 1999
- 1999
- [c29]Egon Börger, Wolfram Schulte:
A Programmer Friendly Modular Definition of the Semantics of Java. Formal Syntax and Semantics of Java 1999: 353-404 - 1998
- [j17]Egon Börger, James K. Huggins:
Abstract State Machines 1988-1998: Commented ASM Bibliography. Bull. EATCS 64 (1998) - [c28]Egon Börger:
High Level System Design and Analysis Using Abstract State Machines. FM-Trends 1998: 1-43 - [c27]Egon Börger, Wolfram Schulte:
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. MFCS 1998: 17-35 - [i8]Egon Börger, James K. Huggins:
Abstract State Machines 1988-1998: Commented ASM Bibliography. CoRR cs.SE/9811014 (1998) - 1997
- [b4]Egon Börger, Erich Grädel, Yuri Gurevich:
The Classical Decision Problem. Perspectives in Mathematical Logic, Springer 1997 - [j16]Egon Börger:
Ten Years of Gurevich's Abstract State Machines. J. Univers. Comput. Sci. 3(4): 230-232 (1997) - [j15]Egon Börger:
JUCS Special ASM Issue, Part II - Introduction. J. Univers. Comput. Sci. 3(5): 414-415 (1997) - [j14]Egon Börger, Luca Mearelli:
Integrating ASMs into the Software Development Life Cycle. J. Univers. Comput. Sci. 3(5): 603-665 (1997) - [j13]Egon Börger, Peter H. Schmitt:
A Description of the Tableau Method Using Abstract State Machines. J. Log. Comput. 7(5): 659-681 (1997) - [c26]Egon Börger, Stefano Mazzanti:
A Practical Method for Rigorously Controllable Hardware Design. ZUM 1997: 151-187 - 1996
- [j12]Egon Börger, Igor Durdanovic:
Correctness of Compiling Occam to Transputer Code. Comput. J. 39(1): 52-92 (1996) - [j11]Christoph Beierle, Egon Börger:
Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. Formal Aspects Comput. 8(4): 428-462 (1996) - [j10]Christoph Beierle, Egon Börger:
Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. Formal Aspects Comput. 8(5): 539-564 (1996) - [e11]Jean-Raymond Abrial, Egon Börger, Hans Langmaack:
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Lecture Notes in Computer Science 1165, Springer 1996, ISBN 3-540-61929-1 [contents] - 1995
- [j9]Egon Börger, Dean Rosenzweig:
A Mathematical Definition of Full Prolog. Sci. Comput. Program. 24(3): 249-286 (1995) - [c25]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: 1-12 - [c24]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: 52-78 - [c23]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: 145-148 - [c22]Egon Börger:
Why Use Evolving Algebras for Hardware and Software Engineering? SOFSEM 1995: 236-271 - [p4]Egon Börger, Dean Rosenzweig:
The WAM - Definition and Compiler Correctness. Logic Programming: Formal Methods and Practical Applications 1995: 20-90 - [e10]Egon Börger:
Specification and validation methods. Oxford University Press 1995, ISBN 0-19-853854-5 [contents] - 1994
- [c21]Wolfgang Müller, Egon Börger, Uwe Glässer:
The semantics of behavioral VHDL '93 descriptions. EURO-DAC 1994: 500-505 - [c20]Egon Börger:
Logic Programming: The Evolving Algebra Approach. IFIP Congress (1) 1994: 391-395 - [c19]Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig:
Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. IFIP Congress (1) 1994: 396-401 - [c18]Egon Börger, Uwe Glässer:
A Formal Specification of the PVM Architecture. IFIP Congress (1) 1994: 402-409 - [c17]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: 410-415 - [c16]Egon Börger, Igor Durdanovic, Dean Rosenzweig:
Occam: Specification and Compiler Correctness - Part I: The Primary Model. PROCOMET 1994: 489-508 - [e9]Egon Börger, Yuri Gurevich, Karl Meinke:
Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers. Lecture Notes in Computer Science 832, Springer 1994, ISBN 3-540-58277-0 [contents] - 1993
- [c15]Egon Börger, Dean Rosenzweig:
Full Prolog in a Nutshell. ICLP 1993: 832 - [c14]Egon Börger, Dean Rosenzweig:
The Mathematics of Set Predicates in Prolog. Kurt Gödel Colloquium 1993: 1-13 - [c13]Egon Börger:
Evolving Algebras for Specification of Logic Programming Systems. WLP 1993: 5 - [p3]Egon Börger:
Annotated bibliography on evolving algebras. Specification and validation methods 1993: 37-51 - [p2]Egon Börger, Rosario F. Salamone:
CLAM specification for provably correct compilation of CLP( R ) programs. Specification and validation methods 1993: 96-130 - [p1]Dean Rosenzweig, Egon Börger, Yuri Gurevich:
The bakery algorithm: yet another specification and verification. Specification and validation methods 1993: 231-243 - [e8]Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter:
Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Lecture Notes in Computer Science 702, Springer 1993, ISBN 3-540-56992-8 [contents] - 1992
- [b3]Egon Börger:
Berechenbarkeit, Komplexität und Logik - Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität (3. Aufl.). Vieweg 1992, ISBN 978-3-528-28928-7, pp. I-XX, 1-499 - [e7]Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter:
Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings. Lecture Notes in Computer Science 626, Springer 1992, ISBN 3-540-55789-X [contents] - 1991
- [c12]Christoph Beierle, Egon Börger:
Correctness Proof For the WAM with Types. CSL 1991: 15-34 - [c11]Egon Börger, Elvinia Riccobene:
Logical Operational Semantics of Parlog. Part II: Or-Parallelism. RCLP 1991: 27-34 - [c10]Egon Börger, Dean Rosenzweig:
WAM Algebras - A Mathematical Study of Implementation, Part 2. RCLP 1991: 35-54 - [c9]Egon Börger, Elvinia Riccobene:
Logical Operational Semantics of Parlog, Part I: And-Parallelism. PDK 1991: 191-198 - [c8]