Invited Papers
The Background of Computation
Yuri Gurevich
Towards Verification of
Software Product Lines: The JBook Case Study
Don Batory and Egon Börger
What is Correctness of Security
Protocols?
Giampaolo Bella
ASMs in Service Oriented
Architectures
Michael Altenhofen
Papers
A Semantic Characterization of Elementary Wide-Step
ASMs
Andreas Glausch
ASM Model of Computational Cryptography
Dean Rosenzweig and Davor Runje
Some Things Algorithms Cannot Do
Dean Rosenzweig and Davor Runje
Axiomatization of Database Transformations
Qing Wang and Klaus-Dieter Schewe
ASM-based Formal Model for a
Network-Layer Grid, The iSEGrid
Lakshmi Priya TKS and Ranjani Parthasarathi
Composition with
Consistent Updates for Abstract State Machines
Colin Gordon, Leo Meyerovich, Joel Weinberger and
Shriram
Krishnamurthi
ASM Refinement Preserving Invariants
Gerhard Schellhorn
An ASM Refinement and Implementation
of the CONDOR System using
Ordinal Conditional Functions
Christoph Beierle and Gabriele Kern-Isberner
The Timed Abstract State Machine Language:
Abstract State Machines for
Real-Time System Engineering
Martin Ouimet and Kristina Lundqvist
Simulator-Model Checker for Reactive Real-Time
Abstract State Machines
Pavel Vasilyev
A Critical Analysis of Workflow Patterns
Egon Börger
Abstraction using ASM Tools
Olav Jensen, Raymond Koteng, Kjetil Monge and Andreas Prinz
Towards ASM Engineering and Modelling
Bernhard Thalheim and Peggy Schmidt
Distributed Algorithms: A Case Study
of the Java Memory Model
Matko Botinčan, Paola Glavan and
Davor Runje
A Metamodel-based Simulator
for ASMs
Angelo Gargantini, Elvinia Riccobene and Patrizia Scandurra
Model Checking CoreASM Specifications
Roozbeh Farahbod, Uwe Glässer and George Ma
Early Validation of Computer Microarchitecture
with Algorithm Level Models
Ziyad Hanna and Tom Melham
The Model Integrated Computing Approach to Software
Architecture
Ethan K. Jackson
The Specification of Architectural Languages
with Abstract State Machines
Ryan Thibodeaux
Towards a Modeling Environment for
Composing Domain-Specific Modeling Languages: A Case Study on Controlling Traffic
Lights
Joseph Porter and Janos Sztipanovits
Scenario-Based Evaluation of Abstract
State Machines
Daniel Klünder and Stefan Kowalewski
CanCoastWatch Dynamic Configuration
Manager
Roozbeh Farahbod, Uwe Glässer and Hans Wehn
MasterMind: A Computational
Framework for Studying Physical Crime
Uwe Glässer, Piper Jackson and Mona Vajihollahi
OCLASM: Towards an ASM-based
formalism for OCL
Gregely Mezei, Tihamér Levendovszky and Hassan Charaf
Tooling Paper
ASM Tools
Roozbeh Farahbod
Announcement
ABZ 2008 Conference
Main |