BONFANTI, Silvia Statistiche

BONFANTI, Silvia  

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione  

Mostra schede
Risultati 1 - 20 di 45 (tempo di esecuzione: 0.022 secondi).
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