An ASM Semantics for UML Activity Diagrams. - Egon Börger; Alessandra Cavarra; Elvinia Riccobene (AMAST, 2000)

Modeling the Dynamics of UML State Machines. - Egon Börger; Alessandra Cavarra; Elvinia Riccobene (Abstract State Machines, 2000)

A Formal Model for the Parallel Semantics of P3L. - Alessandra Cavarra; Elvinia Riccobene; Andrea Zavanella (SAC (2), 2000)

Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. - Alessandra Cavarra; Elvinia Riccobene; Patrizia Scandurra (Abstract State Machines, 2003)

Designing the Parlay Call-Control Using ASMs. - Paolo Falcarin; Alessandra Cavarra (Abstract State Machines, 2003)

Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. - Egon Börger; Elvinia Riccobene; Alessandra Cavarra (SAC, 2003)

Formalizing Liveness-Enriched Sequence Diagrams Using ASMs. - Alessandra Cavarra; Juliana Küster Filipe (Abstract State Machines, 2004)

A framework to simulate UML models: moving from a semi-formal to a formal environment. - Alessandra Cavarra; Elvinia Riccobene; Patrizia Scandurra (SAC, 2004)

Combining Sequence Diagrams and OCL for Liveness. - Alessandra Cavarra; Juliana Küster Filipe (SFEDL@ETAPS, 2004)

On formalizing UML state machines using ASM. - Egon Börger; Alessandra Cavarra; Elvinia Riccobene (Inf. Softw. Technol., 2004)

A method for the automatic generation of test suites from object models. - Alessandra Cavarra; Charles Crichton; Jim Davies (Inf. Softw. Technol., 2004)

Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. - Alessandra Cavarra; Elvinia Riccobene; Patrizia Scandurra (Stud. Inform. Univ., 2004)

Editorial message: special track on software engineering: methods, practices, and tools. - Stefan Gruner; Alessandra Cavarra; Sung Shin (SAC, 2005)

On the Generation of Object Databases using Booster. - Jim Davies; James Welch; Alessandra Cavarra; Edward Crichton (ICECCS, 2006)

Behavioural Specifications from Class Models. - Alessandra Cavarra; James Welch (IFM, 2007)

Data Flow Analysis and Testing of Abstract State Machines. - Alessandra Cavarra (ABZ, 2008)

Checking Model Consistency Using Data-Flow Testing. - Chen-Wei Wang; Alessandra Cavarra (APSEC, 2009)

Inter-agent Data Flow Analysis of Abstract State Machines. - Alessandra Cavarra (Australian Software Engineering Conference, 2009)

Formal and Model-Based Testing of Concurrent Workflows. - Chen-Wei Wang; Alessandra Cavarra; Jim Davies (QSIC, 2011)

A data-flow approach to test multi-agent ASMs. - Alessandra Cavarra (Formal Aspects Comput., 2011)