| 914 | -- | 916 | Egon Börger, Uwe Glässer. Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue |
| 917 | -- | 951 | Yuri Gurevich, Nikolai Tillmann. Partial Updates: Exploration |
| 952 | -- | 979 | Gerhard Schellhorn. Verification of ASM Refinements Using Generalized Forward Simulation |
| 980 | -- | 1005 | Robert F. Stärk, Stanislas Nanchen. A Logic for Abstract State Machines |
| 1006 | -- | 1023 | Egon Börger, Diego Sona. A Neural Abstract Machine |
| 1024 | -- | 1049 | Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz. Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models |
| 1050 | -- | 1067 | Angelo Gargantini, Elvinia Riccobene. ASM-Based Testing: Coverage Criteria and Automatic Test Sequence |
| 1068 | -- | 1087 | Joachim Schmid. Compiling Abstract State Machines to C++ |
| 1088 | -- | 1112 | Charles Wallace, Guy Tremblay, José Nelson Amaral. An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol |