Egon Börger - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

EditorialEgon Börger. fac, 23(1):1-2, 2011. [doi]

2008

Modularizing Theorems for Software Product Lines: The Jbook Case StudyDon S. Batory, Egon Börger. jucs, 14(12):2059-2082, 2008.

Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial LecturesEgon Börger, Antonio Cisternino, editors, Volume 5316 of Lecture Notes in Computer Science, Springer, 2008.

Quo Vadis Abstract State Machines?Egon Börger, Andreas Prinz. jucs, 14(12):1921-1928, 2008.

Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. ProceedingsEgon Börger, Michael J. Butler, Jonathan P. Bowen, Paul Boca, editors, Volume 5238 of Lecture Notes in Computer Science, Springer, 2008.

Coupling Design and Verification in Software Product LinesEgon Börger, Don S. Batory. foiks 2008: 1-4 [doi]

Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based ApproachEgon Börger, Bernhard Thalheim. asmta 2008: 24-38 [doi]

2007

Construction and analysis of ground models and their refinements as a foundation for validating computer-based systemsEgon Börger. fac, 19(2):225-241, 2007. [doi]

Modeling Workflow Patterns from First PrinciplesEgon Börger. er 2007: 1-20 [doi]

A Method for Verifiable and Validatable Business Process ModelingEgon Börger, Bernhard Thalheim. lipari 2008: 59-115 [doi]

2006

A high-level specification for Semantic Web Service Discovery ServicesAndreas Friesen, Egon Börger. ICWE 2006: 16 [doi]

Modeling the .NET CLR Exception Handling Mechanism for a Mathematical AnalysisNicu G. Fruja, Egon Börger. jot, 5(3):5-34, 2006. [doi]

2005

A High-Level Specification for Mediators(Virtual Providers)Michael Altenhofen, Egon Börger, Jens Lemcke. BPM 2006: 116-129 [doi]

An Abstract Model for Process MediationMichael Altenhofen, Egon Börger, Jens Lemcke. icfem 2005: 81-95 [doi]

A Compositional Framework for Service Interaction Patterns and Interaction FlowsAlistair P. Barros, Egon Börger. icfem 2005: 5-35 [doi]

IntroductionDanièle Beauquier, Egon Börger, Anatol Slissenko. asmta 2005: 5-10 [doi]

Linking the Meaning of Programs to What the Compiler Can VerifyEgon Börger. vstte 2008: 325-336 [doi]

The ASM Method: a Cornerstone in Computer Science EducationEgon Börger. asmta 2005: 49-56 [doi]

Design Pattern Abstractions and Abstract State MachinesEgon Börger. asmta 2005: 91-100 [doi]

Abstract State Machines: a unifying view of models of computation and of system design frameworksEgon Börger. APAL, 133(1-3):149-171, 2005. [doi]

Abstract state machines and high-level system design and analysisEgon Börger. TCS, 336(2-3):205-207, 2005. [doi]

The ASM Method for System Design and Analysis. A Tutorial IntroductionEgon Börger. frocos 2005: 264-283 [doi]

A high-level modular definition of the semantics of C#Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk. TCS, 336(2-3):235-284, 2005. [doi]

2004

On formalizing UML state machines using ASMEgon Börger, Alessandra Cavarra, Elvinia Riccobene. INFSOF, 46(5):287-292, 2004. [doi]

A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and AnalysisEgon Börger. tfm 2004: 65-84 [doi]

Modeling with Abstract State Machines: A support for accurate system design and analysisEgon Börger. modellierung 2004: 235-239

An ASM Specification of C# Threads and the .NET Memory ModelRobert F. Stärk, Egon Börger. asmta 2004: 38-60 [doi]

2003

Abstract State ProcessesTommaso Bolognesi, Egon Börger. asmta 2003: 22-32 [doi]

Remarks on Turbo ASMs for Functional Equations and Recursion SchemesEgon Börger, Tommaso Bolognesi. asmta 2003: 218-228 [doi]

The ASM Refinement MethodEgon Börger. fac, 15(2-3):237-257, 2003. [doi]

Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, ProceedingsEgon Börger, Angelo Gargantini, Elvinia Riccobene, editors, Volume 2589 of Lecture Notes in Computer Science, Springer, 2003.

The ASM Ground Model Method as a Foundation for Requirements EngineeringEgon Börger. BIRTHDAY 2003: 145-160 [doi]

Abstract State Machines. A Method for High-Level System Design and AnalysisEgon Börger, Robert F. Stärk. Springer, 2003.

Modeling the Meaning of Transitions from and to Concurrent States in UML State MachinesEgon Börger, Elvinia Riccobene, Alessandra Cavarra. SAC 2003: 1086-1091

Exploiting Abstraction for Specification Reuse. The Java/C# Case StudyEgon Börger, Robert F. Stärk. FMCO 2004: 42-76 [doi]

2002

The Origins and the Development of the ASM Method for High Level System Design and AnalysisEgon Börger. jucs, 8(1):2-74, 2002. [doi]

2001

A Neural Abstract MachineEgon Börger, Diego Sona. jucs, 7(11):1006-1023, 2001. [doi]

Abstract State Machines 2001: New Developments and Applications - J.UCS Special IssueEgon Börger, Uwe Glässer. jucs, 7(11):914-916, 2001. [doi]

Design for Reuse via Structuring Techniques for ASMsEgon Börger. eurocast 2001: 20-35 [doi]

Java and the Java Virtual Machine: Definition, Verification, ValidationRobert F. Stärk, Joachim Schmid, Egon Börger. Springer, 2001.

2000

Using Abstract State Machines at Microsoft: A Case StudyMichael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes. asmta 2000: 367-379 [doi]

An ASM Semantics for UML Activity DiagramsEgon Börger, Alessandra Cavarra, Elvinia Riccobene. amast 2000: 293-308 [doi]

Composition and Submachine Concepts for Sequential ASMsEgon Börger, Joachim Schmid. csl 2000: 41-60 [doi]

Abstract State Machines at the Cusp of the MilleniumEgon Börger. asmta 2000: 1-8 [doi]

The Light Control Case Study: A SynopsisEgon Börger, Reinhard Gotzhein. jucs, 6(7):582-585, 2000. [doi]

Capturing Requirements by Abstract State Machines: The Light Control Case StudyEgon Börger, Elvinia Riccobene, Joachim Schmid. jucs, 6(7):597-620, 2000. [doi]

Requirements Engineering - The Light Control Case StudyEgon Börger, Reinhard Gotzhein. jucs, 6(7):580-581, 2000. [doi]

Initialization problems for JavaEgon Börger, Wolfram Schulte. stp, 19(4):175-178, 2000. [doi]

Report on a Practical Application of ASMs in Software DesignEgon Börger, Peter Päppinghaus, Joachim Schmid. asmta 2000: 361-366 [doi]

A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case StudyEgon Börger, Wolfram Schulte. TSE, 26(9):872-887, 2000. [doi]

Modeling the Dynamics of UML State MachinesEgon Börger, Alessandra Cavarra, Elvinia Riccobene. asmta 2000: 223-241 [doi]

1999

A Programmer Friendly Modular Definition of the Semantics of JavaEgon Börger, Wolfram Schulte. java 1999: 353-404 [doi]

1998

Defining the Java Virtual Machine as Platform for Provably Correct Java CompilationEgon Börger, Wolfram Schulte. mfcs 1998: 17-35 [doi]

High Level System Design and Analysis Using Abstract State MachinesEgon Börger. fm 1999: 1-43

1997

The Classical Decision ProblemEgon Börger, Erich Grädel, Yuri Gurevich. Perspectives in Mathematical Logic, Springer, 1997.

Integrating ASMs into the Software Development Life CycleEgon Börger, Luca Mearelli. jucs, 3(5):603-665, 1997. [doi]

JUCS Special ASM Issue, Part II - IntroductionEgon Börger. jucs, 3(5):414-415, 1997. [doi]

A Description of the Tableau Method Using Abstract State MachinesEgon Börger, Peter H. Schmitt. logcom, 7(5):659-681, 1997.

Ten Years of Gurevich s Abstract State MachinesEgon Börger. jucs, 3(4):230-232, 1997. [doi]

A Practical Method for Rigorously Controllable Hardware DesignEgon Börger, S. Mazzanti. zum 1997: 151-187

1996

Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995)Jean-Raymond Abrial, Egon Börger, Hans Langmaack, editors, Volume 1165 of Lecture Notes in Computer Science, Springer, 1996.

Refinement of a Typed WAM Extension by Polymorphic Order-Sorted TypesChristoph Beierle, Egon Börger. fac, 8(5):539-564, 1996.

Specification and Correctness Proof of a WAM Extension with Abstract Type ConstraintsChristoph Beierle, Egon Börger. fac, 8(4):428-462, 1996.

Correctness of Compiling Occam to Transputer CodeEgon Börger, Igor Durdanovic. cj, 39(1):52-92, 1996.

1995

The Stream Boiler Case Study: Competition of Formal Program Specification and Development MethodsJean-Raymond Abrial, Egon Börger, Hans Langmaack. dagstuhl 1996: 1-12

Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable CodeChristoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene. dagstuhl 1996: 52-78

A Mathematical Definition of Full PrologEgon Börger, Dean Rosenzweig. SCP, 24(3):249-286, 1995.

Why Use Evolving Algebras for Hardware and Software Engineering?Egon Börger. sofsem 1995: 236-271

A formal method for provably correct composition of a real-life processor out of basic components. (The APE100 Reverse Engineering StudyEgon Börger, Giuseppe Del Castillo. iceccs 1995: 145-148 [doi]

The WAM - Definition and Compiler CorrectnessEgon Börger, Dean Rosenzweig. In Logic Programming: Formal Methods and Practical Applications. pages 20-90, 1995.

1994

Occam: Specification and Compiler Correctness - Part I: The Primary ModelEgon Börger, Igor Durdanovic, Dean Rosenzweig. procomet 1994: 489-508

A Formal Specification of the PVM ArchitectureEgon Börger, Uwe Glässer. ifip11-9 1994: 402-409

Towards a Mathematical Specification of the APE100 Architecture: The APESE ModelEgon Börger, Giuseppe Del Castillo, Paola Glavan, Dean Rosenzweig. ifip11-9 1994: 396-401

Computer Science Logic, 7th Workshop, CSL 93, Swansea, United Kingdom, September 13-17, 1993, Selected PapersEgon Börger, Yuri Gurevich, Karl Meinke, editors, Volume 832 of Lecture Notes in Computer Science, Springer, 1994.

Logic Programming: The Evolving Algebra ApproachEgon Börger. ifip11-9 1994: 391-395

A Model for Mathematical Analysis of Functional Logic Programs and Their ImplementationsEgon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo. ifip11-9 1994: 410-415

The semantics of behavioral VHDL 93 descriptionsWolfgang Müller, Egon Börger, Uwe Glässer. eurodac 1994: 500-505 [doi]

1993

The Mathematics of Set Predicates in PrologEgon Börger, Dean Rosenzweig. kgc 1993: 1-13

Full Prolog in a NutshellEgon Börger, Dean Rosenzweig. ICLP 1993: 832

Evolving Algebras for Specification of Logic Programming SystemsEgon Börger. wlp 1993: 5

Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected PapersEgon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter, editors, Volume 702 of Lecture Notes in Computer Science, Springer, 1993.

1992

Berechenbarkeit, Komplexität und Logik - Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität (3. Aufl.)Egon Börger. Vieweg, 1992.

Computer Science Logic, 5th Workshop, CSL 91, Berne, Switzerland, October 7-11, 1991, ProceedingsEgon Börger, Gerhard Jäger, Hans Kleine Büning, Michael M. Richter, editors, Volume 626 of Lecture Notes in Computer Science, Springer, 1992.

1991

1990

From Prolog Algebras Towards WAM - A Mathematical Study of ImplementationEgon Börger, Dean Rosenzweig. csl 1991: 31-66

A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database ManipulationEgon Börger. mfcs 1990: 1-14

A Formal Operational Semantics for Languages of Type Prolog IIIEgon Börger, Peter H. Schmitt. csl 1991: 67-79

CSL 89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, ProceedingsEgon Börger, Hans Kleine Büning, Michael M. Richter, editors, Volume 440 of Lecture Notes in Computer Science, Springer, 1990.

1989

Computability, Complexity, Logic (English translation of Berechenbarkeit, Komplexität, Logik from 1985)Egon Börger. Volume 128 of Studies in Logic and the Foundations of Mathematics, North-Holland, 1989.

A Logical Operational Semantics of Full Prolog. Part I: Selection Core and ControlEgon Börger. csl 1990: 36-64

CSL 88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, ProceedingsEgon Börger, Hans Kleine Büning, Michael M. Richter, editors, Volume 385 of Lecture Notes in Computer Science, Springer, 1989.

1988

Fondamenti di informaticaEgon Börger, Andrea Maggiolo-Schettini. ETS Editrice, 1988.

CSL 87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, ProceedingsEgon Börger, Hans Kleine Büning, Michael M. Richter, editors, Volume 329 of Lecture Notes in Computer Science, Springer, 1988.

1987

Unsolvable Decision Problems for Prolog ProgramsEgon Börger. BIRTHDAY 1987: 37-48

Computation Theory and Logic, In Memory of Dieter RöddingEgon Börger, editor, Volume 270 of Lecture Notes in Computer Science, Springer, 1987.

PreviousNext