- Using Abstract State Machines at Microsoft: A Case Study
- Design for Reuse via Structuring Techniques for Egon Borger
- An ASM Semantics for UML Activity Diagrams E. Borger 1 A. Cavarra 2 E. Riccobene 2
- Computation and Specification Models. A Comparative Study
- Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented
- Why Use Evolving Algebras for Hardware and Software Engineering? ?
- Initialization Problems for Java ? Egon Borger 1 , Wolfram Schulte 2
- A model for mathematical analysis of functional logic programs and their implementations \Lambda
- Composition and Submachine Concepts for Sequential ASMs
- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
- A Formal Specification of the PVM Architecture \Lambda Egon Borger a and Uwe Glasser b
- A formal specification of PARLOG \Lambday
- implementation communication
- Modeling the Dynamics of UML State Machines Egon Borger 1 , Alessandra Cavarra 2 , and Elvinia Riccobene 2
- A formal method for provably correct composition of a reallife processor out of basic components
- Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras \Lambda
- Vocabulary of the trustful JVMC Instructions
- Linking the Meaning of Programs to What the Compiler Can Verify
- Modeling with Abstract State Machines: A support for accurate system design and
- A Structured and High-Level Definition of Java and of its Provably Correct and Secure Implementation
- Member of Editorial Boards, Program Committees, Refereeing Bodies, Scientific
- Correctness of compiling Occam to Transputer code \Lambda
- Using Abstract State Machines at Microsoft: A Case Study
- Threads in JavaT Syntax of JavaT
- The ASM Ground Model Method as a Foundation of Requirements Engineering
- The Bakery Algorithm: Yet Another Speci cation and Veri cation
- On Formalizing UML State Machines Using ASMs Egon Borgera
- Successors for JVMI instructions succI (instr, pc, regT, opdT) =
- A Programmer Friendly Modular Definition of the Semantics of Java ?
- Anhang 2. Dynamische Algebren und Semantik von Prolog
- Abstract State Machines and High-Level System Design and Analysis
- A Method for Verifiable and Validatable Business Process Egon Borger1
- High Level System Design and Analysis using Abstract State Machines
- Fundamenta Informaticae 77 (2006) iiv i The Abstract State Machines Method
- Towards a Mathematical Specification of the APE100 Architecture: The APESE Model \Lambda
- The informal speci cation Jean-Raymond Abrial
- Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation ?
- The Steam Boiler Case Study: Competition of Formal Program Speci cation and Development
- The Bakery Algorithm: Yet Another Specification and Verification
- Logic + Control revisited: an abstract interpreter for Godel programs
- Synchronous Message Passing and Semaphores: An Equivalence Proof
- Types of JavaO Types: Types A, B, C are
- 1 Introduction The method. This book introduces a systems engineering method which
- BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics
- Expository Papers Egon Borger
- Java Bytecode Verification void main() {
- The Semantics of Behavioral VHDL'93 Descriptions \Lambda Egon Borger Uwe Glasser Wolfgang Muller
- 77 (1-2) 2007 1. Preface i-iv
- Egon Borger, Erich Gradel, Yuri Gurevich The Classical Decision Problem
- Book review of The classical Decision Problem
- Java and JVM in a Nutshell Robert Stark, Joachim Schmid, Egon Borger
- Lecture Notes in Computer Science 5115 Commenced Publication in 1973
- The Abstract State Machines Method for High-Level System Design and Analysis
- Concurrent Abstract State Machines and + Michael Altenhofen1
- BrgerCisternino(Eds.) AdvancesinSoftwareEngineering
- On defining the behavior of OR-joins in business process Egon Borger1
- A High-Level Specification for Virtual Providers
- Vol. 2, No. 2, MarchAprile 2006 Modeling the .NET CLR
- A Compositional Framework for Service Interaction Patterns and Interaction Flows
- An Abstract Model for Process Mediation Michael Altenhofen1
- Abstract State Machines: A Unifying View of Models of Computation and of System Design
- Exploiting Abstraction for Specification Reuse. The Java/C# Case Study
- A High-Level Modular De nition of the Semantics of C]
- An ASM specification of C# threads and the .NET memory model
- A practice-oriented course on the principles of computation, programming and system design and analysis
- Research Papers in Computer Science Egon Borger
- The ASM Ground Model Method as a Foundation of Requirements Engineering
- Research Papers in Logic and Complexity Theory Egon Borger
- Ten Years of CSL Conferences (1987-1997) Egon Borger
- Edition of Books, Proceedings, Journal Issues Egon Borger
- Organization of Conferences, Workshops, Symposia, Colloquia, Schools
- 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.1 Goals of the Book and Contours of its Method . . . . . . . . . . . . . 3
- Java and the Java Virtual Machine Definition, Verification, Validation
- Java and the Java Virtual Machine Robert Stark, Joachim Schmid, Egon Borger
- Design for Reuse via Structuring Techniques for ASMs
- on Proble123 BrgerGrdelGurevichTheClassicalDecisionProblem
- Analysis of the .NET CLR Exception Handling Mechanism
- Abstract State Processes Tommaso Bolognesi1
- 2. Abstract State Machines The notion of Abstract State Machines (ASMs), defined in [20], captures in
- Primitive types and literals of JavaI Type Size Default Literals
- Syntax of a Java class public abstract final
- Unreachable statements JLS 14.20: Conservative flow analysis at compile-time.
- Vocabulary of the trustful JVMI Instructions
- Vocabulary of the trustful JVMO Instructions
- Vocabulary of the defensive JVMI WordType = int
- Occam: Specification and Compiler Correctness Part I: The Primary Model
- This book is the result of a collaborative e ort of many persons and insti-tutions, willing to contribute to a solution of the problem to nd means for
- Construction and Analysis of Ground Models and their Refinements as a Foundation for
- Integrating ASMs into the Software Development Life Egon Borger
- Tribute to Egon Borger on the Occasion of his 60th
- 1 Modeling an Operating System Kernel Egon Brger, Universit di Pisa, Dipartimento di Informatica
- Abstract State Machines at the Cusp of the Millenium
- Errors and exceptions in JavaE VirtualMachineError
- The ASM Method for System Design and Analysis. A Tutorial Introduction
- Towards a Mathematical Specification of a GraphNarrowing Machine \Lambda
- Vocabulary of the trustful JVME Instructions
- Egon Borger (Pisa) Universita di Pisa, Dipartimento di Informatica, boerger@di.unipi.it
- Corso di laurea Specialistica in Informatica (classe 23/S) Corso di laurea Specialistica in Tecnologie Informatiche (classe 23/S)
- A Critical Analysis of Workflow Patterns Egon Borger
- Book Review E.W.Dijkstra, C.S.Scholten: Predicate Calculus and Program Semantics,
- Modular Design for the Java Virtual Machine Architecture
- Egon Borger, Erich Gradel, Yuri Gurevich The Classical Decision Problem
- CLAM Specification for Provably Correct Compilation of CLP(R) Programs
- ABL J.-R. Abrial, E. Borger, H. Langmaack: The Steam Boiler Case Study: Competition of Formal Program Speci cation and Development Methods.
- A Practical Method for Rigorously Controllable Hardware Design
- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes
- Linking architectural and component level system views by Abstract State Machines
- Egon Borger, Erich Gradel, Yuri Gurevich The Classical Decision Problem
- Modeling the Dynamics of UML State Machines Egon Borger1
- Principal bytecode type assignments More specific: A type assignment (regV i, opdV i)iV is more specific
- Correctness of the compiler ASM for Java ASM for the JVM
- Integrating ASMs into the Software Development Life Egon Borger
- Under consideration for publication in Formal Aspects of Computing The ASM Refinement Method
- Re ning Abstract Machine Speci cations of the Steam Boiler Control to Well Documented
- Albert Fleischmann Werner Schmidt
- The Subject-Oriented Approach to Software and the Abstract State Machines Method
- Approaches to Modeling Business Processes. A Critical Analysis of BPMN, Workflow
- Ambient Abstract State Machines with Applications
- Composition and Submachine Concepts for Sequential ASMs
- Formal Aspects of Computing (1995) 3: 1{000 Speci cation and correctness proof of
- A Formal Speci cation of the PVM Architecture Egon Borgera
- The WAM|De nition and Compiler Correctness Egon Borger
- A Tribute to Dean Rosenzweig Egon Borger
- The Semantics of Behavioral VHDL'93 Descriptions Egon Borger Uwe Glasser Wolfgang Muller
- A Practical Method for Rigorously Controllable Hardware Design
- Correctness of compiling Occam to Transputer code
- A formal method for provably correct composition of a real-life processor out of basic components
- FORMAL DEFINITION OF AN ABSTRACT VHDL'93
- Occam: Specification and Compiler Correctness Part I: The Primary Model
- slightly modified version appeared in: Formal Aspects of Computing, Vol. 8(5), pp. 539564, 1996
- Logic Programming: The Evolving Algebra Approach Egon Borgera
- Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras
- Towards a Mathematical Speci cation of the APE100 Architecture: The APESE Model
- Why Use Evolving Algebras for Hardware and Software Engineering? ?
- A model for mathematical analysis of functional logic programs and their implementations
- A formal method for provably correct composition of a real-life processor out of basic components
