Alessandra Cavarra
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2000–2009
Best venue rank
Multiconference
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | APSEC | Checking Model Consistency Using Data-Flow Testing. | Chen-Wei Wang, Alessandra Cavarra |
| 2007 | IFM | Behavioural Specifications from Class Models. | Alessandra Cavarra, James Welch |
| 2006 | ICECCS | On the Generation of Object Databases using Booster. | Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton |
| 2005 | SAC | Editorial message: special track on software engineering: methods, practices, and tools. | Stefan Gruner, Alessandra Cavarra, Sung Shin |
| 2004 | SAC | A framework to simulate UML models: moving from a semi-formal to a formal environment. | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra |
| 2003 | SAC | Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. | Egon Brger, Elvinia Riccobene, Alessandra Cavarra |
| 2003 | SAC | A Method for the Automatic Generation of Test Suites from Object Models. | Jim Davies, Charles Crichton, Alessandra Cavarra |
| 2000 | SAC | A Formal Model for the Parallel Semantics of P3L. | Alessandra Cavarra, Elvinia Riccobene, Andrea Zavanella |