Alessandra Cavarra : Publications

Journal papers

• [1]

  A data−flow approach to test multi−agent ASMs

  Alessandra Cavarra

  In Formal Asp. Comput.. Vol. 23. No. 1. Pages 21−41. 2011.

  Details about A data−flow approach to test multi−agent ASMs | BibTeX data for A data−flow approach to test multi−agent ASMs | DOI (10.1007/s00165-009-0134-7)

• [2]

  Combining Sequence Diagrams and OCL for Liveness

  Alessandra Cavarra and Juliana Küster Filipe

  In Electronic Notes in Theoretical Computer Science. Vol. 115. Pages 19−38. 2005.

  Details about Combining Sequence Diagrams and OCL for Liveness | BibTeX data for Combining Sequence Diagrams and OCL for Liveness | DOI (10.1016/j.entcs.2004.09.025)

• [3]

  Mapping UML into Abstract State Machines: A Framework to Simulate UML Models

  A. Cavarra‚ E. Riccobene and P. Scandurra

  In Studia Informatica Universalis. 2005.

  To appear

  Details about Mapping UML into Abstract State Machines: A Framework to Simulate UML Models | BibTeX data for Mapping UML into Abstract State Machines: A Framework to Simulate UML Models

• [4]

  A Method for the Automatic Generation of Test Suites from Object Models

  Alessandra Cavarra‚ Charles Crichton and Jim Davies

  In Information & Software Technology. Vol. 46. No. 5. Pages 309−314. 2004.

  Details about A Method for the Automatic Generation of Test Suites from Object Models | BibTeX data for A Method for the Automatic Generation of Test Suites from Object Models | DOI (10.1016/j.infsof.2003.09.004)

• [5]

  On Formalizing UML State Machines using ASM

  Egon Börger‚ Alessandra Cavarra and Elvinia Riccobene

  In Information & Software Technology. Vol. 46. No. 5. Pages 287−292. 2004.

  Details about On Formalizing UML State Machines using ASM | BibTeX data for On Formalizing UML State Machines using ASM | DOI (10.1016/j.infsof.2003.09.009)

Conference papers

• [1]

  Formal and Model−Based Testing of Concurrent Workflows

  Chen−Wei Wang‚ Alessandra Cavarra and Jim Davies

  In Manuel Núñez‚ Robert M. Hierons and Mercedes G. Merayo, editors, Proceedings of the 11th International Conference on Quality Software‚ QSIC 2011‚ Madrid‚ Spain‚ July 13−14‚ 2011. Pages 252−259. IEEE Computer Society. 2011.

  Details about Formal and Model−Based Testing of Concurrent Workflows | BibTeX data for Formal and Model−Based Testing of Concurrent Workflows

• [2]

  Inter−agent Data Flow Analysis of Abstract State Machines

  Alessandra Cavarra

  In 20th Australian Software Engineering Conference (ASWEC 2009)‚ 14−17 April 2009‚ Gold Cost‚ Australia. Pages 237−245. IEEE Computer Society. 2009.

  Details about Inter−agent Data Flow Analysis of Abstract State Machines | BibTeX data for Inter−agent Data Flow Analysis of Abstract State Machines

• [3]

  Checking Model Consistency Using Data−Flow Testing

  Chen−Wei Wang and Alessandra Cavarra

  In Shahida Sulaiman and Noor Maizura Mohamad Noor, editors, 16th Asia−Pacific Software Engineering Conference‚ APSEC 2009‚ 1−3 December 2009‚ Batu Ferringhi‚ Penang‚ Malaysia. Pages 414−421. IEEE Computer Society. 2009.

  Details about Checking Model Consistency Using Data−Flow Testing | BibTeX data for Checking Model Consistency Using Data−Flow Testing

• [4]

  Data Flow Analysis and Testing of Abstract State Machines

  Alessandra Cavarra

  In Egon Börger‚ Michael J. Butler‚ Jonathan P. Bowen and Paul Boca, editors, Abstract State Machines‚ B and Z‚ First International Conference‚ ABZ 2008‚ London‚ UK‚ September 16−18‚ 2008. Proceedings. Vol. 5238 of Lecture Notes in Computer Science. Pages 85−97. Springer. 2008.

  Details about Data Flow Analysis and Testing of Abstract State Machines | BibTeX data for Data Flow Analysis and Testing of Abstract State Machines

• [5]

  Behavioural Specifications from Class Models

  A. Cavarra and J. Welch

  In Proceedings of the 6th International Conference of Integrated Formal Methods (IFM 2007). Pages 118−137. Springer Berlin / Heidelberg. 2007.

  Details about Behavioural Specifications from Class Models | BibTeX data for Behavioural Specifications from Class Models | DOI (10.1007/978-3-540-73210-5_7)

• [6]

  On the Generation of Object Databases using Booster

  Jim Davies‚ James Welch‚ Alessandra Cavarra and Edward Crichton

  In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006). IEEE Computer Society. 2006.

  Details about On the Generation of Object Databases using Booster | BibTeX data for On the Generation of Object Databases using Booster | DOI (10.1109/ICECCS.2006.1690374)

• [7]

  Editorial Message: Special Track on Software Engineering: Methods‚ Practices‚ and Tools

  Stefan Gruner‚ Alessandra Cavarra and Sung Shin

  In Hisham Haddad‚ Lorie M. Liebrock‚ Andrea Omicini and Roger L. Wainwright, editors, Proceedings of the 2005 ACM Symposium on Applied Computing (SAC)‚ Santa Fe‚ New Mexico‚ USA‚ March 13−17‚ 2005. Pages 1454−1455. ACM. 2005.

  Details about Editorial Message: Special Track on Software Engineering: Methods‚ Practices‚ and Tools | BibTeX data for Editorial Message: Special Track on Software Engineering: Methods‚ Practices‚ and Tools | DOI (10.1145/1067009)

• [8]

  A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment

  Alessandra Cavarra‚ Elvinia Riccobene and Patrizia Scandurra

  In Hisham Haddad‚ Andrea Omicini‚ Roger L. Wainwright and Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC)‚ Nicosia‚ Cyprus‚ March 14−17‚ 2004. Pages 1519−1523. ACM. 2004.

  Details about A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment | BibTeX data for A Framework to Simulate UML Models: Moving from a Semi−Formal to a Formal Environment | DOI (10.1145/968204)

• [9]

  Formalizing Liveness−Enriched Sequence Diagrams Using ASMs

  Alessandra Cavarra and Juliana Küster Filipe

  In Wolf Zimmermann and Bernhard Thalheim, editors, Abstract State Machines 2004. Advances in Theory and Practice‚ 11th International Workshop‚ ASM 2004‚ Lutherstadt Wittenberg‚ Germany‚ May 24−28‚ 2004. Proceedings. Vol. 3052 of Lecture Notes in Computer Science. Pages 62−77. Springer. 2004.

  Details about Formalizing Liveness−Enriched Sequence Diagrams Using ASMs | BibTeX data for Formalizing Liveness−Enriched Sequence Diagrams Using ASMs | Link to Formalizing Liveness−Enriched Sequence Diagrams Using ASMs

• [10]

  Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines

  Egon Börger‚ Elvinia Riccobene and Alessandra Cavarra

  In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC)‚ March 9−12‚ 2003‚ Melbourne‚ FL‚ USA. Pages 1086−1091. ACM. 2003.

  Details about Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines | BibTeX data for Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines

• [11]

  Specifying and Verifying the Parlay Call−Control Using ASMs

  Paolo Falcarin and Alessandra Cavarra

  In Egon Börger‚ Angelo Gargantini and Elvinia Riccobene, editors, Abstract State Machines‚ Advances in Theory and Practice‚ 10th International Workshop‚ ASM 2003‚ Taormina‚ Italy‚ March 3−7‚ 2003‚ Proceedings. Vol. 2589 of Lecture Notes in Computer Science. Pages 411−412. Springer. 2003.

  Details about Specifying and Verifying the Parlay Call−Control Using ASMs | BibTeX data for Specifying and Verifying the Parlay Call−Control Using ASMs | Link to Specifying and Verifying the Parlay Call−Control Using ASMs

• [12]

  Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines

  Alessandra Cavarra‚ Elvinia Riccobene and Patrizia Scandurra

  In Egon Börger‚ Angelo Gargantini and Elvinia Riccobene, editors, Abstract State Machines‚ Advances in Theory and Practice‚ 10th International Workshop‚ ASM 2003‚ Taormina‚ Italy‚ March 3−7‚ 2003‚ Proceedings. Vol. 2589 of Lecture Notes in Computer Science. Pages 229−243. Springer. 2003.

  Details about Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines | BibTeX data for Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines | Link to Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines

• [13]

  A Method for the Automatic Generation of Test Suites from Object Models

  Jim Davies‚ Charles Crichton and Alessandra Cavarra

  In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC)‚ March 9−12‚ 2003‚ Melbourne‚ FL‚ USA. Pages 1104−1109. ACM. 2003.

  Details about A Method for the Automatic Generation of Test Suites from Object Models | BibTeX data for A Method for the Automatic Generation of Test Suites from Object Models | DOI (10.1145/952532.952748)

• [14]

  A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit

  E. Boerger‚ A. Cavarra and E. Riccobene

  In Proceedings of Semantic Foundations of Engineering Design Languages (SFEDL) − ETAPS. Grenoble. April, 2002.

  Details about A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit | BibTeX data for A Precise Semantics of UML State Machines: Making Semantic Variation Points and Ambiguities Explicit

• [15]

  Simulating Statecharts

  A. Cavarra and E. Riccobene

  In R. Moreno−Diaz and A. Quesada−Arencibia, editors, ASM 2001 Workshop‚ EUROCAST 2001. Canary Islands‚ Spain. February, 2001.

  Details about Simulating Statecharts | BibTeX data for Simulating Statecharts

• [16]

  Solving Conflicts in UML State Machines Concurrent States

  E. Boerger‚ A. Cavarra and E. Riccobene

  In UML 2001‚ Workshop on Concurrency Issues in UML. Toronto‚ Canada. October, 2001.

  Details about Solving Conflicts in UML State Machines Concurrent States | BibTeX data for Solving Conflicts in UML State Machines Concurrent States

• [17]

  A Formal Semantics of UML: The ASM Approach

  A. Cavarra

  In F. Cassez‚ C. Jard‚ B. Rozoy and M. Ryan, editors, Modelling and Verification of Parallel Processes (MOVEP'2k). Ecole Centrale de Nantes‚ France. June, 2000.

  Details about A Formal Semantics of UML: The ASM Approach | BibTeX data for A Formal Semantics of UML: The ASM Approach

• [18]

  A Formal Model for the Parallel Semantics of P3L

  Alessandra Cavarra‚ Elvinia Riccobene and Andrea Zavanella

  In Proceedings of the 2000 ACM Symposium on Applied Computing. Pages 804−812. 2000.

  Details about A Formal Model for the Parallel Semantics of P3L | BibTeX data for A Formal Model for the Parallel Semantics of P3L

• [19]

  Modeling the Dynamics of UML Behavioral Diagrams

  A. Cavarra and E. Riccobene

  In FORTE/PSTV 2000. Pisa. October, 2000.

  Poster

  Details about Modeling the Dynamics of UML Behavioral Diagrams | BibTeX data for Modeling the Dynamics of UML Behavioral Diagrams

• [20]

  Modeling the Dynamics of UML State Machines

  Egon Börger‚ Alessandra Cavarra and Elvinia Riccobene

  In Yuri Gurevich‚ Philipp W. Kutter‚ Martin Odersky and Lothar Thiele, editors, Abstract State Machines‚ Theory and Applications‚ International Workshop‚ ASM 2000‚ Monte Verità‚ Switzerland‚ March 19−24‚ 2000‚ Proceedings. Vol. 1912 of Lecture Notes in Computer Science. Pages 223−241. Springer. 2000.

  Details about Modeling the Dynamics of UML State Machines | BibTeX data for Modeling the Dynamics of UML State Machines | Link to Modeling the Dynamics of UML State Machines

• [21]

  An ASM Semantics for UML Activity Diagrams and UML State Machines

  E. Boerger‚ A. Cavarra and E. Riccobene

  In ASM2000 Workshop. March, 2000.

  TIK Report Nr. 87‚ Computer Engineering and Networks Lab (TIK)‚ Swiss Federal Institute of Technology (ETH) Zurich

  Details about An ASM Semantics for UML Activity Diagrams and UML State Machines | BibTeX data for An ASM Semantics for UML Activity Diagrams and UML State Machines

• [22]

  An ASM Semantics for UML Activity Diagrams

  Egon Börger‚ Alessandra Cavarra and Elvinia Riccobene

  In Teodor Rus, editor, Algebraic Methodology and Software Technology. 8th International Conference‚ AMAST 2000‚ Iowa City‚ Iowa‚ USA‚ May 20−27‚ 2000‚ Proceedings. Vol. 1816 of Lecture Notes in Computer Science. Pages 293−308. Springer. 2000.

  Details about An ASM Semantics for UML Activity Diagrams | BibTeX data for An ASM Semantics for UML Activity Diagrams | Link to An ASM Semantics for UML Activity Diagrams

• [23]

  On Existentially Quantified Conjunctions of Atomic Formulae of L+

  D. Cantone‚ A. Cavarra and E. Omodeo

  In FTP97: International Workshop on First Order Theorem Proving. November, 1997.

  RISC−Linz Report Series‚ No. 97−50‚ Johannes Kepler Universitaet Linz

  Details about On Existentially Quantified Conjunctions of Atomic Formulae of L+ | BibTeX data for On Existentially Quantified Conjunctions of Atomic Formulae of L+