[an error occurred while processing this directive]
[an error occurred while processing this directive] ity
Conferences
ABZ 2010, Orford, Quebec, Canada
What's New
New in 2005
New in 2003
New in 2002
New in 2001
New in 2000
New in 1999
New in 1998
New in 1997
New in 1996
New in 1995
ul>
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"
"Abstract State Machines Capture Parallel Algorithms"
"Abstract State Machines Capture Parallel Algorithms: Correction and Extension"
"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"
"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"
Amjad
Gawanmeh
"Formal Verification of ASM Designs using the MDG Tool"
"Formal Verification of ASM Designs using the MDG Tool"
"Interfacing Abstract State Machines with Multiway Decision Graphs"
"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"
"Quantum Computing and Abstract State Machines"
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"
"Abstract State Machines Capture Parallel Algorithms"
"Abstract State Machines Capture Parallel Algorithms: Correction and Extension"
"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"
Antje
Nowack
"Quantum Computing and Abstract State Machines"
[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"
"Verification of ASM Refinements Using Generalized Forward Simulation"
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"
"Formal Verification of ASM Designs using the MDG Tool"
"Formal Verification of ASM Designs using the MDG Tool"
"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
"Formal Verification of ASM Designs using the MDG Tool"
"Formal Verification of ASM Designs using the MDG Tool"
"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"
[an error occurred while processing this directive]