GARGANTINI, Angelo Michele Statistiche

GARGANTINI, Angelo Michele  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 211 (tempo di esecuzione: 0.052 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2025 A compositional simulation framework for Abstract State Machine models of Discrete Event Systems Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2025 A Search-Based Benchmark Generator for Constrained Combinatorial Testing Models Arcaini, Paolo; Bombarda, Andrea; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2025 Eliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Pellegrinelli, Nico 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
12-mag-2025 Integrating formal specifications in the development and testing of UIs by formal model–view–controller pattern Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2025 On the Completion of Partial Combinatorial Test Suites Bombarda, Andrea; Gargantini, Angelo Michele 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2025 SIMSPIRE: A Simulator of the Respiratory System Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2024 A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers Essbai, Wasim; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2024 A journey with ASMETA from requirements to code: application to an automotive system with adaptive features Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2024 An Android App for Training New Doctors in Mechanical Ventilation Bombarda, Andrea; Millefiori, Sara; Penzo, Michela; Novelli, Luca; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
13-set-2024 ASMETA Tool Set for Rigorous System Design Bombarda, Andrea; Bonfanti, Silvia; 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-2024 Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools Bombarda, Andrea; Gargantini, Angelo Michele 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2024 Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2024 From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2024 Integrating Product Sampling and Behavioral Testing for Software Product Lines with Combinatorial Testing Bombarda, Andrea; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2024 On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models Bombarda, Andrea; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2024 Preface [a: Rigorous State-Based Methods. 10th International Conference, ABZ 2024 Bergamo, Italy, June 25–28, 2024. Proceedings] Riccobene, Elvinia; Leuschel, Michael; Bonfanti, Silvia; Gargantini, Angelo Michele; Scandurra, Patrizia 1.2 Contributi in volume - Book chapters::1.2.02 Prefazioni/Postfazioni - Prefaces/Afterwords
1-gen-2024 Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings Bonfanti, Silvia; Gargantini, Angelo Michele; Leuschel, Michael; Riccobene, Elvinia; Scandurra, Patrizia 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books
1-gen-2024 State of the CArt: evaluating covering array generators at scale Leithner, M.; Bombarda, Andrea; Wagner, M.; Gargantini, Angelo Michele; Simos, D. E. 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2024 Testing the Evolution of Feature Models with Specific Combinatorial Tests Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2024 The Mechanical Lung Ventilator Case Study Bonfanti, Silvia; Gargantini, Angelo Michele 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations