Alessandra Cavarra : Publications
Click here to download all publications in a single bibtex file
@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",
}
@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/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/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",
}
@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/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",
}
@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/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",
}
@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{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",
}
@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",
}
@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{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{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{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/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{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{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",
}