What follows is a (partial) list of theses of all types
(masters, doctoral, habilitation, etc.) dealing with ASMs.
(Please send updates to this list to
huggins@acm.org.)
Wolfgang Ahrendt, Masters, Karlsruhe, 1995 Von Prolog zur WAM. Verifikation der Prozedurübersetzung mit
KIV.
Klaus Bichler, Diploma, Hagen, 1998
Robert Blakley, Ph.D., Michigan, 1992 A smalltalk evolving algebra and its uses
Advisor: Yuri Gurevich
Alessandra Cavarra, Ph.D. Catania, 2000
Giuseppe Del Castillo, Laurea, Pisa, 1995
Giuseppe Del Castillo, Ph.D., Paderborn, 2000
D. Diesen, Ph.D., Oslo, 1995 Specifying Algorithms Using Evolving Algebra. Implementation of
Functional Programming Languages
B. DiFranco, Masters, L'Aquila, 1997 Specification of ISO SQL using Montages
Mohamed Gaieb, Masters, Sophia-Antipolis, 1997 Generation de specifications Centaur a partir de specifications
Montages
Uwe Glässer, Habilitation, Paderborn, 1999
Andreas Heberle, Ph.D., Karlsruhe, 2000
James Huggins, Ph.D., Michigan, 1995 Evolving algebras : tools for specification, validation, and program
transformation
Advisor: Yuri Gurevich
Jorn Janneck, ETH Zuerich, 2000
Angelika Kappel, Diploma, Dortmund, 1990 Implementation of Dynamic Algebras with an Application to Prolog
Philipp Kutter, Master's Thesis, ETH Zurich, 1996 Integration of the Statecharts in Specware and Aspects of Correct
Oberon Code Generation
Franco La Cioppa, Laurea, L'Aquila, 2001
S. Mazzanti, Laurea, Pisa, 1995,
Luca Mearelli, Laurea, Pisa, 1997,
Marcin Mlotkowski, University of Wroclaw, 2001 Specification and Optimization of the Smalltalk programs
Advisor: Leszek Pacholski
James Morris, Ph.D., Michigan, 1988 Algebraic Operational Semantics For Modula 2
Advisor: Yuri Gurevich
Wolfgang Mueller, Ph.D., Paderborn, 1997
Antje Nowack, Diploma, RWTH Aachen, 2000
Advisor: Erich Grädel
Ileana Ober, Ph.D., Institut National Polytechnique de Toulouse,
April 2001. Harmonizing Design Languages with Object-Oriented
Extensions and an Executable Semantics
Advisor: Bernard Coulette
Italia Reanlletta, Laurea, L'Aquila, 1998
Elvinia Riccobene, Ph.D., Catania, 1993 Modelli Matematici per Linguaggi Logici
R. Salamone, Masters, Pisa, 1993 Una Specifica Astratta e Modulare della {CLAM} (An Abstract and
Modular Specification of the CLAM
J. Sauer, Ph.D., Oldenburg, 1993 Wissensbasiertes Lösen von
Ablaufsplanungsproblemen durch explizite Heuristiken
Gerhard Schellhorn, Ph.D, Ulm, 1999 Verifikation abstrakter Zustandsmaschinen
Stefan Schäfer, Masters, Martin-Luther-University
Halle-Wittenberg, 2005 A modular formal semantics for Sather-K (in German)
Advisor: Wolf Zimmerman
Wolfram Schulte, Habilitation, Ulm, 2000
Wuwei Shen, Ph.D., University of Michigan, 2001 The application of abstract state machines in software engineering
Advisors: Yuri Gurevich, James Huggins
I. Soloviev, Ph.D., St. Petersburg, 1995 Exploration and experimental implementation of
recursive patterns and functions imbedding into
Prolog language syntactical environment
Mark Spielmann, Ph.D., RWTH Aachen, 2000
Advisor: Erich Grädel
Asuman Sünbül, Ph.D., Technical University of Berlin, 2001 Architectural design of evolutionary software systems in
continuous software engineering
Hans Tonino, Ph.D., Delft, 1997 A Theory of Many-sorted Evolving Algebras
J. Visser, Masters, Delft, 1996 Evolving algebras
Charles Wallace, Ph.D., University of Michigan, 1999 Formal specification of software using abstract state machines
Advisor: Yuri Gurevich
Kirsten Winter, Ph.D., Technical University of Berlin, 2001 Model Checking Abstract State Machines
Dean Rosenzweig, a key contributor to the early days of ASM research,
passed away at the beginning of January 2007.
Below are links to a couple of tributes to Dean written shortly after
Dean's death: