Egon Börger

	2012
121		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
120		Egon Börger: The Subject-Oriented Approach to Software Design and the Abstract State Machines Method. S-BPM ONE (Scientific Research) 2012: 1-21
119		Egon Börger, Antonio Cisternino, Vincenzo Gervasi: Ambient Abstract State Machines with applications. J. Comput. Syst. Sci. 78(3): 939-959 (2012)
	2011
118		Egon Börger: Editorial. Formal Asp. Comput. 23(1): 1-2 (2011)
	2010
117		Iain Craig, Egon Börger: Synchronous Message Passing and Semaphores: An Equivalence Proof. ASM 2010: 20-33
	2009
116		Egon Börger, Ove Sörensen, Bernhard Thalheim: On Defining the Behavior of OR-joins in Business Process Models. J. UCS 15(1): 3-32 (2009)
	2008
115		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 Springer 2008
114		Egon Börger, Antonio Cisternino: Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures Springer 2008
113		Egon Börger, Bernhard Thalheim: Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach. ABZ 2008: 24-38
112		Egon Börger, Don S. Batory: Coupling Design and Verification in Software Product Lines. FoIKS 2008: 1-4
111		Michael Altenhofen, Egon Börger: Concurrent Abstract State Machines and +CAL Programs. WADT 2008: 1-17
110		Egon Börger, Andreas Prinz: Quo Vadis Abstract State Machines? J. UCS 14(12): 1921-1928 (2008)
109		Don S. Batory, Egon Börger: Modularizing Theorems for Software Product Lines: The Jbook Case Study. J. UCS 14(12): 2059-2082 (2008)
	2007
108		Egon Börger: Modeling Workflow Patterns from First Principles. ER 2007: 1-20
107		Egon Börger, Bernhard Thalheim: A Method for Verifiable and Validatable Business Process Modeling. Lipari Summer School 2007: 59-115
106		Egon Börger: Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems. Formal Asp. Comput. 19(2): 225-241 (2007)
	2006
105		Andreas Friesen, Egon Börger: A high-level specification for Semantic Web Service Discovery Services. ICWE Workshops 2006: 16
104		Nicu G. Fruja, Egon Börger: Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. Journal of Object Technology 5(3): 5-34 (2006)
	2005
103		Egon Börger: The ASM Method: a Cornerstone in Computer Science Education. Abstract State Machines 2005: 49-56
102		Danièle Beauquier, Egon Börger, Anatol Slissenko: Introduction. Abstract State Machines 2005: 5-10
101		Egon Börger: Design Pattern Abstractions and Abstract State Machines. Abstract State Machines 2005: 91-100
100		Michael Altenhofen, Egon Börger, Jens Lemcke: A High-Level Specification for Mediators(Virtual Providers). Business Process Management Workshops 2005: 116-129
99		Egon Börger: Using Abstract State Machines for the Description and the Analysis of Formal Systems. DCFS 2005: 15-22
98		Egon Börger: The ASM Method for System Design and Analysis. A Tutorial Introduction. FroCos 2005: 264-283
97		Alistair P. Barros, Egon Börger: A Compositional Framework for Service Interaction Patterns and Interaction Flows. ICFEM 2005: 5-35
96		Michael Altenhofen, Egon Börger, Jens Lemcke: An Abstract Model for Process Mediation. ICFEM 2005: 81-95
95		Egon Börger: Linking the Meaning of Programs to What the Compiler Can Verify. VSTTE 2005: 325-336
94		Egon Börger: Abstract State Machines: a unifying view of models of computation and of system design frameworks. Ann. Pure Appl. Logic 133(1-3): 149-171 (2005)
93		Egon Börger: Abstract state machines and high-level system design and analysis. Theor. Comput. Sci. 336(2-3): 205-207 (2005)
92		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)
	2004
91		Robert F. Stärk, Egon Börger: An ASM Specification of C# Threads and the .NET Memory Model. Abstract State Machines 2004: 38-60
90		Egon Börger: Modeling with Abstract State Machines: A support for accurate system design and analysis. Modellierung 2004: 235-239
89		Egon Börger: A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. TFM 2004: 65-84
88		Egon Börger, Alessandra Cavarra, Elvinia Riccobene: On formalizing UML state machines using ASM. Information & Software Technology 46(5): 287-292 (2004)
	2003
87		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 Springer 2003
86		Egon Börger, Robert F. Stärk: Abstract State Machines. A Method for High-Level System Design and Analysis Springer 2003
85		Egon Börger, Tommaso Bolognesi: Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. Abstract State Machines 2003: 218-228
84		Tommaso Bolognesi, Egon Börger: Abstract State Processes. Abstract State Machines 2003: 22-32
83		Egon Börger, Robert F. Stärk: Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. FMCO 2003: 42-76
82		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
81		Egon Börger: The ASM Ground Model Method as a Foundation for Requirements Engineering. Verification: Theory and Practice 2003: 145-160
80		Egon Börger: The ASM Refinement Method. Formal Asp. Comput. 15(2-3): 237-257 (2003)
	2002
79		Egon Börger: The Origins and the Development of the ASM Method for High Level System Design and Analysis. J. UCS 8(1): 2-74 (2002)
	2001
78		Robert F. Stärk, Joachim Schmid, Egon Börger: Java and the Java Virtual Machine: Definition, Verification, Validation Springer 2001
77		Egon Börger: Design for Reuse via Structuring Techniques for ASMs. EUROCAST 2001: 20-35
76		Egon Börger, Diego Sona: A Neural Abstract Machine. J. UCS 7(11): 1006-1023 (2001)
75		Egon Börger, Uwe Glässer: Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. J. UCS 7(11): 914-916 (2001)
	2000
74		Egon Börger, Alessandra Cavarra, Elvinia Riccobene: An ASM Semantics for UML Activity Diagrams. AMAST 2000: 293-308
73		Egon Börger: Abstract State Machines at the Cusp of the Millenium. Abstract State Machines 2000: 1-8
72		Egon Börger, Alessandra Cavarra, Elvinia Riccobene: Modeling the Dynamics of UML State Machines. Abstract State Machines 2000: 223-241
71		Egon Börger, Peter Päppinghaus, Joachim Schmid: Report on a Practical Application of ASMs in Software Design. Abstract State Machines 2000: 361-366
70		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
69		Egon Börger, Joachim Schmid: Composition and Submachine Concepts for Sequential ASMs. CSL 2000: 41-60
68		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)
67		Egon Börger, Reinhard Gotzhein: Requirements Engineering - The Light Control Case Study. J. UCS 6(7): 580-581 (2000)
66		Egon Börger, Reinhard Gotzhein: The Light Control Case Study: A Synopsis. J. UCS 6(7): 582-585 (2000)
65		Egon Börger, Elvinia Riccobene, Joachim Schmid: Capturing Requirements by Abstract State Machines: The Light Control Case Study. J. UCS 6(7): 597-620 (2000)
64		Egon Börger, Wolfram Schulte: Initialization problems for Java. Software - Concepts and Tools 19(4): 175-178 (2000)
	1999
63		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
62		Egon Börger: High Level System Design and Analysis Using Abstract State Machines. FM-Trends 1998: 1-43
61		Egon Börger, Wolfram Schulte: Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation. MFCS 1998: 17-35
60		Egon Börger, James K. Huggins: Abstract State Machines 1988-1998: Commented ASM Bibliography CoRR cs.SE/9811014: (1998)
	1997
59		Egon Börger, Erich Grädel, Yuri Gurevich: The Classical Decision Problem Springer 1997
58		Egon Börger, S. Mazzanti: A Practical Method for Rigorously Controllable Hardware Design. ZUM 1997: 151-187
57		Egon Börger, Peter H. Schmitt: A Description of the Tableau Method Using Abstract State Machines. J. Log. Comput. 7(5): 659-681 (1997)
56		Egon Börger: Ten Years of Gurevich's Abstract State Machines. J. UCS 3(4): 230-232 (1997)
55		Egon Börger: JUCS Special ASM Issue, Part II - Introduction. J. UCS 3(5): 414-415 (1997)
54		Egon Börger, Luca Mearelli: Integrating ASMs into the Software Development Life Cycle. J. UCS 3(5): 603-665 (1997)
	1996
53		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). Springer 1996
52		Egon Börger, Igor Durdanovic: Correctness of Compiling Occam to Transputer Code. Comput. J. 39(1): 52-92 (1996)
51		Christoph Beierle, Egon Börger: Specification and Correctness Proof of a WAM Extension with Abstract Type Constraints. Formal Asp. Comput. 8(4): 428-462 (1996)
50		Christoph Beierle, Egon Börger: Refinement of a Typed WAM Extension by Polymorphic Order-Sorted Types. Formal Asp. Comput. 8(5): 539-564 (1996)
	1995
49		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
48		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
47		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
46		Egon Börger: Why Use Evolving Algebras for Hardware and Software Engineering? SOFSEM 1995: 236-271
45		Egon Börger, Dean Rosenzweig: The WAM - Definition and Compiler Correctness. Logic Programming: Formal Methods and Practical Applications 1995: 20-90
44		Egon Börger, Dean Rosenzweig: A Mathematical Definition of Full Prolog. Sci. Comput. Program. 24(3): 249-286 (1995)
	1994
43		Egon Börger, Yuri Gurevich, Karl Meinke: Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers Springer 1994
42		Wolfgang Müller, Egon Börger, Uwe Glässer: The semantics of behavioral VHDL '93 descriptions. EURO-DAC 1994: 500-505
41		Egon Börger: Logic Programming: The Evolving Algebra Approach. IFIP Congress (1) 1994: 391-395
40		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
39		Egon Börger, Uwe Glässer: A Formal Specification of the PVM Architecture. IFIP Congress (1) 1994: 402-409
38		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
37		Egon Börger, Igor Durdanovic, Dean Rosenzweig: Occam: Specification and Compiler Correctness - Part I: The Primary Model. PROCOMET 1994: 489-508
	1993
36		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 Springer 1993
35		Egon Börger, Dean Rosenzweig: Full Prolog in a Nutshell. ICLP 1993: 832
34		Egon Börger, Dean Rosenzweig: The Mathematics of Set Predicates in Prolog. Kurt Gödel Colloquium 1993: 1-13
33		Egon Börger: Evolving Algebras for Specification of Logic Programming Systems. WLP 1993: 5
	1992
32		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 Springer 1992
31		Egon Börger: Berechenbarkeit, Komplexität und Logik - Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität (3. Aufl.). Vieweg 1992: I-XX, 1-499
	1991
30		Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld: Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings Springer 1991
29		Christoph Beierle, Egon Börger: Correctness Proof For the WAM with Types. CSL 1991: 15-34
28		Egon Börger, Elvinia Riccobene: Logical Operational Semantics of Parlog, Part I: And-Parallelism. PDK 1991: 191-198
27		Egon Börger, Bart Demoen: A Framework to Specify Database Update Views for Prolog. PLILP 1991: 147-158
26		Egon Börger, Elvinia Riccobene: Logical Operational Semantics of Parlog. Part II: Or-Parallelism. RCLP 1991: 27-34
25		Egon Börger, Dean Rosenzweig: WAM Algebras - A Mathematical Study of Implementation, Part 2. RCLP 1991: 35-54
24		Christoph Beierle, Egon Börger: A WAM Extension for Type-Constraint Logic Programming: Specification and Correctness Proof IWBS Report 200: (1991)
23		Christoph Beierle, Egon Börger: Correctness Proof for the WAM IWBS Report 205: (1991)
	1990
22		Egon Börger, Hans Kleine Büning, Michael M. Richter: CSL '89, 3rd Workshop on Computer Science Logic, Kaiserslautern, Germany, October 2-6, 1989, Proceedings Springer 1990
21		Egon Börger, Dean Rosenzweig: From Prolog Algebras Towards WAM - A Mathematical Study of Implementation. CSL 1990: 31-66
20		Egon Börger, Peter H. Schmitt: A Formal Operational Semantics for Languages of Type Prolog III. CSL 1990: 67-79
19		Egon Börger: A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation. MFCS 1990: 1-14
18		Egon Börger: A Logical Operational Semantics of Full Prolog IWBS Report 111: (1990)
17		Egon Börger: A Logical Operational Semantics of Full Prolog Part II: Built-in Predicates for Database Manipulations IWBS Report 115: (1990)
16		Egon Börger: A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output IWBS Report 117: (1990)
15		Egon Börger: Complexity of Logical Decision Problems: An Introduction IWBS Report 143: (1990)
14		Egon Börger, Peter H. Schmitt: A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras IWBS Report 144: (1990)
	1989
13		Egon Börger: Computability, Complexity, Logic (English translation of "Berechenbarkeit, Komplexität, Logik" from 1985) North-Holland 1989
12		Egon Börger, Hans Kleine Büning, Michael M. Richter: CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings Springer 1989
11		Egon Börger: A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control. CSL 1989: 36-64
	1988
10		Egon Börger, Andrea Maggiolo-Schettini: Fondamenti di informatica. ETS Editrice 1988: 1-87
9		Egon Börger, Hans Kleine Büning, Michael M. Richter: CSL '87, 1st Workshop on Computer Science Logic, Karlsruhe, Germany, October 12-16, 1987, Proceedings Springer 1988
	1987
8		Egon Börger: Computation Theory and Logic, In Memory of Dieter Rödding Springer 1987
7		Egon Börger: Unsolvable Decision Problems for Prolog Programs. Computation Theory and Logic 1987: 37-48
	1984
6		Egon Börger, Gisbert Hasenjaeger, Dieter Rödding: 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/Westfahlen Springer 1984
	1983
5		Egon Börger: Spektralproblem and completeness of logical decision problems. Logic and Machines 1983: 333-356
	1982
4		Stål Aanderaa, Egon Börger, Harry R. Lewis: Conservative Reduction Classes of Krom Formulas. J. Symb. Log. 47(1): 110-130 (1982)
	1981
3		Egon Börger: Logical Description of Computation Processes. FCT 1981: 410-424
2		Stal O. Anderaa, Egon Börger: The Equivalence of Horn and Network Complexity for Boolean Functions. Acta Inf. 15: 303-307 (1981)
	1980
1		Egon Börger, Hans Kleine Büning: The Reachability Problem for Petri Nets and Decision Problems for Skolem Arithmetic. Theor. Comput. Sci. 11: 123-143 (1980)

Coauthor Index

1	Stål Aanderaa	[4]
2	Jean-Raymond Abrial	[49] [53]
3	Michael Altenhofen	[96] [100] [111]
4	Stal O. Anderaa	[2]
5	Michael Barnett	[70]
6	Alistair P. Barros	[97]
7	Don S. Batory	[109] [112]
8	Danièle Beauquier	[102]
9	Christoph Beierle	[23] [24] [29] [48] [50] [51]
10	Paul Boca	[115]
11	Tommaso Bolognesi	[84] [85]
12	Jonathan P. Bowen	[115]
13	Hans Kleine Büning	[1] [9] [12] [22] [30] [32] [36]
14	Michael J. Butler	[115]
15	Giuseppe Del Castillo	[40] [47]
16	Alessandra Cavarra	[72] [74] [82] [88]
17	Antonio Cisternino	[114] [119]
18	Iain Craig	[117]
19	Bart Demoen	[27]
20	Igor Durdanovic	[37] [48] [52]
21	Andreas Friesen	[105]
22	Nicu G. Fruja	[92] [104]
23	Angelo Gargantini	[87]
24	Vincenzo Gervasi	[92] [119]
25	Uwe Glässer	[39] [42] [48] [75]
26	Paola Glavan	[40]
27	Reinhard Gotzhein	[66] [67]
28	Erich Grädel	[59]
29	Yuri Gurevich	[43] [59] [70]
30	Gisbert Hasenjaeger	[6]
31	James K. Huggins	[60]
32	Gerhard Jäger	[32] [36]
33	Hans Langmaack	[49] [53]
34	Jens Lemcke	[96] [100]
35	Harry R. Lewis	[4]
36	Francisco Javier López-Fraguas	[38]
37	Andrea Maggiolo-Schettini	[10]
38	Simone Martini	[36]
39	S. Mazzanti	[58]
40	Luca Mearelli	[54]
41	Karl Meinke	[43]
42	Wolfgang Müller	[42]
43	Peter Päppinghaus	[71]
44	Andreas Prinz	[110]
45	Elvinia Riccobene	[26] [28] [48] [65] [72] [74] [82] [87] [88]
46	Michael M. Richter	[9] [12] [22] [30] [32] [36]
47	Dieter Rödding	[6]
48	Mario Rodríguez-Artalejo	[38]
49	Dean Rosenzweig	[21] [25] [34] [35] [37] [40] [44] [45]
50	Joachim Schmid	[65] [69] [71] [78]
51	Peter H. Schmitt	[14] [20] [57]
52	Wolfgang Schönfeld	[30]
53	Wolfram Schulte	[61] [63] [64] [68] [70]
54	Anatol Slissenko	[102]
55	Diego Sona	[76]
56	Ove Sörensen	[116]
57	Robert F. Stärk	[78] [83] [86] [91] [92]
58	Bernhard Thalheim	[107] [113] [116]
59	Margus Veanes	[70]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page