BONFANTI, Silvia Statistiche

BONFANTI, Silvia  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 62 (tempo di esecuzione: 0.08 secondi).
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 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 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 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 Preface [a: Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium] Tekinerdogan, B.; Spalazzese, R.; Sozer, H.; Bonfanti, Silvia; Weyns, D. 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 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
7-gen-2023 A component framework for the runtime enforcement of safety properties Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays
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 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 Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines Bonfanti, Silvia; Riccobene, Elvinia; Santandrea, Davide; 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 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