AsmL: Abstract State Machine Language

設立年月日:November 2, 2001年

出版物

表示方法:

- Symbolic Bounded Model Checking of Abstract State Machines
  
  Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
  
  Int J Software Informatics | June 2009, pp. 149-170
  
  公開日
- Symbolic Bounded Conformance Checking of Model Programs
  
  Margus Veanes, Nikolaj Bjørner
  
  MSR-TR-2009-28 | March 2009
  
  This is an extended version of a paper to appear in PSI'09, LNCS.
  
  公開日
- On Bounded Reachability of Programs with Set Comprehensions
  
  Margus Veanes, Ando Saabas
  
  LPAR'08 | November 2008
  
  LPAR'08
  
  公開日
- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)
  
  Margus Veanes, Ando Saabas
  
  ABZ'08 | September 2008
  
  This is an extended abstract.
  
  公開日公開日
- An SMT Approach to Bounded Reachability Analysis of Model Programs
  
  Margus Veanes, Nikolaj Bjørner, Alexander Raschke
  
  FORTE'08 | June 2008
  
  FORTE'08
  
  公開日プロジェクト
- Bounded reachability of model programs
  
  Margus Veanes, Ando Saabas, Nikolaj Bjørner
  
  MSR-TR-2008-81 | May 2008
  
  Parts of this report are presented at FORTE'08 and LPAR'08.
  
  公開日
- Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
  
  Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
  
  Formal Methods and Testing | Springer Verlag による投稿 | 2008, Vol 4949
  
  ISBN: 978-3-540-78916-1
  
  The attached file is a preliminary version.
  
  公開日プロジェクトプロジェクト
- Can Abstract State Machines Be Useful in Language Theory?
  
  Yuri Gurevich, Margus Veanes, Charles Wallace
  
  Theoretical Computer Science | January 2007, 巻376: pp. 17-29
  
  公開日
- Play to Test
  
  Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
  
  FATES 2005 | July 2005
  
  公開日プロジェクト
- Exploration with Multiple State Groupings
  
  Colin Campbell, Margus Veanes
  
  Abstract State Machines 2005 | January 2005
  
  公開日プロジェクト
- Partial updates
  
  Yuri Gurevich, Nikolai Tillmann
  
  Theor. Comput. Sci. | January 2005, 巻336: pp. 311-342
  
  公開日プロジェクト
- Semantic essence of AsmL
  
  Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
  
  Theoretical Computer Science | January 2005, 巻343(3): pp. 370-412
  
  公開日
- Testing Concurrent Object-Oriented Systems with Spec Explorer
  
  Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
  
  January 2005
  
  ISBN: 3-540-27882-6
  
  公開日プロジェクトプロジェクト
- Abstract Communication Model for Distributed Systems
  
  Uwe Glässer, Yuri Gurevich, Margus Veanes
  
  IEEE Transactions on Software Engineering | July 2004, 巻30(7): pp. 458-472
  
  公開日プロジェクト
- Instrumenting Scenarios in a Model-Driven Development Environment
  
  Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
  
  Journal of Information and Software Technology | January 2004, 巻46: pp. 1027-1036
  
  公開日プロジェクトプロジェクト
- Towards a Tool Environment for Model-Based Testing with AsmL
  
  Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
  
  FATES 2003 | January 2004
  
  公開日プロジェクトプロジェクト
- Serious Specification for Composing Components
  
  Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, Arthur Watson
  
  Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction | May 2003
  
  公開日プロジェクト
- Combined Algorithm for Approximating a Finite State Abstraction of a Large System
  
  Rostislav Yavorsky, Margus Veanes
  
  ICSE 2003/Scenarios Workshop | January 2003
  
  ICSE 2003/Scenarios Workshop
  
  公開日プロジェクト
- Model-Based Testing with AsmL .NET
  
  Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
  
  1st European Conference on Model-Driven Software Engineering | January 2003
  
  公開日プロジェクトプロジェクト
- Runtime Verification of .NET Contracts
  
  Mike Barnett, Wolfram Schulte
  
  The Journal of Systems and Software | January 2003, 巻65(3): pp. 199-208
  
  公開日
- Validating Use-Cases with the AsmL Test Tool
  
  Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Mike Barnett
  
  QSIC | January 2003
  
  QSIC
  
  ISBN: 0-7695-2015-4
  
  公開日プロジェクト
- Generating finite state machines from abstract state machines
  
  Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
  
  ISSTA 2002 | July 2002
  
  公開日プロジェクト
- An Abstract Communication Model
  
  Uwe Glässer, Yuri Gurevich, Margus Veanes
  
  MSR-TR-2002-55 | May 2002
  
  公開日公開日
- High-level Executable Specification of the Universal Plug and Play Architecture
  
  Uwe Glässer, Yuri Gurevich, Margus Veanes
  
  HICSS 2002 | January 2002
  
  公開日
- Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines
  
  Uwe Glässer, Margus Veanes
  
  Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002
  
  公開日
- Universal Plug and Play Machine Models
  
  U. Glässer, Y. Gurevich, M. Veanes, Yuri Gurevich, Margus Veanes
  
  MSR-TR-2001-59 | June 2001
  
  公開日
- Conformance Testing with Abstract State Machines
  
  Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
  
  EUROCAST 2001 | February 2001
  
  公開日
- The ABCs of Specification: AsmL, Behavior, and Components
  
  Mike Barnett, Wolfram Schulte
  
  Informatica | November 2001, 巻25(4): pp. 517-526
  
  公開日
- Toward Industrial Strength Abstract State Machines
  
  Yuri Gurevich, Wolfram Schulte, Margus Veanes
  
  MSR-TR-2001-98 | October 2001
  
  公開日
- Using Abstract State Machines at Microsoft: A Case Study
  
  Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett
  
  Abstract State Machines | January 2000
  
  Abstract State Machines
  
  ISBN: 3-540-67959-6
  
  公開日

- Symbolic Bounded Model Checking of Abstract State Machines
  
  Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
  
  Int J Software Informatics | June 2009, pp. 149-170
  
  公開日
- Symbolic Bounded Conformance Checking of Model Programs
  
  Margus Veanes, Nikolaj Bjørner
  
  MSR-TR-2009-28 | March 2009
  
  This is an extended version of a paper to appear in PSI'09, LNCS.
  
  公開日
- Universal Plug and Play Machine Models
  
  U. Glässer, Y. Gurevich, M. Veanes, Yuri Gurevich, Margus Veanes
  
  MSR-TR-2001-59 | June 2001
  
  公開日
- Conformance Testing with Abstract State Machines
  
  Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
  
  EUROCAST 2001 | February 2001
  
  公開日
- Using Abstract State Machines at Microsoft: A Case Study
  
  Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett
  
  Abstract State Machines | January 2000
  
  Abstract State Machines
  
  ISBN: 3-540-67959-6
  
  公開日
- Symbolic Bounded Model Checking of Abstract State Machines
  
  Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
  
  Int J Software Informatics | June 2009, pp. 149-170
  
  公開日
- Symbolic Bounded Conformance Checking of Model Programs
  
  Margus Veanes, Nikolaj Bjørner
  
  MSR-TR-2009-28 | March 2009
  
  This is an extended version of a paper to appear in PSI'09, LNCS.
  
  公開日
- On Bounded Reachability of Programs with Set Comprehensions
  
  Margus Veanes, Ando Saabas
  
  LPAR'08 | November 2008
  
  LPAR'08
  
  公開日
- An SMT Approach to Bounded Reachability Analysis of Model Programs
  
  Margus Veanes, Nikolaj Bjørner, Alexander Raschke
  
  FORTE'08 | June 2008
  
  FORTE'08
  
  公開日プロジェクト
- Bounded reachability of model programs
  
  Margus Veanes, Ando Saabas, Nikolaj Bjørner
  
  MSR-TR-2008-81 | May 2008
  
  Parts of this report are presented at FORTE'08 and LPAR'08.
  
  公開日
- Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
  
  Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
  
  Formal Methods and Testing | Springer Verlag による投稿 | 2008, Vol 4949
  
  ISBN: 978-3-540-78916-1
  
  The attached file is a preliminary version.
  
  公開日プロジェクトプロジェクト
- Can Abstract State Machines Be Useful in Language Theory?
  
  Yuri Gurevich, Margus Veanes, Charles Wallace
  
  Theoretical Computer Science | January 2007, 巻376: pp. 17-29
  
  公開日
- Play to Test
  
  Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
  
  FATES 2005 | July 2005
  
  公開日プロジェクト
- Partial updates
  
  Yuri Gurevich, Nikolai Tillmann
  
  Theor. Comput. Sci. | January 2005, 巻336: pp. 311-342
  
  公開日プロジェクト
- Exploration with Multiple State Groupings
  
  Colin Campbell, Margus Veanes
  
  Abstract State Machines 2005 | January 2005
  
  公開日プロジェクト
- Semantic essence of AsmL
  
  Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
  
  Theoretical Computer Science | January 2005, 巻343(3): pp. 370-412
  
  公開日
- Testing Concurrent Object-Oriented Systems with Spec Explorer
  
  Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
  
  January 2005
  
  ISBN: 3-540-27882-6
  
  公開日プロジェクトプロジェクト
- Instrumenting Scenarios in a Model-Driven Development Environment
  
  Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
  
  Journal of Information and Software Technology | January 2004, 巻46: pp. 1027-1036
  
  公開日プロジェクトプロジェクト
- Towards a Tool Environment for Model-Based Testing with AsmL
  
  Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
  
  FATES 2003 | January 2004
  
  公開日プロジェクトプロジェクト
- Serious Specification for Composing Components
  
  Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, Arthur Watson
  
  Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction | May 2003
  
  公開日プロジェクト
- Combined Algorithm for Approximating a Finite State Abstraction of a Large System
  
  Rostislav Yavorsky, Margus Veanes
  
  ICSE 2003/Scenarios Workshop | January 2003
  
  ICSE 2003/Scenarios Workshop
  
  公開日プロジェクト
- Validating Use-Cases with the AsmL Test Tool
  
  Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Mike Barnett
  
  QSIC | January 2003
  
  QSIC
  
  ISBN: 0-7695-2015-4
  
  公開日プロジェクト
- Runtime Verification of .NET Contracts
  
  Mike Barnett, Wolfram Schulte
  
  The Journal of Systems and Software | January 2003, 巻65(3): pp. 199-208
  
  公開日
- Model-Based Testing with AsmL .NET
  
  Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
  
  1st European Conference on Model-Driven Software Engineering | January 2003
  
  公開日プロジェクトプロジェクト
- Generating finite state machines from abstract state machines
  
  Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
  
  ISSTA 2002 | July 2002
  
  公開日プロジェクト
- An Abstract Communication Model
  
  Uwe Glässer, Yuri Gurevich, Margus Veanes
  
  MSR-TR-2002-55 | May 2002
  
  公開日公開日
- Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines
  
  Uwe Glässer, Margus Veanes
  
  Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002
  
  公開日
- High-level Executable Specification of the Universal Plug and Play Architecture
  
  Uwe Glässer, Yuri Gurevich, Margus Veanes
  
  HICSS 2002 | January 2002
  
  公開日
- The ABCs of Specification: AsmL, Behavior, and Components
  
  Mike Barnett, Wolfram Schulte
  
  Informatica | November 2001, 巻25(4): pp. 517-526
  
  公開日
- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)
  
  Margus Veanes, Ando Saabas
  
  ABZ'08 | September 2008
  
  This is an extended abstract.
  
  公開日公開日
- Toward Industrial Strength Abstract State Machines
  
  Yuri Gurevich, Wolfram Schulte, Margus Veanes
  
  MSR-TR-2001-98 | October 2001
  
  公開日
- Abstract Communication Model for Distributed Systems
  
  Uwe Glässer, Yuri Gurevich, Margus Veanes
  
  IEEE Transactions on Software Engineering | July 2004, 巻30(7): pp. 458-472
  
  公開日プロジェクト

- Symbolic Bounded Model Checking of Abstract State Machines
  
  Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte
  
  Int J Software Informatics | June 2009, pp. 149-170
  
  公開日
- Can Abstract State Machines Be Useful in Language Theory?
  
  Yuri Gurevich, Margus Veanes, Charles Wallace
  
  Theoretical Computer Science | January 2007, 巻376: pp. 17-29
  
  公開日
- Partial updates
  
  Yuri Gurevich, Nikolai Tillmann
  
  Theor. Comput. Sci. | January 2005, 巻336: pp. 311-342
  
  公開日プロジェクト
- Semantic essence of AsmL
  
  Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
  
  Theoretical Computer Science | January 2005, 巻343(3): pp. 370-412
  
  公開日
- Abstract Communication Model for Distributed Systems
  
  Uwe Glässer, Yuri Gurevich, Margus Veanes
  
  IEEE Transactions on Software Engineering | July 2004, 巻30(7): pp. 458-472
  
  公開日プロジェクト
- Instrumenting Scenarios in a Model-Driven Development Environment
  
  Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
  
  Journal of Information and Software Technology | January 2004, 巻46: pp. 1027-1036
  
  公開日プロジェクトプロジェクト
- Runtime Verification of .NET Contracts
  
  Mike Barnett, Wolfram Schulte
  
  The Journal of Systems and Software | January 2003, 巻65(3): pp. 199-208
  
  公開日
- The ABCs of Specification: AsmL, Behavior, and Components
  
  Mike Barnett, Wolfram Schulte
  
  Informatica | November 2001, 巻25(4): pp. 517-526
  
  公開日
- Universal Plug and Play Machine Models
  
  U. Glässer, Y. Gurevich, M. Veanes, Yuri Gurevich, Margus Veanes
  
  MSR-TR-2001-59 | June 2001
  
  公開日
- Symbolic Bounded Conformance Checking of Model Programs
  
  Margus Veanes, Nikolaj Bjørner
  
  MSR-TR-2009-28 | March 2009
  
  This is an extended version of a paper to appear in PSI'09, LNCS.
  
  公開日
- Bounded reachability of model programs
  
  Margus Veanes, Ando Saabas, Nikolaj Bjørner
  
  MSR-TR-2008-81 | May 2008
  
  Parts of this report are presented at FORTE'08 and LPAR'08.
  
  公開日
- An Abstract Communication Model
  
  Uwe Glässer, Yuri Gurevich, Margus Veanes
  
  MSR-TR-2002-55 | May 2002
  
  公開日公開日
- Toward Industrial Strength Abstract State Machines
  
  Yuri Gurevich, Wolfram Schulte, Margus Veanes
  
  MSR-TR-2001-98 | October 2001
  
  公開日
- Conformance Testing with Abstract State Machines
  
  Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
  
  EUROCAST 2001 | February 2001
  
  公開日
- Using Abstract State Machines at Microsoft: A Case Study
  
  Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett
  
  Abstract State Machines | January 2000
  
  Abstract State Machines
  
  ISBN: 3-540-67959-6
  
  公開日
- On Bounded Reachability of Programs with Set Comprehensions
  
  Margus Veanes, Ando Saabas
  
  LPAR'08 | November 2008
  
  LPAR'08
  
  公開日
- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)
  
  Margus Veanes, Ando Saabas
  
  ABZ'08 | September 2008
  
  This is an extended abstract.
  
  公開日公開日
- An SMT Approach to Bounded Reachability Analysis of Model Programs
  
  Margus Veanes, Nikolaj Bjørner, Alexander Raschke
  
  FORTE'08 | June 2008
  
  FORTE'08
  
  公開日プロジェクト
- Play to Test
  
  Andreas Blass, Yuri Gurevich, Lev Nachmanson, Margus Veanes
  
  FATES 2005 | July 2005
  
  公開日プロジェクト
- Exploration with Multiple State Groupings
  
  Colin Campbell, Margus Veanes
  
  Abstract State Machines 2005 | January 2005
  
  公開日プロジェクト
- Testing Concurrent Object-Oriented Systems with Spec Explorer
  
  Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
  
  January 2005
  
  ISBN: 3-540-27882-6
  
  公開日プロジェクトプロジェクト
- Towards a Tool Environment for Model-Based Testing with AsmL
  
  Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
  
  FATES 2003 | January 2004
  
  公開日プロジェクトプロジェクト
- Serious Specification for Composing Components
  
  Mike Barnett, Wolfgang Grieskamp, Clemens Kerer, Wolfram Schulte, Clemens Szyperski, Nikolai Tillmann, Arthur Watson
  
  Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction | May 2003
  
  公開日プロジェクト
- Combined Algorithm for Approximating a Finite State Abstraction of a Large System
  
  Rostislav Yavorsky, Margus Veanes
  
  ICSE 2003/Scenarios Workshop | January 2003
  
  ICSE 2003/Scenarios Workshop
  
  公開日プロジェクト
- Validating Use-Cases with the AsmL Test Tool
  
  Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Mike Barnett
  
  QSIC | January 2003
  
  QSIC
  
  ISBN: 0-7695-2015-4
  
  公開日プロジェクト
- Model-Based Testing with AsmL .NET
  
  Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
  
  1st European Conference on Model-Driven Software Engineering | January 2003
  
  公開日プロジェクトプロジェクト
- Generating finite state machines from abstract state machines
  
  Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
  
  ISSTA 2002 | July 2002
  
  公開日プロジェクト
- Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines
  
  Uwe Glässer, Margus Veanes
  
  Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002) | January 2002
  
  公開日
- High-level Executable Specification of the Universal Plug and Play Architecture
  
  Uwe Glässer, Yuri Gurevich, Margus Veanes
  
  HICSS 2002 | January 2002
  
  公開日
- Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
  
  Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
  
  Formal Methods and Testing | Springer Verlag による投稿 | 2008, Vol 4949
  
  ISBN: 978-3-540-78916-1
  
  The attached file is a preliminary version.
  
  公開日プロジェクトプロジェクト

人数

Margus Veanes

Principal Researcher

詳細はこちら

Tony Hoare

Emeritus Researcher

詳細はこちら

AsmL: Abstract State Machine Language

出版物

Symbolic Bounded Model Checking of Abstract State Machines

Symbolic Bounded Conformance Checking of Model Programs

On Bounded Reachability of Programs with Set Comprehensions

Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)

An SMT Approach to Bounded Reachability Analysis of Model Programs

Bounded reachability of model programs

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

Can Abstract State Machines Be Useful in Language Theory?

Play to Test

Exploration with Multiple State Groupings

Partial updates

Semantic essence of AsmL

Testing Concurrent Object-Oriented Systems with Spec Explorer

Abstract Communication Model for Distributed Systems

Instrumenting Scenarios in a Model-Driven Development Environment

Towards a Tool Environment for Model-Based Testing with AsmL

Serious Specification for Composing Components

Combined Algorithm for Approximating a Finite State Abstraction of a Large System

Model-Based Testing with AsmL .NET

Runtime Verification of .NET Contracts

Validating Use-Cases with the AsmL Test Tool

Generating finite state machines from abstract state machines

An Abstract Communication Model

High-level Executable Specification of the Universal Plug and Play Architecture

Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines

Universal Plug and Play Machine Models

Conformance Testing with Abstract State Machines

The ABCs of Specification: AsmL, Behavior, and Components

Toward Industrial Strength Abstract State Machines

Using Abstract State Machines at Microsoft: A Case Study

Symbolic Bounded Model Checking of Abstract State Machines

Symbolic Bounded Conformance Checking of Model Programs

Universal Plug and Play Machine Models

Conformance Testing with Abstract State Machines

Using Abstract State Machines at Microsoft: A Case Study

Symbolic Bounded Model Checking of Abstract State Machines

Symbolic Bounded Conformance Checking of Model Programs

On Bounded Reachability of Programs with Set Comprehensions

An SMT Approach to Bounded Reachability Analysis of Model Programs

Bounded reachability of model programs

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer

Can Abstract State Machines Be Useful in Language Theory?

Play to Test

Partial updates

Exploration with Multiple State Groupings

Semantic essence of AsmL

Testing Concurrent Object-Oriented Systems with Spec Explorer

Instrumenting Scenarios in a Model-Driven Development Environment

Towards a Tool Environment for Model-Based Testing with AsmL

Serious Specification for Composing Components

Combined Algorithm for Approximating a Finite State Abstraction of a Large System

Validating Use-Cases with the AsmL Test Tool

Runtime Verification of .NET Contracts

Model-Based Testing with AsmL .NET

Generating finite state machines from abstract state machines

An Abstract Communication Model

Universal Plug and Play Machine Models: Modeling with Distributed Abstract State Machines

High-level Executable Specification of the Universal Plug and Play Architecture

The ABCs of Specification: AsmL, Behavior, and Components

Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract)

Toward Industrial Strength Abstract State Machines

Abstract Communication Model for Distributed Systems

Symbolic Bounded Model Checking of Abstract State Machines

Can Abstract State Machines Be Useful in Language Theory?

Partial updates

Semantic essence of AsmL

Abstract Communication Model for Distributed Systems

Instrumenting Scenarios in a Model-Driven Development Environment

Runtime Verification of .NET Contracts

The ABCs of Specification: AsmL, Behavior, and Components

Universal Plug and Play Machine Models

Symbolic Bounded Conformance Checking of Model Programs

Bounded reachability of model programs

An Abstract Communication Model

Toward Industrial Strength Abstract State Machines

Conformance Testing with Abstract State Machines

Using Abstract State Machines at Microsoft: A Case Study

On Bounded Reachability of Programs with Set Comprehensions