@article{DBLP:journals/fac/Cavarra11,
  title = "A data-flow approach to test multi-agent ASMs",
  author = "Alessandra Cavarra",
  year = "2011",
  issn = "0934-5043",
  journal = "Formal Asp. Comput.",
  number = "1",
  pages = "21-41",
  volume = "23",
  doi = "10.1007/s00165-009-0134-7",
}
@proceedings{DBLP:conf/qsic/2011,
  title = "Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011",
  year = "2011",
  booktitle = "QSIC",
  editor = "Manuel N{\'u}{\~n}ez and Robert M. Hierons and Mercedes G. Merayo",
  publisher = "IEEE Computer Society",
}
@inproceedings{DBLP:conf/qsic/WangCD11,
  title = "Formal and Model-Based Testing of Concurrent Workflows",
  author = "Chen-Wei Wang and Alessandra Cavarra and Jim Davies",
  year = "2011",
  booktitle = "Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011",
  editor = "Manuel N{\'u}{\~n}ez and Robert M. Hierons and Mercedes G. Merayo",
  pages = "252-259",
  publisher = "IEEE Computer Society",
}
@proceedings{DBLP:conf/aswec/2009,
  title = "20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia",
  year = "2009",
  booktitle = "Australian Software Engineering Conference",
  isbn = "978-0-7695-3599-9",
  publisher = "IEEE Computer Society",
}
@inproceedings{DBLP:conf/aswec/Cavarra09,
  title = "Inter-agent Data Flow Analysis of Abstract State Machines",
  author = "Alessandra Cavarra",
  year = "2009",
  booktitle = "20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia",
  isbn = "978-0-7695-3599-9",
  pages = "237-245",
  publisher = "IEEE Computer Society",
}
@proceedings{DBLP:conf/apsec/2009,
  title = "16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia",
  year = "2009",
  booktitle = "APSEC",
  editor = "Shahida Sulaiman and Noor Maizura Mohamad Noor",
  isbn = "978-0-7695-3909-6",
  publisher = "IEEE Computer Society",
}
@inproceedings{DBLP:conf/apsec/WangC09,
  title = "Checking Model Consistency Using Data-Flow Testing",
  author = "Chen-Wei Wang and Alessandra Cavarra",
  year = "2009",
  booktitle = "16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia",
  editor = "Shahida Sulaiman and Noor Maizura Mohamad Noor",
  isbn = "978-0-7695-3909-6",
  pages = "414-421",
  publisher = "IEEE Computer Society",
}
@proceedings{DBLP:conf/asm/2008,
  title = "Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings",
  year = "2008",
  booktitle = "ABZ",
  editor = "Egon B{\"o}rger and Michael J. Butler and Jonathan P. Bowen and Paul Boca",
  isbn = "978-3-540-87602-1",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5238",
}
@inproceedings{DBLP:conf/asm/Cavarra08,
  title = "Data Flow Analysis and Testing of Abstract State Machines",
  author = "Alessandra Cavarra",
  year = "2008",
  booktitle = "Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings",
  editor = "Egon B{\"o}rger and Michael J. Butler and Jonathan P. Bowen and Paul Boca",
  isbn = "978-3-540-87602-1",
  pages = "85-97",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5238",
}
@inproceedings{BehaviouralSpecifications,
  title = "Behavioural Specifications from Class Models",
  author = "A. Cavarra and J. Welch",
  year = "2007",
  booktitle = "Proceedings of the 6th International Conference of Integrated Formal Methods (IFM 2007)",
  pages = "118-137",
  publisher = "Springer Berlin / Heidelberg",
  series = "LNCS",
  doi = "10.1007/978-3-540-73210-5_7",
}
@inproceedings{Davies*2006:Generation,
  title = "On the Generation of Object Databases using {B}ooster",
  author = "Jim Davies and James Welch and Alessandra Cavarra and Edward Crichton",
  year = "2006",
  booktitle = "Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006)",
  publisher = "IEEE Computer Society",
  doi = "10.1109/ICECCS.2006.1690374",
}
@article{DBLP:journals/entcs/CavarraF05,
  title = "Combining Sequence Diagrams and {OCL} for Liveness",
  author = "Alessandra Cavarra and Juliana K{\"u}ster Filipe",
  year = "2005",
  journal = "Electronic Notes in Theoretical Computer Science",
  pages = "19-38",
  volume = "115",
  doi = "10.1016/j.entcs.2004.09.025",
}
@inproceedings{DBLP:conf/sac/GrunerCS05,
  title = "Editorial Message: Special Track on Software Engineering: Methods, Practices, and Tools",
  author = "Stefan Gruner and Alessandra Cavarra and Sung Shin",
  year = "2005",
  booktitle = "Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005",
  editor = "Hisham Haddad and Lorie M. Liebrock and Andrea Omicini and Roger L. Wainwright",
  isbn = "1-58113-964-0",
  pages = "1454-1455",
  publisher = "ACM",
  doi = "10.1145/1067009",
}
@article{Cavarra*2005:Mapping,
  title = "Mapping {UML} into Abstract State Machines: A Framework to Simulate {UML} Models",
  author = "A. Cavarra and E. Riccobene and P. Scandurra",
  year = "2005",
  journal = "Studia Informatica Universalis",
  note = "To appear",
}
@article{DBLP:journals/infsof/Cavarra,
  title = "A Method for the Automatic Generation of Test Suites from Object Models",
  author = "Alessandra Cavarra and Charles Crichton and Jim Davies",
  year = "2004",
  journal = "Information {\&} Software Technology",
  number = "5",
  pages = "309-314",
  volume = "46",
  doi = "10.1016/j.infsof.2003.09.004",
}
@article{DBLP:journals/infsof/BorgerCR04,
  title = "On Formalizing {UML} State Machines using {ASM}",
  author = "Egon B{\"o}rger and Alessandra Cavarra and Elvinia Riccobene",
  year = "2004",
  journal = "Information {\&} Software Technology",
  number = "5",
  pages = "287-292",
  volume = "46",
  doi = "10.1016/j.infsof.2003.09.009",
}
@inproceedings{DBLP:conf/sac/CavarraRS04,
  title = "A Framework to Simulate {UML} Models: Moving from a Semi-Formal to a Formal Environment",
  author = "Alessandra Cavarra and Elvinia Riccobene and Patrizia Scandurra",
  year = "2004",
  booktitle = "Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004",
  editor = "Hisham Haddad and Andrea Omicini and Roger L. Wainwright and Lorie M. Liebrock",
  isbn = "1-58113-812-1",
  pages = "1519-1523",
  publisher = "ACM",
  doi = "10.1145/968204",
}
@inproceedings{DBLP:conf/asm/CavarraK04,
  title = "Formalizing Liveness-Enriched Sequence Diagrams Using {ASM}s",
  author = "Alessandra Cavarra and Juliana K{\"u}ster Filipe",
  year = "2004",
  booktitle = "Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings",
  editor = "Wolf Zimmermann and Bernhard Thalheim",
  isbn = "3-540-22094-1",
  pages = "62-77",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3052{\&}spage=62",
  volume = "3052",
}
@inproceedings{DBLP:conf/sac/BorgerRC03,
  title = "Modeling the Meaning of Transitions from and to Concurrent States in {UML} State Machines",
  author = "Egon B{\"o}rger and Elvinia Riccobene and Alessandra Cavarra",
  year = "2003",
  booktitle = "Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA",
  pages = "1086-1091",
  publisher = "ACM",
}
@inproceedings{DBLP:conf/asm/FalcarinC03,
  title = "Specifying and Verifying the Parlay Call-Control Using {ASM}s",
  author = "Paolo Falcarin and Alessandra Cavarra",
  year = "2003",
  booktitle = "Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings",
  editor = "Egon B{\"o}rger and Angelo Gargantini and Elvinia Riccobene",
  isbn = "3-540-00624-9",
  pages = "411-412",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/2589/25890411.htm",
  volume = "2589",
}
@inproceedings{DBLP:conf/asm/CavarraRS03,
  title = "Integrating {UML} Static and Dynamic Views and Formalizing the Interaction Mechanismof {UML} State Machines",
  author = "Alessandra Cavarra and Elvinia Riccobene and Patrizia Scandurra",
  year = "2003",
  booktitle = "Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings",
  editor = "Egon B{\"o}rger and Angelo Gargantini and Elvinia Riccobene",
  isbn = "3-540-00624-9",
  pages = "229-243",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/2589/25890229.htm",
  volume = "2589",
}
@inproceedings{DBLP:conf/sac/DaviesCC03,
  title = "A Method for the Automatic Generation of Test Suites from Object Models",
  author = "Jim Davies and Charles Crichton and Alessandra Cavarra",
  year = "2003",
  booktitle = "Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA",
  crossref = "DBLP:conf/sac/2003",
  pages = "1104-1109",
  publisher = "ACM",
  doi = "10.1145/952532.952748",
}
@inproceedings{Boerger*2002:Precise,
  title = "A Precise Semantics of {UML} State Machines: Making Semantic Variation Points and Ambiguities Explicit",
  author = "E. Boerger and A. Cavarra and E. Riccobene",
  year = "2002",
  address = "Grenoble",
  booktitle = "Proceedings of Semantic Foundations of Engineering Design Languages (SFEDL) - ETAPS",
  month = "APR",
}
@inproceedings{Cavarra&Riccobene2001:Simulating,
  title = "Simulating Statecharts",
  author = "A. Cavarra and E. Riccobene",
  year = "2001",
  address = "Canary Islands, Spain",
  booktitle = "ASM 2001 Workshop, EUROCAST 2001",
  editor = "R. Moreno-Diaz and A. Quesada-Arencibia",
  month = "FEB",
}
@inproceedings{Boerger*2001:Solving,
  title = "Solving Conflicts in {UML} State Machines Concurrent States",
  author = "E. Boerger and A. Cavarra and E. Riccobene",
  year = "2001",
  address = "Toronto, Canada",
  booktitle = "{UML} 2001, Workshop on Concurrency Issues in {UML}",
  month = "OCT",
}
@inproceedings{Cavarra2000:Formal,
  title = "A Formal Semantics of {UML}: The {ASM} Approach",
  author = "A. Cavarra",
  year = "2000",
  address = "Ecole Centrale de Nantes, France",
  booktitle = "Modelling and Verification of Parallel Processes (MOVEP'2k)",
  editor = "F. Cassez and C. Jard and B. Rozoy and M. Ryan",
  month = "JUN",
}
@inproceedings{DBLP:conf/sac/CavarraRZ00,
  title = "A Formal Model for the Parallel Semantics of {P3L}",
  author = "Alessandra Cavarra and Elvinia Riccobene and Andrea Zavanella",
  year = "2000",
  booktitle = "Proceedings of the 2000 ACM Symposium on Applied Computing",
  pages = "804-812",
}
@inproceedings{Cavarra&Riccobene2000:Modeling,
  title = "Modeling the Dynamics of {UML} Behavioral Diagrams",
  author = "A. Cavarra and E. Riccobene",
  year = "2000",
  address = "Pisa",
  booktitle = "FORTE/PSTV 2000",
  month = "OCT",
  note = "Poster",
}
@inproceedings{DBLP:conf/asm/BorgerCR00,
  title = "Modeling the Dynamics of {UML} State Machines",
  author = "Egon B{\"o}rger and Alessandra Cavarra and Elvinia Riccobene",
  year = "2000",
  booktitle = "Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verit{\`a}, Switzerland, March 19-24, 2000, Proceedings",
  editor = "Yuri Gurevich and Philipp W. Kutter and Martin Odersky and Lothar Thiele",
  isbn = "3-540-67959-6",
  pages = "223-241",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/1912/19120223.htm",
  volume = "1912",
}
@inproceedings{Boerger*2000:ASM,
  title = "An {ASM} Semantics for {UML} Activity Diagrams and {UML} State Machines",
  author = "E. Boerger and A. Cavarra and E. Riccobene",
  year = "2000",
  booktitle = "ASM2000 Workshop",
  month = "MAR",
  note = "TIK Report Nr. 87, Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich",
}
@inproceedings{DBLP:conf/amast/BorgerCR00,
  title = "An {ASM} Semantics for {UML} Activity Diagrams",
  author = "Egon B{\"o}rger and Alessandra Cavarra and Elvinia Riccobene",
  year = "2000",
  booktitle = "Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings",
  editor = "Teodor Rus",
  isbn = "3-540-67530-2",
  pages = "293-308",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://link.springer.de/link/service/series/0558/bibs/1816/18160293.htm",
  volume = "1816",
}
@inproceedings{Cantone*1997:Existentially,
  title = "On Existentially Quantified Conjunctions of Atomic Formulae of {L+}",
  author = "D. Cantone and A. Cavarra and E. Omodeo",
  year = "1997",
  booktitle = "FTP97: International Workshop on First Order Theorem Proving",
  month = "NOV",
  note = "RISC-Linz Report Series, No. 97-50, Johannes Kepler Universitaet Linz",
}