| 2008 |
|---|
| 23 | EE | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Exploiting the ASM Method for Validation & Verification of Embedded Systems.
ABZ 2008: 348 |
| 22 | EE | Alessandro Carioni,
Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
A Scenario-Based Validation Language for ASMs.
ABZ 2008: 71-84 |
| 21 | EE | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra,
Alessandro Carioni:
Scenario-based Validation of Embedded Systems.
FDL 2008: 191-196 |
| 20 | EE | Angelo Gargantini,
Elvinia Riccobene,
Patrizia Scandurra:
Model-Driven Language Engineering: The ASMETA Case Study.
ICSEA 2008: 373-378 |
| 19 | EE | Andrea Calvagna,
Angelo Gargantini:
A Logic-Based Approach to Combinatorial Testing with Constraints.
TAP 2008: 66-83 |
| 18 | | 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 |
|---|
| 17 | 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 |
| 16 | EE | Angelo Gargantini:
Using Model Checking to Generate Fault Detecting Tests.
TAP 2007: 189-206 |
| 2006 |
|---|
| 15 | EE | Angelo Gargantini,
Angelo Morzenti:
Automated Verification of Continuous Time Systems by Discrete Temporal Induction.
TIME 2006: 19-26 |
| 2005 |
|---|
| 14 | 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 |
| 13 | | Angelo Gargantini,
Elvinia Riccobene:
ViBBA: A Toolbox for Automatic Model Driven Animation.
SimVis 2005: 101-114 |
| 2004 |
|---|
| 12 | EE | Angelo Gargantini:
Conformance Testing.
Model-Based Testing of Reactive Systems 2004: 87-111 |
| 2003 |
|---|
| 11 | | 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 |
| 10 | EE | Angelo Gargantini,
Elvinia Riccobene,
Salvatore Rinzivillo:
Using Spin to Generate Testsfrom ASM Specifications.
Abstract State Machines 2003: 263-277 |
| 9 | EE | Angelo Gargantini,
Elvinia Riccobene:
Automatic Model Driven Animation of SCR Specifications.
FASE 2003: 294-309 |
| 2001 |
|---|
| 8 | EE | Angelo Gargantini,
Angelo Morzenti:
Automated deductive requirements analysis of critical systems.
ACM Trans. Softw. Eng. Methodol. 10(3): 255-307 (2001) |
| 7 | EE | Angelo Gargantini,
Elvinia Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence.
J. UCS 7(11): 1050-1067 (2001) |
| 2000 |
|---|
| 6 | EE | Angelo Gargantini,
Elvinia Riccobene:
Encoding Abstract State Machines in PVS.
Abstract State Machines 2000: 303-322 |
| 1999 |
|---|
| 5 | EE | Angelo Gargantini,
Constance L. Heitmeyer:
Using Model Checking to Generate Tests from Requirements Specifications.
ESEC / SIGSOFT FSE 1999: 146-162 |
| 4 | | Angelo Gargantini,
Dino Mandrioli,
Angelo Morzenti:
Dealing with Zero-Time Transitions in Axiom Systems.
Inf. Comput. 150(2): 119-131 (1999) |
| 1998 |
|---|
| 3 | EE | Miguel Felder,
Angelo Gargantini,
Angelo Morzenti:
A Theory of Implementation and Refinement in Timed Petri Nets.
Theor. Comput. Sci. 202(1-2): 127-161 (1998) |
| 1997 |
|---|
| 2 | EE | Andrea Alborghetti,
Angelo Gargantini,
Angelo Morzenti:
Providing Automated Support to Deductive Analysis of Time Critical Systems.
ESEC / SIGSOFT FSE 1997: 211-226 |
| 1995 |
|---|
| 1 | | Angelo Gargantini,
Angelo Morzenti:
TRIO Specification of a Steam Boiler Controller.
Formal Methods for Industrial Applications 1995: 218-232 |
