14 papers:
SAC-2010-HarshN #approach #architecture #independence #multi #network- Mode independent session directory service architecture: a unified approach for ASM and SSM multicast networks (PH, REN), pp. 647–654.
ICPR-2008-SuAL #predict #realtime #robust- Robust real-time face alignment based on ASM with boosting regression for displacement prediction (YS, HA, SL), pp. 1–4.
TOOLS-EUROPE-2008-LeueSW #runtime #scheduling #semantics #uml- An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT (SL, AS, WW), pp. 238–257.
IFM-2007-HanebergGRS #approach #smarttech #verification- Verifying Smart Card Applications: An ASM Approach (DH, HG, WR, GS), pp. 313–332.
RE-2005-HassineRD #case study #semantics- An ASM Operational Semantics for Use Case Maps (JH, JR, RD), pp. 467–468.
UML-2004-FlakeM #ocl #semantics- An ASM Definition of the Dynamic OCL 2.0 Semantics (SF, WM), pp. 226–240.
- SAC-J-2003-BorgerCR04 #formal method #on the #state machine #uml #using
- On formalizing UML state machines using ASM (EB, AC, ER), pp. 287–292.
SEFM-2003-GawanmehTW #design #using #verification- Formal Verification of ASM Designs Using the MDG Tool (AG, ST, KW), pp. 210–219.
FATES-2003-BarnettGNSTV #modelling #testing #towards- Towards a Tool Environment for Model-Based Testing with AsmL (MB, WG, LN, WS, NT, MV), pp. 252–266.
- IFM-2002-WinterD #model checking #using
- Model Checking Object-Z Using ASM (KW, RD), pp. 165–184.
TACAS-2001-Castillo #analysis #modelling #state machine #tool support #validation- The ASM Workbench — A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration (GDC), pp. 578–581.
- TACAS-2000-CastilloW #model checking
- Model Checking Support for the ASM High-Level Language (GDC, KW), pp. 331–346.
CSL-2000-BorgerS #composition #concept- Composition and Submachine Concepts for Sequential ASMs (EB, JS), pp. 41–60.
FM-1998-Castillo #architecture #state machine #tool support #towards- Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture (GDC), pp. 311–325.
