GARGANTINI, Angelo Michele Statistiche

GARGANTINI, Angelo Michele  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 179 (tempo di esecuzione: 0.032 secondi).
Data di pubblicazione Titolo Autore/i Tipologia Documento allegato
1-gen-2023 RATE: A model-based testing approach that combines model refinement and test execution Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Lei, Yu; Duan, Feng 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2022 Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller 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-2022 Compositional Simulation of Abstract State Machines for Safety Critical Systems 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-2022 Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications 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-2022 Guidelines for the development of a critical software under emergency Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2022 Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams 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-2022 Robustness assessment and improvement of a neural network for blood oxygen pressure estimation Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Gamba, Daniele; Pedercini, Rita 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2022 Towards an Evaluation Framework for Autonomous Systems Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; 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-mar-2022 Towards Trust-preserving continuous co-evolution of Digital Twins Bersani, Marcello Maria; Braghin, Chiara; Cortellessa, Vittorio; Gargantini, Angelo Michele; Grassi, Vincenzo; Lo Presti, Francesco; Mirandola, Raffaela; Pierantonio, Alfonso; 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-2021 An environment for benchmarking combinatorial test suite generators Bombarda, Andrea; Crippa, Edoardo; 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-2021 Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study Gargantini, Angelo Michele; 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-2021 Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA Bombarda, Andrea; Bonfanti, Silvia; 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-2021 Efficient Computation of Robustness of Convolutional Neural Networks Arcaini, Paolo; 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-2021 Evaluation of stereoacuity with a digital mobile application Bonfanti, Silvia; Gargantini, Angelo Michele; Esposito, Gabriele; Facchin, Alessio; Maffioletti, Marta; Maffioletti, Silvio 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
1-gen-2021 Extending ASMETA with Time Features Bombarda, Andrea; Bonfanti, Silvia; 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-2021 Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare Bonfanti, Silvia; Bombarda, Andrea; Gargantini, Angelo Michele; Riccobene, Elvinia; Pelliccione, Patrizio 1.1 Contributi in rivista - Journal contributions::1.1.07 Contributi in Quotidiano o Rivista professionale/divulgativa - Newspaper or Professional article
1-gen-2021 Lessons Learned from the Development of a Mechanical Ventilator for COVID-19 Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
1-gen-2021 ROBY: A Tool for Robustness Analysis of Neural Network Classifiers Arcaini, Paolo; 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-2021 The ASMETA Approach to Safety Assurance of Software Systems Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; 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-2021 The Mechanical Ventilator Milano Bonivento, W.; Gargantini, Angelo Michele; Krucken, R.; Razeto, A. 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays