Egon Börger - RankMe

162 papers A 1B 19C 11Misc 1Journal 58Unranked 51

Year	Rank	Type	Title / Venue / Authors
2024	C	`conf`	A Lean Reflective Abstract State Machine Definition. ABZ Egon Börger, Vincenzo Gervasi
2024	—	`book`	Structures of Computing - A Guide to Practice-Oriented Theory Egon Börger, Vincenzo Gervasi
2022	J	`jnl`	The Role of Executable Abstract Programs in Software Development and Documentation. CoRR Egon Börger
2020	J	`jnl`	A Behavioural Theory of Recursive Algorithms. CoRR Egon Börger, Klaus-Dieter Schewe
2020	J	`jnl`	A Behavioural Theory of Recursive Algorithms. Fundam. Informaticae Egon Börger, Klaus-Dieter Schewe
2020	C	`conf`	A Characterization of Distributed ASMs with Partial-Order Runs. ABZ Egon Börger, Klaus-Dieter Schewe
2019	C	`conf`	Concurrent Computing with Shared Replicated Memory. MEDI Klaus-Dieter Schewe, Andreas Prinz, Egon Börger
2019	J	`jnl`	Concurrent Computing with Shared Replicated Memory. CoRR Klaus-Dieter Schewe, Andreas Prinz, Egon Börger
2018	—	`book`	Modeling Companion for Software Practitioners Egon Börger, Alexander Raschke
2018	—	`conf`	Why Programming Must Be Supported by Modeling and How. ISoLA (1) Egon Börger
2017	J	`jnl`	Communication in Abstract State Machines. J. Univers. Comput. Sci. Egon Börger, Klaus-Dieter Schewe
2017	J	`jnl`	Serialisable Multi-Level Transaction Control: A Specification and Verification. CoRR Egon Börger, Klaus-Dieter Schewe, Qing Wang
2017	J	`jnl`	Specifying Transaction Control to Serialize Concurrent Program Executions. CoRR Egon Börger, Klaus-Dieter Schewe
2017	J	`jnl`	The abstract state machines method for modular design and analysis of programming languages. J. Log. Comput. Egon Börger
2016	C	`conf`	A Compact Encoding of Sequential ASMs in Event-B. ABZ Michael Leuschel, Egon Börger
2016	J	`jnl`	Concurrent abstract state machines. Acta Informatica Egon Börger, Klaus-Dieter Schewe
2016	C	`conf`	Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets. ABZ Egon Börger
2016	J	`jnl`	Serialisable multi-level transaction control: A specification and verification. Sci. Comput. Program. Egon Börger, Klaus-Dieter Schewe, Qing Wang
2015	—	`conf`	Abstract state machine nets: closing the gap between business process models and their implementation. S-BPM ONE Egon Börger, Albert Fleischmann
2015	—	`conf`	Modeling for change via component-based decomposition and ASM refinement. S-BPM ONE Egon Börger, Simone Zenzaro
2014	J	`jnl`	Modeling web applications infrastructure with ASMs. Sci. Comput. Program. Vincenzo Gervasi, Egon Börger, Antonio Cisternino
2014	C	`conf`	Specifying Transaction Control to Serialize Concurrent Program Executions. ABZ Egon Börger, Klaus-Dieter Schewe
2013	—	`conf`	Subject-Orientation as a Method to Specify the Cooperation of Active Entities in the uCepCortex Project. BICS Albert Fleischmann, Egon Börger, Harald Lerchner
2012	J	`jnl`	Ambient Abstract State Machines with applications. J. Comput. Syst. Sci. Egon Börger, Antonio Cisternino, Vincenzo Gervasi
2012	J	`jnl`	Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL. Softw. Syst. Model. Egon Börger
2012	C	`conf`	Contribution to a Rigorous Analysis of Web Application Frameworks. ABZ Egon Börger, Antonio Cisternino, Vincenzo Gervasi
2012	B	`conf`	Contribution to a Rigorous Analysis of Web Application Frameworks. IFM Egon Börger, Antonio Cisternino, Vincenzo Gervasi
2012	—	`book`	Subject-Oriented Business Process Management. Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger
2012	—	`conf`	The Subject-Oriented Approach to Software Design and the Abstract State Machines Method. Conceptual Modelling and Its Theoretical Foundations Egon Börger
2012	—	`conf`	The Subject-Oriented Approach to Software Design and the Abstract State Machines Method. S-BPM ONE (Scientific Research) Egon Börger
2011	—	`ch.`	BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics. Handbook of Conceptual Modeling Egon Börger, Ove Sörensen
2011	J	`jnl`	Editorial. Formal Aspects Comput. Egon Börger
2011	—	`book`	Subjektorientiertes Prozessmanagement - Mitarbeiter einbinden, Motivation und Prozessakzeptanz steigern. Albert Fleischmann, Werner Schmidt, Christian Stary, Stefan Obermeier, Egon Börger
2010	—	`conf`	Synchronous Message Passing and Semaphores: An Equivalence Proof. ASM Iain Craig, Egon Börger
2009	J	`jnl`	On Defining the Behavior of OR-joins in Business Process Models. J. Univers. Comput. Sci. Egon Börger, Ove Sörensen, Bernhard Thalheim
2008	C	`ed.`	Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings ABZ Egon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca
2008	—	`ed.`	Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures Lipari Summer School Egon Börger, Antonio Cisternino
2008	—	`conf`	Concurrent Abstract State Machines and WADT Michael Altenhofen, Egon Börger
2008	—	`conf`	Coupling Design and Verification in Software Product Lines. FoIKS Egon Börger, Don S. Batory
2008	C	`conf`	Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. ABZ Egon Börger, Bernhard Thalheim
2008	J	`jnl`	Modularizing Theorems for Software Product Lines: The Jbook Case Study. J. Univers. Comput. Sci. Don S. Batory, Egon Börger
2008	J	`jnl`	Quo Vadis Abstract State Machines? J. Univers. Comput. Sci. Egon Börger, Andreas Prinz
2007	—	`conf`	A Method for Verifiable and Validatable Business Process Modeling. Lipari Summer School Egon Börger, Bernhard Thalheim
2007	J	`jnl`	Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. Formal Aspects Comput. Egon Börger
2007	A	`conf`	Modeling Workflow Patterns from First Principles. ER Egon Börger
2006	—	`conf`	A high-level specification for Semantic Web Service Discovery Services. ICWE Workshops Andreas Friesen, Egon Börger
2006	J	`jnl`	A high-level specification for virtual providers. Int. J. Bus. Process. Integr. Manag. Michael Altenhofen, Andreas Friesen, Jens Lemcke, Egon Börger
2006	J	`jnl`	Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. J. Object Technol. Nicu G. Fruja, Egon Börger
2005	C	`conf`	A Compositional Framework for Service Interaction Patterns and Interaction Flows. ICFEM Alistair Barros, Egon Börger
2005	—	`conf`	A High-Level Specification for Mediators(Virtual Providers). Business Process Management Workshops Michael Altenhofen, Egon Börger, Jens Lemcke
2005	J	`jnl`	A high-level modular definition of the semantics of C#. Theor. Comput. Sci. Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk
2005	J	`jnl`	Abstract State Machines: a unifying view of models of computation and of system design frameworks. Ann. Pure Appl. Log. Egon Börger
2005	J	`jnl`	Abstract state machines and high-level system design and analysis. Theor. Comput. Sci. Egon Börger
2005	C	`conf`	An Abstract Model for Process Mediation. ICFEM Michael Altenhofen, Egon Börger, Jens Lemcke
2005	—	`conf`	An Execution Semantics for Mediation Patterns. WIW Michael Altenhofen, Egon Börger, Jens Lemcke
2005	—	`conf`	Design Pattern Abstractions and Abstract State Machines. Abstract State Machines Egon Börger
2005	—	`conf`	Introduction. Abstract State Machines Danièle Beauquier, Egon Börger, Anatol Slissenko
2005	—	`conf`	Linking the Meaning of Programs to What the Compiler Can Verify. VSTTE Egon Börger
2005	—	`conf`	The ASM Method for System Design and Analysis. A Tutorial Introduction. FroCoS Egon Börger
2005	—	`conf`	The ASM Method: a Cornerstone in Computer Science Education. Abstract State Machines Egon Börger
2005	—	`conf`	Using Abstract State Machines for the Description and the Analysis of Formal Systems. DCFS Egon Börger
2004	—	`conf`	A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. TFM Egon Börger
2004	—	`conf`	An ASM Specification of C# Threads and the .NET Memory Model. Abstract State Machines Robert F. Stärk, Egon Börger
2004	—	`conf`	Modeling with Abstract State Machines: A support for accurate system design and analysis. Modellierung Egon Börger
2004	J	`jnl`	On formalizing UML state machines using ASM. Inf. Softw. Technol. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
2003	—	`ed.`	Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings Abstract State Machines Egon Börger, Angelo Gargantini, Elvinia Riccobene
2003	—	`book`	Abstract State Machines. A Method for High-Level System Design and Analysis Egon Börger, Robert F. Stärk
2003	—	`conf`	Abstract State Processes. Abstract State Machines Tommaso Bolognesi, Egon Börger
2003	—	`conf`	Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. FMCO Egon Börger, Robert F. Stärk
2003	Misc	`conf`	Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. SAC Egon Börger, Elvinia Riccobene, Alessandra Cavarra
2003	—	`conf`	Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. Abstract State Machines Egon Börger, Tommaso Bolognesi
2003	—	`conf`	The ASM Ground Model Method as a Foundation for Requirements Engineering. Verification: Theory and Practice Egon Börger
2003	J	`jnl`	The ASM Refinement Method. Formal Aspects Comput. Egon Börger
2002	J	`jnl`	The Origins and the Development of the ASM Method for High Level System Design and Analysis. J. Univers. Comput. Sci. Egon Börger
2001	J	`jnl`	A Neural Abstract Machine. J. Univers. Comput. Sci. Egon Börger, Diego Sona
2001	J	`jnl`	Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. J. Univers. Comput. Sci. Egon Börger, Uwe Glässer
2001	—	`conf`	Design for Reuse via Structuring Techniques for ASMs. EUROCAST Egon Börger
2001	—	`book`	Java and the Java Virtual Machine: Definition, Verification, Validation Robert F. Stärk, Joachim Schmid, Egon Börger
2000	J	`jnl`	A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. IEEE Trans. Software Eng. Egon Börger, Wolfram Schulte
2000	—	`conf`	Abstract State Machines at the Cusp of the Millenium. Abstract State Machines Egon Börger
2000	—	`conf`	An ASM Semantics for UML Activity Diagrams. AMAST Egon Börger, Alessandra Cavarra, Elvinia Riccobene
2000	J	`jnl`	Capturing Requirements by Abstract State Machines: The Light Control Case Study. J. Univers. Comput. Sci. Egon Börger, Elvinia Riccobene, Joachim Schmid
2000	B	`conf`	Composition and Submachine Concepts for Sequential ASMs. CSL Egon Börger, Joachim Schmid
2000	J	`jnl`	Initialization problems for Java. Softw. Concepts Tools Egon Börger, Wolfram Schulte
2000	—	`conf`	Modeling the Dynamics of UML State Machines. Abstract State Machines Egon Börger, Alessandra Cavarra, Elvinia Riccobene
2000	—	`conf`	Report on a Practical Application of ASMs in Software Design. Abstract State Machines Egon Börger, Peter Päppinghaus, Joachim Schmid
2000	J	`jnl`	Requirements Engineering - The Light Control Case Study. J. Univers. Comput. Sci. Egon Börger, Reinhard Gotzhein
2000	J	`jnl`	The Light Control Case Study: A Synopsis. J. Univers. Comput. Sci. Egon Börger, Reinhard Gotzhein
2000	—	`conf`	Using Abstract State Machines at Microsoft: A Case Study. Abstract State Machines Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
1999	—	`conf`	A Programmer Friendly Modular Definition of the Semantics of Java. Formal Syntax and Semantics of Java Egon Börger, Wolfram Schulte
1998	J	`jnl`	Abstract State Machines 1988-1998: Commented ASM Bibliography CoRR Egon Börger, James K. Huggins
1998	J	`jnl`	Abstract State Machines 1988-1998: Commented ASM Bibliography. Bull. EATCS Egon Börger, James K. Huggins
1998	B	`conf`	Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. MFCS Egon Börger, Wolfram Schulte
1998	—	`conf`	High Level System Design and Analysis Using Abstract State Machines. FM-Trends Egon Börger
1997	J	`jnl`	A Description of the Tableau Method Using Abstract State Machines. J. Log. Comput. Egon Börger, Peter H. Schmitt
1997	—	`conf`	A Practical Method for Rigorously Controllable Hardware Design. ZUM Egon Börger, Stefano Mazzanti
1997	J	`jnl`	Integrating ASMs into the Software Development Life Cycle. J. Univers. Comput. Sci. Egon Börger, Luca Mearelli
1997	J	`jnl`	JUCS Special ASM Issue, Part II - Introduction. J. Univers. Comput. Sci. Egon Börger
1997	J	`jnl`	Ten Years of Gurevich's Abstract State Machines. J. Univers. Comput. Sci. Egon Börger
1997	—	`book`	The Classical Decision Problem Egon Börger, Erich Grädel, Yuri Gurevich
1996	J	`jnl`	Correctness of Compiling Occam to Transputer Code. Comput. J. Egon Börger, Igor Durdanovic
1996	—	`ed.`	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 Jean-Raymond Abrial, Egon Börger, Hans Langmaack
1996	J	`jnl`	Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. Formal Aspects Comput. Christoph Beierle, Egon Börger
1996	J	`jnl`	Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. Formal Aspects Comput. Christoph Beierle, Egon Börger
1995	J	`jnl`	A Mathematical Definition of Full Prolog. Sci. Comput. Program. Egon Börger, Dean Rosenzweig
1995	B	`conf`	A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering Study. ICECCS Egon Börger, Giuseppe Del Castillo
1995	—	`conf`	Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Formal Methods for Industrial Applications Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene
1995	—	`book`	Specification and validation methods Specification and validation methods Egon Börger
1995	—	`conf`	The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods. Formal Methods for Industrial Applications Jean-Raymond Abrial, Egon Börger, Hans Langmaack
1995	—	`ch.`	The WAM - Definition and Compiler Correctness. Logic Programming: Formal Methods and Practical Applications Egon Börger, Dean Rosenzweig
1995	B	`conf`	Why Use Evolving Algebras for Hardware and Software Engineering? SOFSEM Egon Börger
1994	—	`conf`	A Formal Specification of the PVM Architecture. IFIP Congress (1) Egon Börger, Uwe Glässer
1994	—	`conf`	A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. IFIP Congress (1) Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo
1994	B	`ed.`	Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers CSL Egon Börger, Yuri Gurevich, Karl Meinke
1994	—	`conf`	Logic Programming: The Evolving Algebra Approach. IFIP Congress (1) Egon Börger
1994	—	`conf`	Occam: Specification and Compiler Correctness - Part I: The Primary Model. PROCOMET Egon Börger, Igor Durdanovic, Dean Rosenzweig
1994	—	`conf`	The semantics of behavioral VHDL '93 descriptions. EURO-DAC Wolfgang Müller, Egon Börger, Uwe Glässer
1994	—	`conf`	Towards a Mathematical Specification of the APE100 Architecture: The APESE Model. IFIP Congress (1) Egon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig
1993	—	`ch.`	Annotated bibliography on evolving algebras. Specification and validation methods Egon Börger
1993	—	`ch.`	CLAM specification for provably correct compilation of CLP( R ) programs. Specification and validation methods Egon Börger, Rosario F. Salamone
1993	B	`ed.`	Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers CSL Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
1993	—	`conf`	Evolving Algebras for Specification of Logic Programming Systems. WLP Egon Börger
1993	B	`conf`	Full Prolog in a Nutshell. ICLP Egon Börger, Dean Rosenzweig
1993	—	`conf`	The Mathematics of Set Predicates in Prolog. Kurt Gödel Colloquium Egon Börger, Dean Rosenzweig
1993	—	`ch.`	The bakery algorithm: yet another specification and verification. Specification and validation methods Dean Rosenzweig, Egon Börger, Yuri Gurevich
1992	—	`book`	Berechenbarkeit, Komplexität und Logik - Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität (3. Aufl.). Egon Börger
1992	B	`ed.`	Computer Science Logic, 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991, Proceedings CSL Egon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter
1991	—	`conf`	A Framework to Specify Database Update Views for Prolog. PLILP Egon Börger, Bart Demoen
1991	J	`jnl`	A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof IWBS Report Christoph Beierle, Egon Börger
1991	B	`ed.`	Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings CSL Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
1991	B	`conf`	Correctness Proof For the WAM with Types. CSL Christoph Beierle, Egon Börger
1991	J	`jnl`	Correctness Proof for the WAM IWBS Report Christoph Beierle, Egon Börger
1991	—	`conf`	Logical Operational Semantics of Parlog, Part I: And-Parallelism. PDK Egon Börger, Elvinia Riccobene
1991	—	`conf`	Logical Operational Semantics of Parlog. Part II: Or-Parallelism. RCLP Egon Börger, Elvinia Riccobene
1991	—	`conf`	WAM Algebras - A Mathematical Study of Implementation, Part 2. RCLP Egon Börger, Dean Rosenzweig
1990	B	`conf`	A Formal Operational Semantics for Languages of Type Prolog III. CSL Egon Börger, Peter H. Schmitt
1990	J	`jnl`	A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras IWBS Report Egon Börger, Peter H. Schmitt
1990	J	`jnl`	A Logical Operational Semantics of Full Prolog IWBS Report Egon Börger
1990	J	`jnl`	A Logical Operational Semantics of Full Prolog Part II: Built-in Predicates for Database Manipulations IWBS Report Egon Börger
1990	J	`jnl`	A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output IWBS Report Egon Börger
1990	B	`conf`	A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation. MFCS Egon Börger
1990	B	`ed.`	CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings CSL Egon Börger, Hans Kleine Büning, Michael M. Richter
1990	J	`jnl`	Complexity of Logical Decision Problems: An Introduction IWBS Report Egon Börger
1990	B	`conf`	From Prolog Algebras Towards WAM - A Mathematical Study of Implementation. CSL Egon Börger, Dean Rosenzweig
1989	B	`conf`	A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control. CSL Egon Börger
1989	B	`ed.`	CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings CSL Egon Börger, Hans Kleine Büning, Michael M. Richter
1989	—	`book`	Computability, Complexity, Logic (English translation of "Berechenbarkeit, Komplexität, Logik" from 1985) Egon Börger
1988	B	`ed.`	CSL '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings CSL Egon Börger, Hans Kleine Büning, Michael M. Richter
1988	—	`book`	Fondamenti di informatica. Egon Börger, Andrea Maggiolo-Schettini
1987	—	`ed.`	Computation Theory and Logic, In Memory of Dieter Rödding Computation Theory and Logic Egon Börger
1987	—	`conf`	Unsolvable Decision Problems for Prolog Programs. Computation Theory and Logic Egon Börger
1984	—	`ed.`	Logic and Machines: Decision Problems and Complexity, Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen Logic and Machines Egon Börger, Gisbert Hasenjaeger, Dieter Rödding
1983	—	`conf`	Spektralproblem and completeness of logical decision problems. Logic and Machines Egon Börger
1982	J	`jnl`	Conservative Reduction Classes of Krom Formulas. J. Symb. Log. Stål Aanderaa, Egon Börger, Harry R. Lewis
1981	B	`conf`	Logical Description of Computation Processes. FCT Egon Börger
1981	J	`jnl`	The Equivalence of Horn and Network Complexity for Boolean Functions. Acta Informatica Stål O. Aanderaa, Egon Börger
1980	J	`jnl`	Prefix classes of krom formulae with identity. Arch. Math. Log. Stål O. Aanderaa, Egon Börger, Yuri Gurevich
1980	J	`jnl`	The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set. Math. Log. Q. Egon Börger, Hans Kleine Büning
1980	J	`jnl`	The Reachability Problem for Petri Nets and Decision Problems for Skolem Arithmetic. Theor. Comput. Sci. Egon Börger, Hans Kleine Büning
1979	J	`jnl`	A New General Approach to the Theory of the Many-One Equivalence of Decision Problems for Algorithmic Systems. Math. Log. Q. Egon Börger
1978	J	`jnl`	Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen. Arch. Math. Log. Egon Börger
1975	J	`jnl`	Die Arch. Math. Log. Egon Börger, Klaus Heidler