- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c33 |      | Andrea Luzzana, Mattia Rossetti, Paolo Righettini, Patrizia Scandurra: Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs. ABZ 2012: 331-335 |
| c32 | | Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra: A Reliability Prediction Method for Abstract State Machines. ABZ 2012: 336-340 |
| c31 |  | Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla: Adapting Cloud-based Applications through a Coordinated and Optimized Resource Allocation Approach. CLOSER 2012: 355-364 |
| c30 | | Elvinia Riccobene, Pasqualina Potena, Patrizia Scandurra: Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. EUROMICRO-SEAA 2012: 125-132 |
| c29 | | Patrizia Scandurra, Claudia Raibulet, Pasqualina Potena, Raffaela Mirandola, Rafael Capilla: A layered coordination framework for optimizing resource allocation in adapting cloud-based applications. SAC 2012: 471-472 |
| c28 | | Patrizia Scandurra, Andrea Arnoldi, Tao Yue, Marco Dolci: Functional requirements validation by transforming use case models into Abstract State Machines. SAC 2012: 1063-1068 |
| 2011 | ||
| j6 | | 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) |
| c27 | | Elvinia Riccobene, Patrizia Scandurra, Fabio Albani: A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications. EUROMICRO-SEAA 2011: 4-11 |
| c26 | | Davide Brugali, Luca Gherardi, Elvinia Riccobene, Patrizia Scandurra: Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. FACS 2011: 331-349 |
| c25 | | Raffaela Mirandola, Pasqualina Potena, Patrizia Scandurra: An optimization process for adaptation space exploration of service-oriented applications. SOSE 2011: 146-151 |
| 2010 | ||
| c24 | | Elvinia Riccobene, Patrizia Scandurra: An Executable Semantics of the SystemC UML Profile. ASM 2010: 75-90 |
| c23 | | Elvinia Riccobene, Patrizia Scandurra: Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. ACT4SOC 2010: 29-41 |
| 2009 | ||
| j5 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3-4): 415-454 (2009) |
| j4 | | Elvinia Riccobene, Patrizia Scandurra: Model transformations in the UPES/UPSoC development process for embedded systems. ISSE 5(1): 35-47 (2009) |
| j3 | | 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) |
| c22 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis 2009: 33-49 |
| c21 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Integrating Formal Methods with Model-Driven Engineering. ICSEA 2009: 86-92 |
| 2008 | ||
| j2 | | 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) |
| c20 | | Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A Scenario-Based Validation Language for ASMs. ABZ 2008: 71-84 |
| c19 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Exploiting the ASM Method for Validation & Verification of Embedded Systems. ABZ 2008: 348 |
| c18 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni: Scenario-based Validation of Embedded Systems. FDL 2008: 191-196 |
| c17 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Model-Driven Language Engineering: The ASMETA Case Study. ICSEA 2008: 373-378 |
| c16 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A model-driven validation & verification environment for embedded systems. SIES 2008: 241-244 |
| 2007 | ||
| c15 | | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: Exploiting the ASM method within the Model-driven Engineering paradigm. Rigorous Methods for Software Construction and Analysis 2007 |
| c14 | | Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra: A complete SystemC UML profile with dynamic features for behavioral descriptions. FDL 2007: 191-197 |
| c13 | | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio: Designing a Unified Process for Embedded Systems. MOMPES 2007: 77-90 |
| c12 | | Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra: Process State Machines for Behavioral Modeling of Embedded Systems. SIES 2007: 274-281 |
| 2006 | ||
| c11 | | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio: A model-driven design environment for embedded systems. DAC 2006: 915-918 |
| c10 | | Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti: A Model-driven Co-design Flow for Embedded Systems. FDL 2006: 345-351 |
| c9 | | 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 | ||
| c8 | | 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 |
| c7 | | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio: A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. DATE 2005: 704-709 |
| c6 | | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio: A UML 2.0 profile for SystemC: toward high-level SoC design. EMSOFT 2005: 138-141 |
| c5 | | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio: An HW/SW Co-design Environment based on UML and SystemC. FDL 2005: 515-519 |
| 2004 | ||
| j1 | | 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) |
| c4 | | Elvinia Riccobene, Patrizia Scandurra: Towards an Interchange Language for ASMs. Abstract State Machines 2004: 111-126 |
| c3 | | Elvinia Riccobene, Patrizia Scandurra: Modelling SystemC Process Behavior by the UML Method State Machines. RISE 2004: 112-121 |
| c2 | | 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 | ||
| c1 | | 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 |
Colors in the list of coauthors
Last update Sun May 19 15:50:37 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page