GARGANTINI, Angelo Michele Statistiche
GARGANTINI, Angelo Michele
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
A compositional simulation framework for Abstract State Machine models of Discrete Event Systems
2024-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers
2024-01-01 Essbai, Wasim; Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
A journey with ASMETA from requirements to code: application to an automotive system with adaptive features
2024-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
An Android App for Training New Doctors in Mechanical Ventilation
2024-01-01 Bombarda, Andrea; Millefiori, Sara; Penzo, Michela; Novelli, Luca; Gargantini, Angelo Michele
ASMETA Tool Set for Rigorous System Design
2024-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Design, implementation, and validation of a benchmark generator for combinatorial interaction testing tools
2024-01-01 Bombarda, Andrea; Gargantini, Angelo Michele
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems
2024-01-01 Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo Michele; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia
From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
2024-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
On the Use of Multi-valued Decision Diagrams to Count Valid Configurations of Feature Models
2024-01-01 Bombarda, Andrea; Gargantini, Angelo Michele
Preface [a: Rigorous State-Based Methods. 10th International Conference, ABZ 2024 Bergamo, Italy, June 25–28, 2024. Proceedings]
2024-01-01 Riccobene, Elvinia; Leuschel, Michael; Bonfanti, Silvia; Gargantini, Angelo Michele; Scandurra, Patrizia
Rigorous State-Based Methods. 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings
2024-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Leuschel, Michael; Riccobene, Elvinia; Scandurra, Patrizia
State of the CArt: evaluating covering array generators at scale
2024-01-01 Leithner, M.; Bombarda, Andrea; Wagner, M.; Gargantini, Angelo Michele; Simos, D. E.
Testing the Evolution of Feature Models with Specific Combinatorial Tests
2024-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
The Mechanical Lung Ventilator Case Study
2024-01-01 Bonfanti, Silvia; 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
| Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
|---|---|---|---|---|
| 1-gen-2024 | 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-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 | |
| 1-gen-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 | 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 | |
| 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 |