| 2008 |
|---|
| 19 | EE | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Exploiting the ASM Method for Validation & Verification of Embedded Systems.
ABZ 2008: 348 |
| 18 | EE | Alessandro Carioni,
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
A Scenario-Based Validation Language for ASMs.
ABZ 2008: 71-84 |
| 17 | EE | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
Alessandro Carioni:
Scenario-based Validation of Embedded Systems.
FDL 2008: 191-196 |
| 16 | EE | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Model-Driven Language Engineering: The ASMETA Case Study.
ICSEA 2008: 373-378 |
| 15 | | 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) |
| 2007 |
|---|
| 14 | EE | Sara Bocchio,
Elvinia Riccobene,
Alberto Rosti,
Patrizia Scandurra:
A complete SystemC UML profile with dynamic features for behavioral descriptions.
FDL 2007: 191-197 |
| 13 | EE | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Exploiting the ASM method within the Model-driven Engineering paradigm.
Rigorous Methods for Software Construction and Analysis 2007 |
| 12 | EE | Sara Bocchio,
Elvinia Riccobene,
Alberto Rosti,
Patrizia Scandurra:
Process State Machines for Behavioral Modeling of Embedded Systems.
SIES 2007: 274-281 |
| 2006 |
|---|
| 11 | EE | Elvinia Riccobene,
Patrizia Scandurra,
Alberto Rosti,
Sara Bocchio:
A model-driven design environment for embedded systems.
DAC 2006: 915-918 |
| 10 | EE | Elvinia Riccobene,
Patrizia Scandurra,
Sara Bocchio,
Alberto Rosti:
A Model-driven Co-design Flow for Embedded Systems.
FDL 2006: 345-351 |
| 9 | EE | 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 |
|---|
| 8 | EE | 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 |
| 7 | EE | Elvinia Riccobene,
Patrizia Scandurra,
Alberto Rosti,
Sara Bocchio:
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC.
DATE 2005: 704-709 |
| 6 | EE | Elvinia Riccobene,
Patrizia Scandurra,
Alberto Rosti,
Sara Bocchio:
A UML 2.0 profile for SystemC: toward high-level SoC design.
EMSOFT 2005: 138-141 |
| 5 | EE | Elvinia Riccobene,
Patrizia Scandurra,
Alberto Rosti,
Sara Bocchio:
An HW/SW Co-design Environment based on UML and SystemC.
FDL 2005: 515-519 |
| 2004 |
|---|
| 4 | EE | Elvinia Riccobene,
Patrizia Scandurra:
Towards an Interchange Language for ASMs.
Abstract State Machines 2004: 111-126 |
| 3 | EE | Elvinia Riccobene,
Patrizia Scandurra:
Modelling SystemC Process Behavior by the UML Method State Machines.
RISE 2004: 112-121 |
| 2 | EE | 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 |
|---|
| 1 | EE | 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 |
