GARGANTINI, Angelo Michele Statistiche
GARGANTINI, Angelo Michele
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
RATE: A model-based testing approach that combines model refinement and test execution
2023-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Lei, Yu; Duan, Feng
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller
2022-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Compositional Simulation of Abstract State Machines for Safety Critical Systems
2022-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications
2022-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele
Guidelines for the development of a critical software under emergency
2022-01-01 Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams
2022-01-01 Bombarda, Andrea; Gargantini, Angelo Michele
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation
2022-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Gamba, Daniele; Pedercini, Rita
Towards an Evaluation Framework for Autonomous Systems
2022-01-01 Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia
Towards Trust-preserving continuous co-evolution of Digital Twins
2022-03-01 Bersani, Marcello Maria; Braghin, Chiara; Cortellessa, Vittorio; Gargantini, Angelo Michele; Grassi, Vincenzo; Lo Presti, Francesco; Mirandola, Raffaela; Pierantonio, Alfonso; Riccobene, Elvinia; Scandurra, Patrizia
An environment for benchmarking combinatorial test suite generators
2021-01-01 Bombarda, Andrea; Crippa, Edoardo; Gargantini, Angelo Michele
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study
2021-01-01 Gargantini, Angelo Michele; Bonfanti, Silvia
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
2021-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Efficient Computation of Robustness of Convolutional Neural Networks
2021-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Evaluation of stereoacuity with a digital mobile application
2021-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Esposito, Gabriele; Facchin, Alessio; Maffioletti, Marta; Maffioletti, Silvio
Extending ASMETA with Time Features
2021-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia
Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare
2021-01-01 Bonfanti, Silvia; Bombarda, Andrea; Gargantini, Angelo Michele; Riccobene, Elvinia; Pelliccione, Patrizio
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19
2021-01-01 Bombarda, Andrea; Bonfanti, Silvia; Galbiati, Cristiano; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Wada, Masayuki
ROBY: A Tool for Robustness Analysis of Neural Network Classifiers
2021-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
The ASMETA Approach to Safety Assurance of Software Systems
2021-01-01 Arcaini, Paolo; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
The Mechanical Ventilator Milano
2021-01-01 Bonivento, W.; Gargantini, Angelo Michele; Krucken, R.; Razeto, A.
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 |