CoreASM: An extensible ASM execution engine (2005)

by Roozbeh Farahbod , Vincenzo Gervasi , Uwe Glässer
Venue:PROC. OF THE 12TH INT’L WORKSHOP ON ABSTRACT STATE MACHINES
Citations:13 - 5 self

Active Bibliography

Specification Language Design Concepts: . . . – Mashaal Anwar Memon - 2006
1 Semantic Blueprints of Discrete Dynamic Systems: Challenges and Needs in Computational Modeling of Complex Behavior – Roozbeh Farahbod, Uwe Glässer
6 Design and Specification of the CoreASM Execution Engine – Roozbeh Farahbod, Vincenzo Gervasi - 2005
CoreASM; An . . . for High-level Design and Analysis of Distributed Systems – Roozbeh Farahbod - 2009
Using Abstract State Machines to . . . User Interface System – Ming (Mike) Su - 2006
Extending and Refining an Abstract . . . – Roozbeh Farahbod - 2004
Design and Specification of the CoreASM . . . – R. Farahbod, V. Gervasi, U. Glässer, M. Memon - 2006
2 Model checking support for CoreASM: Model checking distributed abstract state machines using spin – George Ma, C George Ma, George Ma - 2007
3 Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as . . . – P. L. Brantingham, U. Glässer, B. Kinney, K. Singh, M. Vajihollahi - 2005
1 The ASM Method: a Cornerstone in Computer Science Education – Egon Börger - 2005
1 Linking architectural and component level system views by abstract state machines – Egon Börger
1 A critical analysis of workflow patterns – Egon Börger - 2007
3 Modeling Workflow Patterns from First Principles – Egon Börger
High Level Specification and Validation . . . Services – Mona Vajihollahi - 2004
1 The Formal Simulation Semantics of SystemVerilog – Wolfgang Mueller, Martin Zambaldi, Wolfgang Ecker, Thomas Kruse - 2004
24 Specification and Validation of the Business Process Execution Language for Web Services – Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi - 2004
On the Expressive Power of Unbounded-Nondeterministic Abstract State Machines – Andreas Glausch, Wolfgang Reisig
On the Modelling of an Agent’s Epistemic State and its Dynamic Changes – Christoph Beierle, Gabriele Kern-isberner, Julia Padberg, Kathrin Hoffmann, Christoph Beierle, Gabriele Kern-isberner
21 The ASM ground model method as a foundation of requirements engineering – Egon Börger - 2003