Follow
Egon Boerger
Egon Boerger
Professor of Computer Science, University of Pisa (Italy)
Verified email at di.unipi.it - Homepage
Title
Cited by
Cited by
Year
The abstract state machines method for high-level system design and analysis
E Börger
Formal Methods: State of the Art and New Directions, 79-116, 2010
16362010
The classical decision problem
E Börger, E Grädel, Y Gurevich
Springer Science & Business Media, 2001
10702001
Java and the Java virtual machine: definition, verification, validation
RF Stärk, J Schmid, E Börger
Springer Science & Business Media, 2012
5522012
Subject-oriented business process management
A Fleischmann, W Schmidt, C Stary, S Obermeier, E Börger
Springer Nature, 2012
3172012
Formal methods for industrial applications: Specifying and programming the steam boiler control
JR Abrial, E Börger, H Langmaack
Springer Science & Business Media, 1996
2251996
High level system design and analysis using abstract state machines
E Börger
Applied Formal Methods—FM-Trends 98: International Workshop on Current …, 1999
2221999
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
E Börger
Software & Systems Modeling 11, 305-318, 2012
2102012
The ASM refinement method
E Börger
Formal aspects of computing 15, 237-257, 2003
2092003
An ASM semantics for UML activity diagrams
E Börger, A Cavarra, E Riccobene
Algebraic Methodology and Software Technology: 8th International Conference …, 2000
1772000
A programmer friendly modular definition of the semantics of Java
E Börger, W Schulte
Formal Syntax and Semantics of Java, 353-404, 1999
1681999
The WAM-definition and compiler correctness
E Börger, D Rosenzweig
Università degli studi di Pisa, Dipartimento di informatica, 1992
1631992
Modeling the dynamics of UML state machines
E Börger, A Cavarra, E Riccobene
Abstract State Machines-Theory and Applications: International Workshop, ASM …, 2000
1532000
A mathematical definition of full Prolog
E Börger, D Rosenzweig
Science of Computer Programming 24 (3), 249-286, 1995
1451995
A logical operational semantics of full Prolog: Part I. Selection core and control
E Börger
CSL'89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October …, 1990
129*1990
A high-level modular definition of the semantics of C♯
E Börger, NG Fruja, V Gervasi, RF Stärk
Theoretical Computer Science 336 (2-3), 235-284, 2005
1282005
The Origins and the Development of the ASM Method for High Level System Design and Analysis.
E Börger
J. Univers. Comput. Sci. 8 (1), 2-74, 2002
1252002
The bakery algorithm: Yet another specification and verification
E Börger, Y Gurevich, D Rosenzweig
Specification and Validation Methods, 231-243, 1995
124*1995
A formal definition of an abstract VHDL’93 simulator by EA-Machines
E Börger, U Glässer, W Muller
Formal Semantics for VHDL, 107-139, 1995
1141995
Why use evolving algebras for hardware and software engineering?
E Börger
SOFSEM 95, 236-271, 1995
1041995
Correctness of compiling Occam to Transputer code
E Börger, I Durdanović
The Computer Journal 39 (1), 52-92, 1996
1011996
The system can't perform the operation now. Try again later.
Articles 1–20