Scorri Autori Unibg
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
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
Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller
2022-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
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
Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines
2023-01-01 Bonfanti, Silvia; Riccobene, Elvinia; Santandrea, Davide; Scandurra, Patrizia
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
On the Reuse of Existing Configurations for Testing Evolving Feature Models
2023-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
formal MVC: A Pattern for the Integration of ASM Specifications in UI Development
2023-01-01 Bombarda, Andrea; Bonfanti, Silvia; Gargantini, Angelo Michele
A Mobile Application for Milano Ventilatore Meccanico: A First Prototype
2023-01-01 Bonfanti, Silvia; Gargantini, Angelo Michele; Novelli, Luca
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
A component framework for the runtime enforcement of safety properties
2023-01-07 Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
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 | 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-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-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-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 | 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 | 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 | 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 | 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 | 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 | |
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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile