| 2008 |
|---|
| 39 | EE | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Exploiting the ASM Method for Validation & Verification of Embedded Systems.
ABZ 2008: 348 |
| 38 | EE | Alessandro Carioni,
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
A Scenario-Based Validation Language for ASMs.
ABZ 2008: 71-84 |
| 37 | EE | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
Alessandro Carioni:
Scenario-based Validation of Embedded Systems.
FDL 2008: 191-196 |
| 36 | EE | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Model-Driven Language Engineering: The ASMETA Case Study.
ICSEA 2008: 373-378 |
| 35 | | 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 |
|---|
| 34 | EE | Sara Bocchio,
Elvinia Riccobene,
Alberto Rosti,
Patrizia Scandurra:
A complete SystemC UML profile with dynamic features for behavioral descriptions.
FDL 2007: 191-197 |
| 33 | 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 |
| 32 | EE | Sara Bocchio,
Elvinia Riccobene,
Alberto Rosti,
Patrizia Scandurra:
Process State Machines for Behavioral Modeling of Embedded Systems.
SIES 2007: 274-281 |
| 2006 |
|---|
| 31 | EE | Elvinia Riccobene,
Patrizia Scandurra,
Alberto Rosti,
Sara Bocchio:
A model-driven design environment for embedded systems.
DAC 2006: 915-918 |
| 30 | EE | Elvinia Riccobene,
Patrizia Scandurra,
Sara Bocchio,
Alberto Rosti:
A Model-driven Co-design Flow for Embedded Systems.
FDL 2006: 345-351 |
| 29 | 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 |
|---|
| 28 | 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 |
| 27 | 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 |
| 26 | 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 |
| 25 | EE | Elvinia Riccobene,
Patrizia Scandurra,
Alberto Rosti,
Sara Bocchio:
An HW/SW Co-design Environment based on UML and SystemC.
FDL 2005: 515-519 |
| 24 | | Angelo Gargantini,
Elvinia Riccobene:
ViBBA: A Toolbox for Automatic Model Driven Animation.
SimVis 2005: 101-114 |
| 2004 |
|---|
| 23 | EE | Elvinia Riccobene,
Patrizia Scandurra:
Towards an Interchange Language for ASMs.
Abstract State Machines 2004: 111-126 |
| 22 | EE | Elvinia Riccobene,
Patrizia Scandurra:
Modelling SystemC Process Behavior by the UML Method State Machines.
RISE 2004: 112-121 |
| 21 | 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 |
| 20 | EE | Egon Börger,
Alessandra Cavarra,
Elvinia Riccobene:
On formalizing UML state machines using ASM.
Information & Software Technology 46(5): 287-292 (2004) |
| 2003 |
|---|
| 19 | | Egon Börger,
Angelo Gargantini,
Elvinia Riccobene:
Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings
Springer 2003 |
| 18 | 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 |
| 17 | EE | Angelo Gargantini,
Elvinia Riccobene,
Salvatore Rinzivillo:
Using Spin to Generate Testsfrom ASM Specifications.
Abstract State Machines 2003: 263-277 |
| 16 | EE | Marianna Nicolosi Asmundo,
Elvinia Riccobene:
Consistent Integration for Sequential Abstract State Machines.
Abstract State Machines 2003: 324-340 |
| 15 | EE | Angelo Gargantini,
Elvinia Riccobene:
Automatic Model Driven Animation of SCR Specifications.
FASE 2003: 294-309 |
| 14 | | 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 |
| 2002 |
|---|
| 13 | | Myla Archer,
Constance L. Heitmeyer,
Elvinia Riccobene:
Proving Invariants of I/O Automata with TAME.
Autom. Softw. Eng. 9(3): 201-232 (2002) |
| 2001 |
|---|
| 12 | EE | Angelo Gargantini,
Elvinia Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence.
J. UCS 7(11): 1050-1067 (2001) |
| 2000 |
|---|
| 11 | EE | Egon Börger,
Alessandra Cavarra,
Elvinia Riccobene:
An ASM Semantics for UML Activity Diagrams.
AMAST 2000: 293-308 |
| 10 | EE | Egon Börger,
Alessandra Cavarra,
Elvinia Riccobene:
Modeling the Dynamics of UML State Machines.
Abstract State Machines 2000: 223-241 |
| 9 | EE | Angelo Gargantini,
Elvinia Riccobene:
Encoding Abstract State Machines in PVS.
Abstract State Machines 2000: 303-322 |
| 8 | EE | Myla Archer,
Constance L. Heitmeyer,
Elvinia Riccobene:
Using TAME to prove invariants of automata models: Two case studies.
FMSP 2000: 25-36 |
| 7 | | Alessandra Cavarra,
Elvinia Riccobene,
Andrea Zavanella:
A Formal Model for the Parallel Semantics of P3L.
SAC (2) 2000: 804-812 |
| 6 | EE | 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) |
| 1998 |
|---|
| 5 | | Giampaolo Bella,
Elvinia Riccobene:
A Realistic Environment for Crypto-Protocol Analyses by ASMs.
Workshop on Abstract State Machines 1998: 127-138 |
| 1997 |
|---|
| 4 | EE | Giampaolo Bella,
Elvinia Riccobene:
Formal Analysis of the Kerberos Authentication System.
J. UCS 3(12): 1337-1381 (1997) |
| 1995 |
|---|
| 3 | | 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 |
|---|
| 2 | | Egon Börger,
Elvinia Riccobene:
Logical Operational Semantics of Parlog, Part I: And-Parallelism.
PDK 1991: 191-198 |
| 1 | | Egon Börger,
Elvinia Riccobene:
Logical Operational Semantics of Parlog. Part II: Or-Parallelism.
RCLP 1991: 27-34 |
