GARGANTINI, Angelo Michele Statistiche

GARGANTINI, Angelo Michele  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 175 (tempo di esecuzione: 0.036 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2015 A Low-cost Virtual Reality Game for Amblyopia Rehabilitation Gargantini, Angelo Michele; Terzi, Fabio; Zambelli, Matteo; Bonfanti, Silvia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2007 A Metamodel-based Simulator for ASMs Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2008 A Model-driven Technique for Embedded System Validation Carioni, Alessandro; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 A Random Dot Stereoacuity Test based on 3D Technology Gargantini, Angelo Michele; Facoetti, Giancarlo; Vitali, Andrea 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2019 Achieving change requirements of feature models by an evolutionary approach Arcaini, Paolo; Gargantini, Angelo; Radavelli, Marco 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2020 Achieving change requirements of feature models by an evolutionary approach Arcaini, Paolo; Gargantini, Angelo; Radavelli, Marco 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.02 Abstract in atti di convegno - Conference abstracts
1-gen-2020 Addressing usability in a formal development environment Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2017 Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors Bonfanti, Silvia; Gargantini, Angelo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 An abstraction technique for testing decomposable systems by model checking Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2014 An environment for domestic supervised amblyopia treatment Facoetti, Giancarlo; Gargantini, Angelo Michele; Vitali, Andrea 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 ASM Boerger, Egon; Gargantini, Angelo Michele; Riccobene, Elvinia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2003 ASM 2003. A double anniversary in Sicily Boerger, Egon; Gargantini, Angelo; Riccobene, Elvinia 1.2 Contributi in volume - Book chapters::1.2.03 Brevi introduzioni - Introductions
1-gen-2001 ASM-based testing: Coverage criteria and automatic test sequence generation Gargantini, Angelo Michele; Riccobene, Elvinia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2017 Asm2C++: A tool for code generation from abstract state machines to Arduino Bonfanti, Silvia; Carissoni, Marco; Gargantini, Angelo Michele; Mashkoor, Atif 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2007 AsmEE: an Eclipse plug-in in a metamodel based framework for the Abstract State Machines Riccobene, Elvinia; Gargantini, Angelo Michele; Scandurra, Patrizia 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2021 The ASMETA Approach to Safety Assurance of Software Systems Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo; Riccobene, Elvinia; Scandurra, Patrizia 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
1-gen-2018 AsmetaA: Animator for abstract state machines Bonfanti, Silvia; Gargantini, Angelo; Mashkoor, Atif 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2010 AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications Gargantini, Angelo Michele; Riccobene, Elvinia; Arcaini, Paolo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2013 AURORA: AUtomatic RObustness coveRage Analysis Tool Gargantini, Angelo Michele; Guarnieri, Marco; Magri, Eros 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2020 An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines Bombarda, Andrea; Gargantini, Angelo 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations