BONFANTI, Silvia Statistiche
BONFANTI, Silvia
Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione
A component framework for the runtime enforcement of safety properties
2023-01-07 Bonfanti, Silvia; Riccobene, Elvinia; 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
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
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
A Runtime Safety Enforcement Approach by Monitoring and Adaptation
2021-01-01 Bonfanti, Silvia; Riccobene, Elvinia; Scandurra, Patrizia
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 novel Mechanical Ventilator Milano for the COVID-19 pandemic
2021-01-01 Abba, A.; Accorsi, C.; Agnes, P.; Alessi, E.; Amaudruz, P.; Annovi, A.; Desages, F. Ardellier; Back, S.; Badia, C.; Bagger, J.; Basile, V.; Batignani, G.; Bayo, A.; Bell, B.; Beschi, M.; Biagini, D.; Bianchi, G.; Bicelli, S.; Bishop, D.; Boccali, T.; Bombarda, Andrea; Bonfanti, Silvia; Bonivento, W. M.; Bouchard, M.; Breviario, M.; Brice, S.; Brown, R.; Calvo-Mozota, J. M.; Camozzi, L.; Camozzi, M.; Capra, A.; Caravati, M.; Carlini, M.; Ceccanti, A.; Celano, B.; Cela Ruiz, J. M.; Charette, C.; Cogliati, G.; Constable, M.; Crippa, C.; Croci, G.; Cudmore, S.; Dahl, C. E.; Dal Molin, A.; Daley, M.; Di Guardo, C.; D'Avenio, G.; Davignon, O.; Del Tutto, M.; De Ruiter, J.; Devoto, A.; Diaz Gomez Maqueo, P.; Di Francesco, F.; Dossi, M.; Druszkiewicz, E.; Duma, C.; Elliott, E.; Farina, D.; Fernandes, C.; Ferroni, F.; Finocchiaro, G.; Fiorillo, G.; Ford, R.; Foti, G.; Fournier, R. D.; Franco, D.; Fricbergs, C.; Gabriele, F.; Galbiati, C.; Garcia Abia, P.; Gargantini, Angelo Michele; Giacomelli, L.; Giacomini, F.; Giacomini, F.; Giarratana, L. S.; Gillespie, S.; Giorgi, D.; Girma, T.; Gobui, R.; Goeldi, D.; Golf, F.; Gorel, P.; Gorini, G.; Gramellini, E.; Grosso, G.; Guescini, F.; Guetre, E.; Hackman, G.; Hadden, T.; Hawkins, W.; Hayashi, K.; Heavey, A.; Hersak, G.; Hessey, N.; Hockin, G.; Hudson, K.; Ianni, A.; Ienzi, C.; Ippolito, V.; James, C. C.; Jillings, C.; Kendziora, C.; Khan, S.; Kim, E.; King, M.; King, S.; Kittmer, A.; Kochanek, I.; Kowalkowski, J.; Krücken, R.; Kushoro, M.; Kuula, S.; Laclaustra, M.; Leblond, G.; Lee, L.; Lennarz, A.; Leyton, M.; Li, X.; Liimatainen, P.; Lim, C.; Lindner, T.; Lomonaco, T.; Lu, P.; Lubna, R.; Lukhanin, G. A.; Luzón, G.; Macdonald, M.; Magni, G.; Maharaj, R.; Manni, S.; Mapelli, C.; Margetak, P.; Martin, L.; Martin, S.; Martínez, M.; Massacret, N.; Mcclurg, P.; Mcdonald, A. B.; Meazzi, E.; Migalla, R.; Mohayai, T.; Tosatti, L. M.; Monzani, G.; Moretti, C.; Morrison, B.; Mountaniol, M.; Muraro, A.; Napoli, P.; Nati, F.; Natzke, C. R.; Noble, A. J.; Norrick, A.; Olchanski, K.; Ortiz de Solorzano, A.; Padula, F.; Pallavicini, M.; Palumbo, I.; Panontin, E.; Papini, N.; Parmeggiano, L.; Parmeggiano, S.; Patel, K.; Patel, A.; Paterno, M.; Pellegrino, C.; Pelliccione, P.; Pesudo, V.; Pocar, A.; Pope, A.; Pordes, S.; Prelz, F.; Putignano, O.; Raaf, J. L.; Ratti, C.; Razeti, M.; Razeto, A.; Reed, D.; Refsgaard, J.; Reilly, T.; Renshaw, A.; Retriere, F.; Riccobene, E.; Rigamonti, D.; Rizzi, A.; Rode, J.; Romualdez, J.; Russel, L.; Sablone, D.; Sala, S.; Salomoni, D.; Salvo, P.; Sandoval, A.; Sansoucy, E.; Santorelli, R.; Savarese, C.; Scapparone, E.; Schaubel, T.; Scorza, S.; Settimo, M.; Shaw, B.; Shawyer, S.; Sher, A.; Shi, A.; Skensved, P.; Slutsky, A.; Smith, B.; Smith, N. J. T.; Stenzler, A.; Straubel, C.; Stringari, P.; Suchenek, M.; Sur, B.; Tacchino, S.; Takeuchi, L.; Tardocchi, M.; Tartaglia, R.; Thomas, E.; Trask, D.; Tseng, J.; Tseng, L.; Vanpagee, L.; Vedia, V.; Velghe, B.; Viel, S.; Visioli, A.; Viviani, L.; Vonica, D.; Wada, M.; Walter, D.; Wang, H.; Wang, M. H. L. S.; Westerdale, S.; Wood, D.; Yates, D.; Yue, S.; Zambrano, V.
Addressing usability in a formal development environment
2020-01-01 Arcaini, Paolo; Bonfanti, Silvia; Gargantini, Angelo Michele; Riccobene, Elvinia; Scandurra, Patrizia
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
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 | 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 | 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-gen-2021 | A Runtime Safety Enforcement Approach by Monitoring and Adaptation | Bonfanti, Silvia; 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 | 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 novel Mechanical Ventilator Milano for the COVID-19 pandemic | Abba, A.; Accorsi, C.; Agnes, P.; Alessi, E.; Amaudruz, P.; Annovi, A.; Desages, F. Ardellier; Back, S.; Badia, C.; Bagger, J.; Basile, V.; Batignani, G.; Bayo, A.; Bell, B.; Beschi, M.; Biagini, D.; Bianchi, G.; Bicelli, S.; Bishop, D.; Boccali, T.; Bombarda, Andrea; Bonfanti, Silvia; Bonivento, W. M.; Bouchard, M.; Breviario, M.; Brice, S.; Brown, R.; Calvo-Mozota, J. M.; Camozzi, L.; Camozzi, M.; Capra, A.; Caravati, M.; Carlini, M.; Ceccanti, A.; Celano, B.; Cela Ruiz, J. M.; Charette, C.; Cogliati, G.; Constable, M.; Crippa, C.; Croci, G.; Cudmore, S.; Dahl, C. E.; Dal Molin, A.; Daley, M.; Di Guardo, C.; D'Avenio, G.; Davignon, O.; Del Tutto, M.; De Ruiter, J.; Devoto, A.; Diaz Gomez Maqueo, P.; Di Francesco, F.; Dossi, M.; Druszkiewicz, E.; Duma, C.; Elliott, E.; Farina, D.; Fernandes, C.; Ferroni, F.; Finocchiaro, G.; Fiorillo, G.; Ford, R.; Foti, G.; Fournier, R. D.; Franco, D.; Fricbergs, C.; Gabriele, F.; Galbiati, C.; Garcia Abia, P.; Gargantini, Angelo Michele; Giacomelli, L.; Giacomini, F.; Giacomini, F.; Giarratana, L. S.; Gillespie, S.; Giorgi, D.; Girma, T.; Gobui, R.; Goeldi, D.; Golf, F.; Gorel, P.; Gorini, G.; Gramellini, E.; Grosso, G.; Guescini, F.; Guetre, E.; Hackman, G.; Hadden, T.; Hawkins, W.; Hayashi, K.; Heavey, A.; Hersak, G.; Hessey, N.; Hockin, G.; Hudson, K.; Ianni, A.; Ienzi, C.; Ippolito, V.; James, C. C.; Jillings, C.; Kendziora, C.; Khan, S.; Kim, E.; King, M.; King, S.; Kittmer, A.; Kochanek, I.; Kowalkowski, J.; Krücken, R.; Kushoro, M.; Kuula, S.; Laclaustra, M.; Leblond, G.; Lee, L.; Lennarz, A.; Leyton, M.; Li, X.; Liimatainen, P.; Lim, C.; Lindner, T.; Lomonaco, T.; Lu, P.; Lubna, R.; Lukhanin, G. A.; Luzón, G.; Macdonald, M.; Magni, G.; Maharaj, R.; Manni, S.; Mapelli, C.; Margetak, P.; Martin, L.; Martin, S.; Martínez, M.; Massacret, N.; Mcclurg, P.; Mcdonald, A. B.; Meazzi, E.; Migalla, R.; Mohayai, T.; Tosatti, L. M.; Monzani, G.; Moretti, C.; Morrison, B.; Mountaniol, M.; Muraro, A.; Napoli, P.; Nati, F.; Natzke, C. R.; Noble, A. J.; Norrick, A.; Olchanski, K.; Ortiz de Solorzano, A.; Padula, F.; Pallavicini, M.; Palumbo, I.; Panontin, E.; Papini, N.; Parmeggiano, L.; Parmeggiano, S.; Patel, K.; Patel, A.; Paterno, M.; Pellegrino, C.; Pelliccione, P.; Pesudo, V.; Pocar, A.; Pope, A.; Pordes, S.; Prelz, F.; Putignano, O.; Raaf, J. L.; Ratti, C.; Razeti, M.; Razeto, A.; Reed, D.; Refsgaard, J.; Reilly, T.; Renshaw, A.; Retriere, F.; Riccobene, E.; Rigamonti, D.; Rizzi, A.; Rode, J.; Romualdez, J.; Russel, L.; Sablone, D.; Sala, S.; Salomoni, D.; Salvo, P.; Sandoval, A.; Sansoucy, E.; Santorelli, R.; Savarese, C.; Scapparone, E.; Schaubel, T.; Scorza, S.; Settimo, M.; Shaw, B.; Shawyer, S.; Sher, A.; Shi, A.; Skensved, P.; Slutsky, A.; Smith, B.; Smith, N. J. T.; Stenzler, A.; Straubel, C.; Stringari, P.; Suchenek, M.; Sur, B.; Tacchino, S.; Takeuchi, L.; Tardocchi, M.; Tartaglia, R.; Thomas, E.; Trask, D.; Tseng, J.; Tseng, L.; Vanpagee, L.; Vedia, V.; Velghe, B.; Viel, S.; Visioli, A.; Viviani, L.; Vonica, D.; Wada, M.; Walter, D.; Wang, H.; Wang, M. H. L. S.; Westerdale, S.; Wood, D.; Yates, D.; Yue, S.; Zambrano, V. | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2020 | Addressing usability in a formal development environment | Arcaini, Paolo; 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 |