GARGANTINI, Angelo Michele Statistiche
GARGANTINI, Angelo Michele
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools
2024-01-01 Bombarda, Andrea; Gargantini, Angelo Michele
27th International Systems and Software Product Line Conference
2023-01-01 Arcaini, P.; Ter Beek, M. H.; Perrouin, G.; Reinhartz-Berger, I.; Luaces, M. R.; Schwanninger, C.; Ali, S.; Varshosaz, M.; Gargantini, Angelo Michele; Gnesi, S.; Lochau, M.; Semini, L.; Machado, I.; Vergilio, S. R.; Rabiser, R.; Yue, T.; Devroey, X.; Pinto, M.; Washizaki, H.; Gerling, L.; Krüger, J.; Botterweck, G.; Noda, N.; Ishikawa, F.; Kitani, M.; Kobayashi, T.; Yanagi, Y.; Zhang, X. Y.; Zhang, Z.; Yoshioka, N.; Klikovits, S.
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype
2023-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Novelli, Luca
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device
2023-01-01 Bersani, Marcello M.; Braghin, Chiara; Gargantini, Angelo Michele; Mirandola, Raffaela; Riccobene, Elvinia; Scandurra, Patrizia
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development
2023-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
General Message from the IWCT Chairs
2023-01-01 Gargantini, Angelo Michele; Garn, Bernhard
Incremental generation of combinatorial test suites starting from existing seed tests
2023-01-01 Bombarda, Andrea; Gargantini, Angelo Michele
Multi-thread Combinatorial Test Generation with SMT solvers
2023-01-01 Bombarda, Andrea; Gargantini, Angelo Michele; Calvagna, Andrea
On the Reuse of Existing Configurations for Testing Evolving Feature Models
2023-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
Preface [to: Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings]
2023-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Salvaneschi, Paolo
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
Testing Software and Systems. 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings
2023-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Salvaneschi, Paolo
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
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
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-2023 | 27th International Systems and Software Product Line Conference | Arcaini, P.; Ter Beek, M. H.; Perrouin, G.; Reinhartz-Berger, I.; Luaces, M. R.; Schwanninger, C.; Ali, S.; Varshosaz, M.; Gargantini, Angelo Michele; Gnesi, S.; Lochau, M.; Semini, L.; Machado, I.; Vergilio, S. R.; Rabiser, R.; Yue, T.; Devroey, X.; Pinto, M.; Washizaki, H.; Gerling, L.; Krüger, J.; Botterweck, G.; Noda, N.; Ishikawa, F.; Kitani, M.; Kobayashi, T.; Yanagi, Y.; Zhang, X. Y.; Zhang, Z.; Yoshioka, N.; Klikovits, S. | 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books | |
1-gen-2023 | A Mobile Application for Milano Ventilatore Meccanico: A First Prototype | Bonfanti, Silvia; Gargantini, Angelo Michele; Novelli, Luca | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2023 | Engineering of Trust Analysis-Driven Digital Twins for a Medical Device | Bersani, Marcello M.; Braghin, Chiara; Gargantini, Angelo Michele; Mirandola, Raffaela; 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-2023 | formal MVC: A Pattern for the Integration of ASM Specifications in UI Development | 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-2023 | General Message from the IWCT Chairs | Gargantini, Angelo Michele; Garn, Bernhard | 1.2 Contributi in volume - Book chapters::1.2.02 Prefazioni/Postfazioni - Prefaces/Afterwords | |
1-gen-2023 | Incremental generation of combinatorial test suites starting from existing seed tests | 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-2023 | Multi-thread Combinatorial Test Generation with SMT solvers | Bombarda, Andrea; Gargantini, Angelo Michele; Calvagna, Andrea | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2023 | On the Reuse of Existing Configurations for Testing Evolving Feature Models | 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-2023 | Preface [to: Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings] | Bonfanti, Silvia; Gargantini, Angelo Michele; Salvaneschi, Paolo | 1.2 Contributi in volume - Book chapters::1.2.02 Prefazioni/Postfazioni - Prefaces/Afterwords | |
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-2023 | Testing Software and Systems. 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings | Bonfanti, Silvia; Gargantini, Angelo Michele; Salvaneschi, Paolo | 1.6 Curatele - Editorships::1.6.01 Curatele - Edited books | |
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 |