2002 What's New: Abstract State Machines

27 September 2002

• Added a paper on the location consistency memory model and cache protocol.

11 July 2002

• Added a link for the recent ASM issue of J.UCS to the WWW/FTP Sites page.
• Updated the references to the paper on a complete logic for ASMs, and added an extended abstract.
• Added the following papers:
  • A conference version of the paper on Java concurrency.
  • A full version of the paper on compilation of ASMs to C++.
  • A paper on design for reuse via structuring techniques.
  • A paper on denotational semantics for XASM.
  • A paper on abstraction in model checking ASMs.

25 June 2002

• Added the following papers:
  • A description of an abstract communication model using ASMs.
  • A description of runtime verification of .NET programs using ASMs.
  • A description of runtime verification of COM components using ASMs.
  • A description of transforming ASMs to finite state machines.
  • A description of sequential-time extensions to ASMs in AsmL.
  • An exploration of the problem of partial updates.
  • A description of the use of AsmL for behavorial specification of components.

21 June 2002

• Added the following papers from ASM 2001:
  • A paper on hierarchical microprocessor design.
  • A paper on the semantics of PDL.
  • A paper on compilation of ASMs to C++.

11 June 2002

• Added a link to photos taken at the ASM 2002 Workshop to the community page. (Thanks to Tomasso Bolognesi for making these photos available.)

6 June 2002

• Added a new category page on Software Engineering.
• Added the following papers from ASM 2001:
  • A paper on testing with ASMs.
  • A paper on table ASMs.
  • A paper on rich sequential-time ASMs.
  • A paper on synthesizing ASMs from requirements.
  • A paper on Java bytecode verification.
  • A paper on structural simulation proofs for compilation of (possibly non-terminating) programs.
  • A case study on model checking an ASM description of the Fairisle ATM switch.

4 June 2002

• Added a paper on automatic code generation of correct imperative code from statecharts.
• Re-organized some of the category pages dealing with introductory materials; the new category pages should be visible from the home page. Let me know if something seems inaccessible.

22 May 2002

• Added the following papers:
  • A historical survey covering ASM research from 1984-2001.
  • An extended abstract on UML state machines.
  • An announcment and description of an automated UML validation tool.

16 May 2002

• Added information on a Ph.D. thesis on ASMs and model checking.
• Updated the list of ASM theses on the Community page.

8 March 2002

• Announcements for the Lipari Summer School on Software Engineering (30 June-13 July 2002) and ASM 2003 have been added to the community page (as well as the home page).

7 March 2002

• Administrative note: The ASM papers which were formerly stored at ftp://ftp.eecs.umich.edu/groups/gasm/ have been moved to ftp://www.eecs.umich.edu/groups/gasm/. If you formerly had direct links to the actual papers via FTP, you will need to change your links. All webpages on this site should be updated with the new address; please email me if you have problems.
• Happy (belated) new year! The entries from this page have been archived as What's New for 2001.

What's New for 2001

What's New for 2000

What's New for 1999

What's New for 1998

What's New for 1997

What's New for 1996

What's New for 1995 [an error occurred while processing this directive]