Abstract is missing.
- IntroductionDanièle Beauquier, Egon Börger, Anatol Slissenko. 5-10 [doi]
- Active XML and Data ActivationSerge Abiteboul, Susan B. Davidson, Tova Milo. 11-16 [doi]
- Refinement, Decomposition and Instantiation of Discrete ModelsJean-Raymond Abrial. 17-40 [doi]
- Retrenchment and the Mondex Electronic PurseRichard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney. 41-48 [doi]
- The ASM Method: a Cornerstone in Computer Science EducationEgon Börger. 49-56 [doi]
- Tools for System Validation with B Abstract MachinesMichael J. Butler, Michael Leuschel, Colin F. Snook. 57-69 [doi]
- Normal Attacks on Security ProtocolsHubert Comon-Lundh. 70 [doi]
- Finding Bugs in Device Drivers with Static Driver VerifierByron Cook. 71 [doi]
- Behavioral Computation Theory 2005Yuri Gurevich. 72 [doi]
- Program Verification and Programming MethodologyK. Rustan M. Leino. 73 [doi]
- ASMs and Refinement of State-based SystemsGerhard Schellhorn. 74-75 [doi]
- Unifying Program Refinement CalculiJim Woodcock. 76 [doi]
- About Implementation of Primitive Recursive AlgorithmsPhilippe Andary, Bruno Patrou, Pierre Valarcher. 77-90 [doi]
- Design Pattern Abstractions and Abstract State MachinesEgon Börger. 91-100 [doi]
- Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State MachinesP. L. Brantingham, Uwe Glässer, B. Kinney, K. Singh, Mona Vajihollahi. 101-118 [doi]
- State Exploration with Multiple State GroupingsColin Campbell, Margus Veanes. 119-130 [doi]
- ASM-based Semantics for BPEL: The Negative Control FlowDirk Fahland, Wolfgang Reisig. 131-152 [doi]
- CoreASM: An Extensible ASM Execution EngineRoozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer. 153-166 [doi]
- Scenario based Analysis of Linear ComputationsVladimir Filatov, Rostislav Yavorskiy. 167-174 [doi]
- A Modular Design for the Common Language Runtime (CLR) ArchitectureNicu G. Fruja. 175-200 [doi]
- Embedding and Verification of PSL using AsmLAmjad Gawanmeh, Ali Habibi, Sofiène Tahar. 201-216 [doi]
- Time in State MachinesSusanne Graf, Andreas Prinz. 217-232 [doi]
- AsmL Semantics in FixpointAli Habibi, Sofiène Tahar. 233-246 [doi]
- Verifying Security Protocols: An ASM ApproachDominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn. 247-262 [doi]
- ASM Semantics for C++ 2.0Horatiu Jula. 263-274 [doi]
- An Executable Specification of C++Horatiu Jula, Nicu G. Fruja. 275-288 [doi]
- An Approach to Model Checking AsmL SpecificationsMartin Kardos. 289-304 [doi]
- Applying Formal Semantics of an Object-oriented Language to Program Invariant CheckingAndrey Novikov, Rostislav Yavorskiy. 305-312 [doi]
- A Polynomial-Time Slicing AlgorithmAntje Nowack. 313-328 [doi]
- Modeling and Testing Hierarchical GUIsAna Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal. 329-344 [doi]
- A Concrete Syntax Derived From the Abstract State Machine MetamodelPatrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene. 345-368 [doi]
- ASM Ground Model and Refinement for Data WarehousesKlaus-Dieter Schewe, Jane Zhao. 369-376 [doi]
- RAM Simulation of BGS Model of Abstract State MachinesSeshadhri Comandur, Anil Seth, Somenath Biswas. 377-386 [doi]
- On Implementations of Instantaneous Actions Real-Time ASM by ASM with DelaysAnatol Slissenko, Joëlle Cohen. 387-396 [doi]
- Model Checking Abstract State Machines with Answer Set ProgrammingCalvin Kai Fan Tang, Eugenia Ternovska. 397-416 [doi]
- ASM Support for Validation of Specifications: Lessons Learned from an eGovernment ProjectAlexander Bienemann, Zalan Kramer, Peggy Schmidt, Bernhard Thalheim. 417 [doi]