Abstract State Machines: Author Index

---

[A]

• Serge Abiteboul
  • "Evolving Databases: An Application to Electronic Commerce"
• Wolfgang Ahrendt
  • "Reasoning about Abstract State Machines: The WAM Case Study"
• José Nelson Amaral
  • "An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol"
• Matthias Anlauff
  • "Enhanced Control Flow Graphs in Montages"
  • "Formal Aspects of and Development Environments for Montages"
  • "Generating an Action Notation Environment from Montages Descriptions"
  • "Hierarchical Microprocessor Design Using XASM"
  • "Tool Support for Language Design and Prototyping with Montages"
  • "XASM -- An Extensible, Component-Based Abstract State Machines Language"
• Lourdes Araujo
  • "Correctness proof of a Distributed Implementation of Prolog by means of Abstract State Machines"

---

[B]

• Michael Barnett
  • "The ABCs of Specification: AsmL, Behavior, and Components"
  • "Conformance Checking of Components Against Their Non-deterministic Specifications"
  • "Contracts, Components, and their Runtime Verification on the .NET Platform"
  • "Specification, Simulation and Testing of COM Components using Abstract State Machines"
  • "Spying on Components: A Runtime Verification Technique"
  • "Using Abstract State Machines at Microsoft: A Case Study"
• Danièle Beauquier
  • "On Semantics of Algorithms with Continuous Time"
  • "The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and their Model-Checking in High-Level Languages"
  • "Verification of Timed Algorithms: Gurevich Abstract State Machines versus First Order Timed Logic"
• Bernhard Beckert
  • "leanEA: A Lean Evolving Algebra Compiler"
• Christoph Beierle
  • "Correctness proof for the WAM with types."
  • "Formal design of an abstract machine for constraint logic programming".
  • "Refinement of a typed WAM extension by polymorphic order-sorted types"
  • "Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code."
  • "Specification and correctness proof of a WAM extension with abstract type constraints"
• Giampaolo Bella
  • "Formal Analysis of the Kerberos Authentication System"
  • "A Realistic Environment for Crypto-Protocol Analyses by ASMs"
• Roberto da Silva Bigonha
  • "An ASM Implementation of a Self-Applicable Partial Evaluator"
  • "An ASM-Based Approach for Mobile Systems"
  • "The Formal Specification of the Interactive Abstract State Machine Language"
  • "Interacting Abstract State Machines"
  • "A Self-Applicable Partial Evaluator for ASM"
• Andreas Blass
  • "Abstract state machines and computationally complete query languages"
  • "Abstract State Machines and Pure Mathematics"
  • "Algorithms vs. Machines"
  • "Background, Reserve, and Gandy Machines"
  • "Choiceless Polynomial Time"
  • "The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs"
  • "The Logic of Choice"
  • "New Zero-One Law and Strong Extension Axioms"
  • "On Polynomial Time Computation Over Unordered Structures"
  • "Strong Extension Axioms and Shelah's Zero-One Law for Choiceless Polynomial Time"
• Tommaso Bolognesi
  • "Remarks on Turbo ASMs for Functional Equations and Recursion Schemes"
• Egon Börger
  • "Abstract State Machines: A Method for High-Level System Design and Analysis"
  • "Abstract State Machines: A Unifying View of Models of Computation and of System Design Frameworks"
  • "Abstract State Machines 1988-1998: Commented ASM Bibliography"
  • "The ASM Ground Model Method as a Foundation of Requirements Engineering"
  • "The ASM Refinement Method"
  • "An ASM Semantics for UML Activity Diagrams"
  • "The Bakery Algorithm: Yet Another Specification And Verification"
  • "Capturing Requirements by Abstract State Machines: The Light Control Case Study"
  • "CLAM specification for provably correct compilation of CLP(R) programs"
  • "Composition and Submachine Concepts for Sequential ASMs"
  • "Computation and Specification Models: A Comparative Study"
  • "Correctness of compiling Occam to Transputer code"
  • "A correctness proof for pipelining in RISC architectures"
  • "Correctness proof for the WAM with types."
  • "Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation."
  • "A Description of the Tableau Method Using Abstract State Machines"
  • "Design for Reuse via Structuring Techniques for ASMs."
  • "Formal Definition of an Abstract VHDL'93 Simulator By EA-Machines"
  • "A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study)"
  • "A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study)" (Extended Abstract)
  • "A formal specification of Parlog."
  • "A formal specification of the PVM architecture."
  • "High Level System Design and Analysis using Abstract State Machines"
  • "Initialization Problems for Java"
  • "Integrating ASMs into the Software Development Life Cycle"
  • "Java and the Java Virtual Machine"
  • "Logic + control revisited: an abstract interpreter for Goedel programs."
  • "Logic Programming: The Evolving Algebra Approach"
  • "A mathematical definition of full Prolog."
  • "The mathematics of set predicates in Prolog."
  • "A model for mathematical analysis of functional logic programs and their implementations."
  • "Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras"
  • "Modular Design for the Java Virtual Machine Architecture"
  • "Occam: Specification and compiler correctness. Part I: Simple mathematical interpreters."
  • "The Origins and the Development of the ASM Method for High Level System Design and Analysis"
  • "A Practical Method for Specification and Analysis of Exception Handling: A Java/JVM Case Study"
  • "A Practical Method for Rigourously Controllable Hardware Design."
  • "A Programmer Friendly Modular Definition of the Semantics of Java."
  • "Refinement of a typed WAM extension by polymorphic order-sorted types"
  • "Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code."
  • "Remarks on Turbo ASMs for Functional Equations and Recursion Schemes"
  • "Report on a Practical Application of ASMs in Software Design"
  • "The Semantics of Behavioral VHDL'93 Descriptions"
  • "Specification and correctness proof of a WAM extension with abstract type constraints"
  • "Towards a Mathematical Specification of a Graph-Narrowing Machine,"
  • "Towards a mathematical specification of the APE100 architecture: the APESE model."
  • "Using Abstract State Machines at Microsoft: A Case Study"
  • "The WAM - definition and compiler correctness."
  • "Why Use Evolving Algebras for Hardware and Software Engineering?"

---

[C]

• Colin Campbell
  • "Specification, Simulation and Testing of COM Components using Abstract State Machines"
  • "Table ASMs"
• Steven C. Cater
  • "An ASM Dynamic Semantics for Standard ML"
  • "An ASM Dynamic Semantics for Standard ML" (Extended Abstract)
• Alessandra Cavarra
  • "An ASM Semantics for UML Activity Diagrams"
• J. Cohen
  • "On Verification of Refinements of Asynchronous Timed Distributed Algorithms"
• Kevin Compton
  • "An Automatic Verification Tool for UML"
  • "A Semantic Model for the State Machine in the Unified Modeling Language"
  • "A Toolset for Supporting UML Static and Dynamic Model Check"
  • "A Validation Method for a UML Model Based on Abstract State Machines"

---

[D]

• Giuseppe Del Castillo
  • "Computer-Aided Analysis and Validation of Heterogeneous System Specifications"
  • "An Evolving Algebra Abstract Machine"
  • "Fast Dynamic Analysis of Complex HW/SW-Systems based on Abstract State Machine Models"
  • "A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study)"
  • "A formal method for provably correct composition of a real-life processor out of basic components (The APE100 Reverse Engineering Study)" (Extended Abstract)
  • "Model Checking Support for the ASM High-Level Language"
  • "Towards a mathematical specification of the APE100 architecture: the APESE model"
  • "Towards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets"
  • "Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture"
• Scott Dexter
  • "Gurevich Abstract State Machines and Schönhage Storage Modification Machines"
• Stephan Diehl
  • "Transformations of Evolving Algebras"
• Dag Diesen
  • "Specifying Algorithms Using Evolving Algebra. Implementation of Functional Programming Languages."
• Axel Dold
  • "ASM-Based Mechanized Verification of Compiler Back-Ends"
  • "A Formal Representation of Abstract State Machines Using PVS"
• Patrick Doyle
  • "Gurevich Abstract State Machines and Schönhage Storage Modification Machines"
• Arnaud Durand
  • "Modeling Cache Coherence Protocol - A Case Study with FLASH"
• Igor Durdanovic
  • "Correctness of compiling Occam to Transputer code"
  • "An Evolving Algebra Abstract Machine"
  • "Occam: Specification and compiler correctness. Part I: Simple mathematical interpreters."
  • "Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code."

---

[E]

• Robert Eschbach
  • "On the Formal Semantics of Design Languages: A compilation approach using Abstract State Machines"
  • "A Termination Detection Algorithm: Specification and Verification"

---

[F]

• Dirk Fischer
  • "Hierarchical Microprocessor Design Using XASM"
• Bradley Fordham
  • "Evolving Databases: An Application to Electronic Commerce"
• Nicu Fruja
  • "The Hidden Computation Steps of Turbo Abstract State Machines"

---

[G]

• Angelo Gargantini
  • "Encoding Abstract State Machines in PVS"
• Thilo Gaul
  • "An Abstract State Machine specification of the DEC-Alpha Processor Family"
  • "ASM-Based Mechanized Verification of Compiler Back-Ends"
  • "An ASM Specification of the Operational Semantics of MIS"
  • "On the Construction of Correct Compiler Back-Ends: An ASM Approach"
• A. Gawanmeh
  • "Interfacing ASM with the MDG Tool"
• Vincenzo Gervasi
  • "Synthesizing ASMs from Natural Language Requirements"
• Uwe Glässer
  • "An Abstract Communication Model"
  • "Abstract State Machine Semantics of SDL"
  • "Combining Abstract State Machines with Predicate Transition Nets"
  • "Computer-Aided Analysis and Validation of Heterogeneous System Specifications"
  • "An Evolving Algebra Abstract Machine"
  • "Formal Definition of an Abstract VHDL'93 Simulator By EA-Machines"
  • "A formal specification of the PVM architecture."
  • "Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras"
  • "On the Formal Semantics of Design Languages: A compilation approach using Abstract State Machines"
  • "Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code."
  • "The Semantics of Behavioral VHDL'93 Descriptions"
  • "Systems Level Specification and Modelling of Reactive Systems: Concepts, Methods, and Tools"
  • "Universal Plug and Play Machine Models"
• Paola Glavan
  • "Communicating evolving algebras"
  • "Towards a mathematical specification of the APE100 architecture: the APESE model."
• Sabine Glesner
  • "Structural Simulation Proofs based on ASMs even for Non-Terminating Programs"
• Gerhard Goos
  • "On Modular Definitions and Implementations of Programming Languages"
• Georg Gottlob
  • "Semantics of Object-Oriented Data Models -- The Evolving Algebra Approach"
• Reinhard Gotzhein
  • "On the Formal Semantics of Design Languages: A compilation approach using Abstract State Machines"
• Erich Grädel
  • "Logspace Reducibility via Abstract State Machines"
  • "Metafinite Model Theory"
• Wolfgang Grieskamp
  • "Generating Finite State Machines from Abstract State Machines"
  • "Testing with Abstract State Machines"
• Rix Groenboom
  • "A Formalization of Evolving Algebras"
• Yuri Gurevich
  • "An Abstract Communication Model"
  • "Abstract state machines and computationally complete query languages"
  • "Algebraic Operational Semantics and Occam"
  • "Algorithms vs. Machines"
  • "An Automatic Verification Tool for UML"
  • "Background, Reserve, and Gandy Machines"
  • "The Bakery Algorithm: Yet Another Specification And Verification"
  • "Choiceless Polynomial Time"
  • "Equivalence Is In The Eye Of The Beholder"
  • "Evolving Algebras" (Gurevich)
  • "Evolving Algebras 1993: Lipari Guide"
  • "Evolving Algebras: An Attempt to Discover Semantics"
  • "Evolving Algebras and Partial Evaluation"
  • "Formalizing Database Recovery"
  • "Generating Finite State Machines from Abstract State Machines"
  • "Group Membership Protocol: Specification and Verification"
  • "Gurevich Abstract State Machines and Schönhage Storage Modification Machines"
  • "Investigating Java Concurrency using Abstract State Machines"
  • "The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs"
  • "The Logic of Choice"
  • "Logician in the Land of OS: Abstract State Machines at Microsoft"
  • "May 1997 Draft of the ASM Guide"
  • "Metafinite Model Theory"
  • "New Zero-One Law and Strong Extension Axioms"
  • "On Polynomial Time Computation Over Unordered Structures"
  • "Partial Updates: Exploration"
  • "Partially Ordered Runs: A Case Study"
  • "The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions"
  • "Recursive Abstract State Machines"
  • "Rich Sequential-Time ASMs"
  • "The Semantics of the C Programming Language"
  • "Sequential Abstract State Machines Capture Sequential Algorithms"
  • "Specification and verification of the Windows Card runtime environment using Abstract State Machines"
  • "Strong Extension Axioms and Shelah's Zero-One Law for Choiceless Polynomial Time"
  • "Table ASMs"
  • "Testing with Abstract State Machines"
  • "Toward Industrial Strength Abstract State Machines"
  • "Universal Plug and Play Machine Models"
  • "Using Abstract State Machines at Microsoft: A Case Study"

---

[H]

• Wolfram Hardt
  • "Fast Dynamic Analysis of Complex HW/SW-Systems based on Abstract State Machine Models"
  • "Towards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets"
• Andreas Heberle
  • "An ASM Specification of the Operational Semantics of MIS"
  • "On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations"
  • "On Modular Definitions and Implementations of Programming Languages"
• James K. Huggins
  • "An Abstract State Machine Primer"
  • "Abstract State Machines 1988-1998: Commented ASM Bibliography"
  • "An ASM Dynamic Semantics for Standard ML"
  • "An ASM Dynamic Semantics for Standard ML" (Extended Abstract)
  • "An Automatic Verification Tool for UML"
  • "Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution."
  • "Equivalence Is In The Eye Of The Beholder"
  • "Evolving Algebras and Partial Evaluation"
  • "Kermit: Specification and Verification"
  • "An Offline Partial Evaluator for Evolving Algebras."
  • "The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions"
  • "A Semantic Model for the State Machine in the Unified Modeling Language"
  • "The Semantics of the C Programming Language"
  • "Specification and Verification of Pipelining in the ARM2 RISC Microprocessor"
  • "Specification and Verification of Pipelining in the ARM2 RISC Microprocessor (Extended Abstract)"
  • "The Static and Dynamic Semantics of C"
  • "A Toolset for Supporting UML Static and Dynamic Model Check"
  • "A Validation Method for a UML Model Based on Abstract State Machines"

---

[I]

• Vladimir Oliveira Di Iorio
  • "An ASM Implementation of a Self-Applicable Partial Evaluator"
  • "The Formal Specification of the Interactive Abstract State Machine Language"
  • "Interacting Abstract State Machines"
  • "A Self-Applicable Partial Evaluator for ASM"

---

[J]

• Jörn W. Janneck
  • "Mapping Automata: Simple Abstract State Machines"
  • "Object-based Abstract State Machines"
• David Johnson
  • "Dynamic Interpretations of Constraint-Based Grammar Formalisms"
  • "Evolving Algebras and Mathematical Models of Language"
  • "Grammar Formalisms Viewed As Evolving Algebras"

---

[K]

• A. Kalinov
  • "Coverage-Driven Automated Compiler Test Suite Generation"
  • "Using ASM specification for automatic test suite generation for mpC parallel programming language compiler"
• Alan Kaplan
  • "Formalization and Application of a Unifying Model for Name Management"
• A. M. Kappel
  • "Executable Specifications based on Dynamic Algebras"
  • "Implementation of Dynamic Algebras with an Application to Prolog"
• Gerti Kappel
  • "Cooperation Contracts"
  • "Semantics of Object-Oriented Data Models -- The Evolving Algebra Approach"
• René Karges
  • "Abstract State Machine Semantics of SDL"
• A. Kossatchev
  • "Coverage-Driven Automated Compiler Test Suite Generation"
  • "Using ASM specification for automatic test suite generation for mpC parallel programming language compiler"
• Philipp W. Kutter
  • "An ASM Macro Language for Sets"
  • "Description and Simulation of Microprocessor Instruction Sets Using ASMs"
  • "Enhanced Control Flow Graphs in Montages"
  • "Formal Aspects of and Development Environments for Montages"
  • "The Formal Definition of Anlauff's eXtensible Abstract State Machines"
  • "The Formal Specification of Oberon"
  • "Generating an Action Notation Environment from Montages Descriptions"
  • "Hierarchical Microprocessor Design Using XASM"
  • "Integrating Domain Specific Language Design in the Software Life Cycle"
  • "Integration of the Statecharts in Specware and Aspects of Correct Oberon Code Generation"
  • "Mapping Automata: Simple Abstract State Machines"
  • "Montages: Specifications of Realistic Programming Languages"
  • "Object-based Abstract State Machines"
  • "Tool Support for Language Design and Prototyping with Montages"
• Keehang Kwon
  • "A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming"

---

[L]

• Alexei Lisitsa
  • "Evolving algebras and labelled deductive systems for the semantic network based reasoning"
• F.J. López-Fraguas
  • "A model for mathematical analysis of functional logic programs and their implementations."
  • "Towards a Mathematical Specification of a Graph-Narrowing Machine,"
• Welf Löwe
  • "On ASM-Based Specification of Programming Language Semantics and Reusable Correct Compilations">
  • "On Modular Definitions and Implementations of Programming Languages"

---

[M]

• Marcelo de Almeida Maia
  • "An ASM-Based Approach for Mobile Systems"
  • "The Formal Specification of the Interactive Abstract State Machine Language"
  • "Interacting Abstract State Machines"
  • "A Self-Applicable Partial Evaluator for ASM"
• Raghu Mani
  • "Group Membership Protocol: Specification and Verification"
• Petr Matousek
  • "Semantics of the Process Description Language"
• Wolfgang May
  • "Complex Transitions in Evolving Algebras"
  • "Modeling Rule-Based and Structured Systems with Evolving Algebras"
  • "Specifying Complex and Structured Systems with Evolving Algebras"
• S. Mazzanti
  • "A correctness proof for pipelining in RISC architectures"
  • "A Practical Method for Rigourously Controllable Hardware Design."
• Luca Mearelli
  • "Integrating ASMs into the Software Development Life Cycle"
  • "Refining an ASM Specification of the Production Cell to C++ Code"
• Kazunori Mizushima
  • "Semantic Analysis of VHDL-AMS by Attribute Grammar"
  • "Semantic Validation of VHDL-AMS by an Abstract State Machine"
• Marcin Mlotkowski
  • "Specification and Optimization of the Smalltalk programs"
• Markus Mohnen
  • "A Compiler Correctness Proof for the Static Link Technique by means of Evolving Algebras"
• Yassine Mokhtari
  • "A Case Study on Model Checking and Refinement of Abstract State Machines"
• Lawrence S. Moss
  • "Algebraic Operational Semantics and Occam"
  • "Dynamic Interpretations of Constraint-Based Grammar Formalisms"
  • "Evolving Algebras and Mathematical Models of Language"
  • "Grammar Formalisms Viewed As Evolving Algebras"
• Wolfgang Muller
  • "Formal Definition of an Abstract VHDL'93 Simulator By EA-Machines"
  • "The Semantics of Behavioral VHDL'93 Descriptions"

---

[N]

• Lev Nachmanson
  • "Conformance Checking of Components Against Their Non-deterministic Specifications"
• Stanislas Nanchen
  • "A Logic for Abstract State Machines"
  • "A Logic for Abstract State Machines" (Extended Abstract)
• Zsolt Németh
  • "Definition of a Parallel Execution Model with Abstract State Machines".
  • "A Formal Framework for Defining Grid Systems"

---

[O]

• Ileana Ober
  • "Harmonizing Design Languages with Object-Oriented Extensions and an Executable Semantics"
• Martin Odersky
  • "Programming with Variable Functions"
• Gennady Osipov
  • "Evolving algebras and labelled deductive systems for the semantic network based reasoning"

---

[P]

• Claus Pahl
  • "Towards an Action Refinement Calculus for Abstract State Machines"
• Peter Päppinghaus
  • "Report on a Practical Application of ASMs in Software Design"
• A. Petrenko
  • "Coverage-Driven Automated Compiler Test Suite Generation"
• Alfonso Pierantonio
  • "Enhanced Control Flow Graphs in Montages"
  • "Formal Aspects of and Development Environments for Montages"
  • "The Formal Specification of Oberon"
  • "Generating an Action Notation Environment from Montages Descriptions"
  • "Montages: Specifications of Realistic Programming Languages"
  • "Tool Support for Language Design and Prototyping with Montages"
• Arnd Poetzsch-Heffter
  • "Deriving Partial Correctness Logics From Evolving Algebras"
  • "Developing Efficient Interpreters Based on Formal Language Specifications"
  • "Prototyping Realistic Programming Languages Based Formal Specificiations"
• Joachim Posegga
  • "leanEA: A Lean Evolving Algebra Compiler"
• Mikhail Posypkin
  • "Coverage-Driven Automated Compiler Test Suite Generation"
  • "Using ASM specification for automatic test suite generation for mpC parallel programming language compiler"
• Andreas Prinz
  • "On the Formal Semantics of Design Languages: A compilation approach using Abstract State Machines"
  • "Operational Semantics of Transactions"

---

[Q]

---

[R]

• Wolfgang Reisig
  • "On Gurevich's Theorem on Sequential Algorithms"
• Gerard Renardel del Lavalette
  • "A Formalization of Evolving Algebras"
• Elvinia Riccobene
  • "An ASM Semantics for UML Activity Diagrams"
  • "Capturing Requirements by Abstract State Machines: The Light Control Case Study"
  • "Encoding Abstract State Machines in PVS"
  • "Formal Analysis of the Kerberos Authentication System"
  • "A formal specification of Parlog."
  • "Logic + control revisited: an abstract interpreter for Goedel programs."
  • "A Realistic Environment for Crypto-Protocol Analyses by ASMs"
  • "Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code."
• M. Rodríguez-Artalejo
  • "A model for mathematical analysis of functional logic programs and their implementations."
  • "Towards a Mathematical Specification of a Graph-Narrowing Machine,"
• Dean Rosenzweig
  • "The Bakery Algorithm: Yet Another Specification And Verification"
  • "Communicating evolving algebras"
  • "A mathematical definition of full Prolog."
  • "The mathematics of set predicates in Prolog."
  • "Occam: Specification and compiler correctness. Part I: Simple mathematical interpreters."
  • "Partially Ordered Runs: A Case Study"
  • "Privacy, Abstract Encryption and Protocols: an ASM Model - Part I"
  • "Towards a mathematical specification of the APE100 architecture: the APESE model."
  • "The WAM - definition and compiler correctness."
• Davor Runje
  • "Privacy, Abstract Encryption and Protocols: an ASM Model - Part I"
• Heinrich Rust
  • "Hybrid Abstract State Machines: Using the Hyperreals for Describing Continuous Changes in a Discrete Notation"

---

[S]

• R. Salamone
  • "CLAM specification for provably correct compilation of CLP(R) programs"
• Hisashi Sasaki
  • "A Formal Semantics for Verilog-VHDL Simulation Interoperability by Abstract State Machine"
  • "A Formal Semantics on Net Delay in Verilog-HDL"
  • "A New Dynamic Equation Scheduling to extend VHDL-AMS"
  • "Semantic Analysis of VHDL-AMS by Attribute Grammar"
  • "Semantic Validation of VHDL-AMS by an Abstract State Machine"
• Takeshi Sasaki
  • "Semantic Analysis of VHDL-AMS by Attribute Grammar"
  • "Semantic Validation of VHDL-AMS by an Abstract State Machine"
• Gerhard Schellhorn
  • "Reasoning about Abstract State Machines: The WAM Case Study"
• Joachim Schmid
  • "Capturing Requirements by Abstract State Machines: The Light Control Case Study"
  • "Compiling Abstract State Machines to C++"
  • "Compiling Abstract State Machines to C++ (Extended Abstract)"
  • "Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler"
  • "Composition and Submachine Concepts for Sequential ASMs"
  • "Java and the Java Virtual Machine"
  • "Java bytecode verification is not possible (Extended Abstract)"
  • "Report on a Practical Application of ASMs in Software Design"
• Peter H. Schmitt
  • "A Description of the Tableau Method Using Abstract State Machines"
• Arno Schönegge
  • "Extending Dynamic Logic for Reasoning about Evolving Algebras"
• Wolfgang Schönfeld
  • "Interacting Abstract State Machines"
• Michael Schrefl
  • "Cooperation Contracts"
  • "Semantics of Object-Oriented Data Models -- The Evolving Algebra Approach"
• Wolfram Schulte
  • "The ABCs of Specification: AsmL, Behavior, and Components"
  • "Conformance Checking of Components Against Their Non-deterministic Specifications"
  • "Contracts, Components, and their Runtime Verification on the .NET Platform"
  • "Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation."
  • "Initialization Problems for Java"
  • "Investigating Java Concurrency using Abstract State Machines"
  • "Generating Finite State Machines from Abstract State Machines"
  • "Modular Design for the Java Virtual Machine Architecture"
  • "A Practical Method for Specification and Analysis of Exception Handling: A Java/JVM Case Study"
  • "A Programmer Friendly Modular Definition of the Semantics of Java."
  • "Rich Sequential-Time ASMs"
  • "Specification, Simulation and Testing of COM Components using Abstract State Machines"
  • "Spying on Components: A Runtime Verification Technique"
  • "Testing with Abstract State Machines"
  • "Toward Industrial Strength Abstract State Machines"
  • "Using Abstract State Machines at Microsoft: A Case Study"
• Daniel Schweizer
  • "Integrating Domain Specific Language Design in the Software Life Cycle"
• Saharon Shelah
  • "Choiceless Polynomial Time"
  • "On Polynomial Time Computation Over Unordered Structures"
• Wuwei Shen
  • "An Automatic Verification Tool for UML"
  • "A Semantic Model for the State Machine in the Unified Modeling Language"
  • "The Static and Dynamic Semantics of C"
  • "A Toolset for Supporting UML Static and Dynamic Model Check"
  • "A Validation Method for a UML Model Based on Abstract State Machines"
• Meral Shirazipour
  • "A Case Study on Model Checking and Refinement of Abstract State Machines"
• V. Shishkov
  • "Coverage-Driven Automated Compiler Test Suite Generation"
  • "Using ASM specification for automatic test suite generation for mpC parallel programming language compiler"
• Neva Slani
  • "Privacy, Abstract Encryption and Protocols: an ASM Model - Part I"
• Anatol Slissenko
  • "On Semantics of Algorithms with Continuous Time"
  • "On Verification of Refinements of Asynchronous Timed Distributed Algorithms"
  • "The Railroad Crossing Problem: Towards Semantics of Timed Algorithms and their Model-Checking in High-Level Languages"
  • "Verification of Timed Algorithms: Gurevich Abstract State Machines versus First Order Timed Logic"
• Nandit Soparkar
  • "Formalizing Database Recovery"
• Marc Spielmann
  • "Automatic Verification of Abstract State Machines"
  • "Logspace Reducibility via Abstract State Machines"
  • "Model Checking Abstract State Machines and Beyond"
  • "Recursive Abstract State Machines"
  • "Verification of Relational Transducers for Electronic Commerce"
• Robert Stärk
  • "Abstract State Machines: A Method for High-Level System Design and Analysis"
  • "Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler"
  • "The Hidden Computation Steps of Turbo Abstract State Machines"
  • "Java and the Java Virtual Machine"
  • "Java bytecode verification is not possible (Extended Abstract)"
  • "A Logic for Abstract State Machines"
  • "A Logic for Abstract State Machines" (Extended Abstract)
• Karl Strœtmann
  • "The Constrained Shortest Path Problem: A Case Study in Using ASMs"
• Vaidy Sunderam
  • "A Formal Framework for Defining Grid Systems"

---

[T]

• Sofiène Tahar
  • "A Case Study on Model Checking and Refinement of Abstract State Machines"
  • "Interfacing ASM with the MDG Tool"
• Jürgen Teich
  • "Description and Simulation of Microprocessor Instruction Sets Using ASMs"
  • "Hierarchical Microprocessor Design Using XASM"
• Bernhard Thalheim
  • "Operational Semantics of Transactions"
• Lothar Thiele
  • "Generating an Action Notation Environment from Montages Descriptions"
  • "Integrating Domain Specific Language Design in the Software Life Cycle"
• Nikolai Tillmann
  • "Partial Updates: Exploration"
• Hans Tonino
  • "A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines"
  • "Stepwise Refinement of an Abstract State Machine for WHNF-Reduction of lambda-Terms"
  • "A Theory of Many-sorted Evolving Algebras"
• Guy Tremblay
  • "An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol"

---

[U]

---

[V]

• Jan Van den Bussche
  • "Abstract state machines and computationally complete query languages"
• Marc Vale
  • "The Evolving Algebra Semantics of COBOL. Part 1: Programs and Control."
• David Van Campenhout
  • "Specification and Verification of Pipelining in the ARM2 RISC Microprocessor"
  • "Specification and Verification of Pipelining in the ARM2 RISC Microprocessor (Extended Abstract)"
• Margus Veanes
  • "An Abstract Communication Model"
  • "Generating Finite State Machines from Abstract State Machines"
  • "Rich Sequential-Time ASMs"
  • "Specification, Simulation and Testing of COM Components using Abstract State Machines"
  • "Testing with Abstract State Machines"
  • "Toward Industrial Strength Abstract State Machines"
  • "Universal Plug and Play Machine Models"
  • "Using Abstract State Machines at Microsoft: A Case Study"
• Vincent Vialard
  • "ASM-Based Mechanized Verification of Compiler Back-Ends"
• Joost Visser
  • "Evolving Algebras" (Visser)
  • "Stepwise Refinement of an Abstract State Machine for WHNF-Reduction of lambda-Terms"

---

[W]

• Charles Wallace
  • "An Abstract State Machine Primer"
  • "An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol"
  • "Formalizing Database Recovery"
  • "Investigating Java Concurrency using Abstract State Machines"
  • "The Semantics of the C++ Programming Language"
  • "The Semantics of the Java Programming Language: Preliminary Version"
  • "Specification and verification of the Windows Card runtime environment using Abstract State Machines"
• Ralph Weper
  • "Description and Simulation of Microprocessor Instruction Sets Using ASMs"
  • "Hierarchical Microprocessor Design Using XASM"
• J.C. Wileden
  • "Formalization and Application of a Unifying Model for Name Management"
• Kirsten Winter
  • "Interfacing ASM with the MDG Tool"
  • "Model Checking Abstract State Machines"
  • "Model Checking for Abstract State Machines"
  • "Model Checking Support for the ASM High-Level Language"
  • "Supporting Abstraction when Model Checking ASM"
  • "Towards a Methodology for Model Checking ASM: Lessons learned from the FLASH Case Study"

---

[X]

---

[Y]

• Yelena Yesha
  • "Evolving Databases: An Application to Electronic Commerce"

---

[Z]

• A.V. Zamulin
  • "Algebraic Specification of Dynamic Objects"
  • "Generic Facilities in Object-Oriented ASMs"
  • "Object-Oriented Abstract State Machines"
  • "Specification of an Oberon Compiler by Means of a Typed Gurevich Machine"
  • "Specification of Dynamic Systems by Typed Gurevich Machines"
  • "Specifications in-the-Large by Typed ASMs"
  • "State-based Semantics of a Pascal-like Language"
  • "Typed Gurevich Machines Revisited"
• Wolf Zimmerman
  • "ASM-Based Mechanized Verification of Compiler Back-Ends"
  • "An ASM Specification of the Operational Semantics of MIS"
  • "On Modular Definitions and Implementations of Programming Languages"
  • "On the Construction of Correct Compiler Back-Ends: An ASM Approach"
  • "Structural Simulation Proofs based on ASMs even for Non-Terminating Programs"