Abstract State Machines

Keyphrases

Publications

2005

Serge Abiteboul, Susan B. Davidson, Tova Milo
Active XML and Data Activation. Abstract State Machines (2005)
Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene
A Concrete Syntax Derived From the Abstract State Machine Metamodel. Abstract State Machines (2005)
Gerhard Schellhorn
ASMs and Refinement of State-based Systems. Abstract State Machines (2005)
Seshadhri Comandur, Anil Seth, Somenath Biswas
RAM Simulation of BGS Model of Abstract State Machines. Abstract State Machines (2005)
Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France Abstract State Machines (2005)
Horatiu Jula
ASM Semantics for C++ 2.0. Abstract State Machines (2005)
Horatiu Jula, Nicu G. Fruja
An Executable Specification of C++. Abstract State Machines (2005)
Antje Nowack
A Polynomial-Time Slicing Algorithm. Abstract State Machines (2005)
Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi
Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. Abstract State Machines (2005)
Andrey Novikov, Rostislav Yavorskiy
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking. Abstract State Machines (2005)
Amjad Gawanmeh, Ali Habibi, Sofiène Tahar
Embedding and Verification of PSL using AsmL. Abstract State Machines (2005)
Anatol Slissenko, Joëlle Cohen
On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays. Abstract State Machines (2005)
Jim Woodcock
Unifying Program Refinement Calculi. Abstract State Machines (2005)
Ali Habibi, Sofiène Tahar
AsmL Semantics in Fixpoint. Abstract State Machines (2005)
Philippe Andary, Bruno Patrou, Pierre Valarcher
About Implementation of Primitive Recursive Algorithms. Abstract State Machines (2005)
Nicu G. Fruja
A Modular Design for the Common Language Runtime (CLR) Architecture. Abstract State Machines (2005)
Martin Kardos
An Approach to Model Checking AsmL Specifications. Abstract State Machines (2005)
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
Verifying Security Protocols: An ASM Approach. Abstract State Machines (2005)
Dirk Fahland, Wolfgang Reisig
ASM-based Semantics for BPEL: The Negative Control Flow. Abstract State Machines (2005)
Colin Campbell, Margus Veanes
State Exploration with Multiple State Groupings. Abstract State Machines (2005)
Byron Cook
Finding Bugs in Device Drivers with Static Driver Verifier. Abstract State Machines (2005)
Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal
Modeling and Testing Hierarchical GUIs. Abstract State Machines (2005)
Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney
Retrenchment and the Mondex Electronic Purse. Abstract State Machines (2005)
Michael J. Butler, Michael Leuschel, Colin F. Snook
Tools for System Validation with B Abstract Machines. Abstract State Machines (2005)
Klaus-Dieter Schewe, Jane Zhao
ASM Ground Model and Refinement for Data Warehouses. Abstract State Machines (2005)
Hubert Comon-Lundh
Normal Attacks on Security Protocols. Abstract State Machines (2005)
Calvin Kai Fan Tang, Eugenia Ternovska
Model Checking Abstract State Machines with Answer Set Programming. Abstract State Machines (2005)
K. Rustan M. Leino
Program Verification and Programming Methodology. Abstract State Machines (2005)
Yuri Gurevich
Behavioral Computation Theory 2005. Abstract State Machines (2005)
Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer
CoreASM: An Extensible ASM Execution Engine. Abstract State Machines (2005)
Egon Börger
The ASM Method: a Cornerstone in Computer Science Education. Abstract State Machines (2005)
Danièle Beauquier, Egon Börger, Anatol Slissenko
Introduction. Abstract State Machines (2005)
Alexander Bienemann, Zalan Kramer, Peggy Schmidt, Bernhard Thalheim
ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project. Abstract State Machines (2005)
Egon Börger
Design Pattern Abstractions and Abstract State Machines. Abstract State Machines (2005)
Jean-Raymond Abrial
Refinement, Decomposition and Instantiation of Discrete Models. Abstract State Machines (2005)
Susanne Graf, Andreas Prinz
Time in State Machines. Abstract State Machines (2005)
Vladimir Filatov, Rostislav Yavorskiy
Scenario based Analysis of Linear Computations. Abstract State Machines (2005)

2004

volume 3052, 2004

Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings Abstract State Machines 3052 (2004)