- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c45 |      | Elvinia Riccobene, Pasqualina Potena, Patrizia Scandurra: Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. EUROMICRO-SEAA 2012: 125-132 |
| e2 | | John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (Eds.): Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Lecture Notes in Computer Science 7316, Springer 2012, isbn 978-3-642-30884-0 |
| 2011 | ||
| j12 | | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: A model advisor for NuSMV specifications. ISSE 7(2): 97-107 (2011) |
| j11 | | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A model-driven process for engineering a toolset for a formal method. Softw., Pract. Exper. 41(2): 155-166 (2011) |
| c44 | | Elvinia Riccobene, Patrizia Scandurra, Fabio Albani: A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications. EUROMICRO-SEAA 2011: 4-11 |
| c43 | | Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra: Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. FACS 2011: 331-349 |
| c42 | | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE 2011: 388-391 |
| c41 | | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV 2011: 223-238 |
| 2010 | ||
| c40 | | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM 2010: 61-74 |
| c39 | | Elvinia Riccobene, Patrizia Scandurra: An Executable Semantics of the SystemC UML Profile. ASM 2010: 75-90 |
| c38 |  | Elvinia Riccobene, Patrizia Scandurra: Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. ACT4SOC 2010: 29-41 |
| c37 | | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene: Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods 2010: 4-13 |
| 2009 | ||
| j10 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3-4): 415-454 (2009) |
| j9 | | Elvinia Riccobene, Patrizia Scandurra: Model transformations in the UPES/UPSoC development process for embedded systems. ISSE 5(1): 35-47 (2009) |
| j8 | | Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti, Luigi Lavazza, Luigi Mantellini: SystemC/C-based model-driven design for embedded systems. ACM Trans. Embedded Comput. Syst. 8(4) (2009) |
| c36 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis 2009: 33-49 |
| c35 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Integrating Formal Methods with Model-Driven Engineering. ICSEA 2009: 86-92 |
| 2008 | ||
| j7 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A Metamodel-based Language and a Simulation Engine for Abstract State Machines. J. UCS 14(12): 1949-1983 (2008) |
| c34 | | Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A Scenario-Based Validation Language for ASMs. ABZ 2008: 71-84 |
| c33 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ 2008: 348 |
| c32 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni: Scenario-based Validation of Embedded Systems. FDL 2008: 191-196 |
| c31 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Model-Driven Language Engineering: The ASMETA Case Study. ICSEA 2008: 373-378 |
| c30 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A model-driven validation & verification environment for embedded systems. SIES 2008: 241-244 |
| 2007 | ||
| c29 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis 2007 |
| c28 | | Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra: A complete SystemC UML profile with dynamic features for behavioral descriptions. FDL 2007: 191-197 |
| c27 | | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio: Designing a Unified Process for Embedded Systems. MOMPES 2007: 77-90 |
| c26 | | Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra: Process State Machines for Behavioral Modeling of Embedded Systems. SIES 2007: 274-281 |
| 2006 | ||
| c25 | | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio: A model-driven design environment for embedded systems. DAC 2006: 915-918 |
| c24 | | Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti: A Model-driven Co-design Flow for Embedded Systems. FDL 2006: 345-351 |
| c23 | | Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren: UML for ESL design: basic principles, tools, and applications. ICCAD 2006: 73-80 |
| 2005 | ||
| c22 | | Patrizia Scandurra, Angelo Gargantini, Claudia Genovese, Tiziana Genovese, Elvinia Riccobene: A Concrete Syntax Derived From the Abstract State Machine Metamodel. Abstract State Machines 2005: 345-368 |
| c21 | | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio: A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. DATE 2005: 704-709 |
| c20 | | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio: A UML 2.0 profile for SystemC: toward high-level SoC design. EMSOFT 2005: 138-141 |
| c19 | | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio: An HW/SW Co-design Environment based on UML and SystemC. FDL 2005: 515-519 |
| c18 | | Angelo Gargantini, Elvinia Riccobene: ViBBA: A Toolbox for Automatic Model Driven Animation. SimVis 2005: 101-114 |
| 2004 | ||
| j6 | | Egon Börger, Alessandra Cavarra, Elvinia Riccobene: On formalizing UML state machines using ASM. Information & Software Technology 46(5): 287-292 (2004) |
| j5 | | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra: Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. Stud. Inform. Univ. 3(3): 367-398 (2004) |
| c17 | | Elvinia Riccobene, Patrizia Scandurra: Towards an Interchange Language for ASMs. Abstract State Machines 2004: 111-126 |
| c16 | | Elvinia Riccobene, Patrizia Scandurra: Modelling SystemC Process Behavior by the UML Method State Machines. RISE 2004: 112-121 |
| c15 | | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra: A framework to simulate UML models: moving from a semi-formal to a formal environment. SAC 2004: 1519-1523 |
| 2003 | ||
| c14 | | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra: Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. Abstract State Machines 2003: 229-243 |
| c13 | | Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo: Using Spin to Generate Testsfrom ASM Specifications. Abstract State Machines 2003: 263-277 |
| c12 | | Marianna Nicolosi Asmundo, Elvinia Riccobene: Consistent Integration for Sequential Abstract State Machines. Abstract State Machines 2003: 324-340 |
| c11 | | Angelo Gargantini, Elvinia Riccobene: Automatic Model Driven Animation of SCR Specifications. FASE 2003: 294-309 |
| c10 | | Egon Börger, Elvinia Riccobene, Alessandra Cavarra: Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. SAC 2003: 1086-1091 |
| e1 | | Egon Börger, Angelo Gargantini, Elvinia Riccobene (Eds.): Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Lecture Notes in Computer Science 2589, Springer 2003, isbn 3-540-00624-9 |
| 2002 | ||
| j4 | | Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene: Proving Invariants of I/O Automata with TAME. Autom. Softw. Eng. 9(3): 201-232 (2002) |
| 2001 | ||
| j3 | | Angelo Gargantini, Elvinia Riccobene: ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. J. UCS 7(11): 1050-1067 (2001) |
| 2000 | ||
| j2 | | Egon Börger, Elvinia Riccobene, Joachim Schmid: Capturing Requirements by Abstract State Machines: The Light Control Case Study. J. UCS 6(7): 597-620 (2000) |
| c9 | | Egon Börger, Alessandra Cavarra, Elvinia Riccobene: An ASM Semantics for UML Activity Diagrams. AMAST 2000: 293-308 |
| c8 | | Egon Börger, Alessandra Cavarra, Elvinia Riccobene: Modeling the Dynamics of UML State Machines. Abstract State Machines 2000: 223-241 |
| c7 | | Angelo Gargantini, Elvinia Riccobene: Encoding Abstract State Machines in PVS. Abstract State Machines 2000: 303-322 |
| c6 | | Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene: Using TAME to prove invariants of automata models: Two case studies. FMSP 2000: 25-36 |
| c5 | | Alessandra Cavarra, Elvinia Riccobene, Andrea Zavanella: A Formal Model for the Parallel Semantics of P3L. SAC (2) 2000: 804-812 |
| 1998 | ||
| c4 | | Giampaolo Bella, Elvinia Riccobene: A Realistic Environment for Crypto-Protocol Analyses by ASMs. Workshop on Abstract State Machines 1998: 127-138 |
| 1997 | ||
| j1 | | Giampaolo Bella, Elvinia Riccobene: Formal Analysis of the Kerberos Authentication System. J. UCS 3(12): 1337-1381 (1997) |
| 1995 | ||
| c3 | | Christoph Beierle, Egon Börger, Igor Durdanovic, Uwe Glässer, Elvinia Riccobene: Refining Abstract Machine Specifications of the Steam Boiler Control to Well Documented Executable Code. Formal Methods for Industrial Applications 1995: 52-78 |
| 1991 | ||
| c2 | | Egon Börger, Elvinia Riccobene: Logical Operational Semantics of Parlog. Part II: Or-Parallelism. RCLP 1991: 27-34 |
| c1 | | Egon Börger, Elvinia Riccobene: Logical Operational Semantics of Parlog, Part I: And-Parallelism. PDK 1991: 191-198 |
Data released under the ODC-BY 1.0 license — See also our legal information page