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:10 - 4 self

Active Bibliography

Specification Language Design Concepts: . . . – Mashaal Anwar Memon - 2006
5 Design and Specification of the CoreASM Execution Engine – Roozbeh Farahbod, Vincenzo Gervasi - 2005
Using Abstract State Machines to . . . User Interface System – Ming (Mike) Su - 2006
Design and Specification of the CoreASM . . . – R. Farahbod, V. Gervasi, U. Glässer, M. Memon - 2006
Extending and Refining an Abstract . . . – Roozbeh Farahbod - 2004
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 A critical analysis of workflow patterns – Egon Börger - 2007
1 Modeling Workflow Patterns from First Principles – Egon Börger
1 Linking architectural and component level system views by abstract state machines – 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
23 Specification and Validation of the Business Process Execution Language for Web Services – Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi - 2004
3 Computation and specification models. A comparative study – Egon Börger - 2002
On the Expressive Power of Unbounded-Nondeterministic Abstract State Machines – Andreas Glausch, Wolfgang Reisig
2 An ASM-characterization of a class of distributed algorithms, Proceedings of the Dagstuhl seminar on rigorous methods for software construction and analysis – Andreas Glausch, Wolfgang Reisig - 2006
20 The ASM ground model method as a foundation of requirements engineering – Egon Börger - 2003
9 Abstract State Machines: A unifying view of models of computation and of system design frameworks – Egon Börger - 2005
2 W.: A Formal Behavioral Semantics for TestML – Jürgen Grossmann, Daimlerchrysler Ag, Forschung Und Technologie Rei/sm, Alt Moabit A - 2006