Silvia BONFANTI

Ricercatore universitario a tempo determinato

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione

Settore Scientifico Disciplinare: SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI (ING-INF/05)

Vai al sito personale

Contatti

Telefono: +39 0352052374

E-mail:

silvia.bonfanti@unibg.it

Sede di lavoro:

DALMINE-VIALE MARCONI (Edificio B)

Stanza 3.01

Insegnamenti

Anno accademico: 2021/2022

MOBILE APP LAB
Anno di corso: 2 - CFU 3 crediti - Corso di laurea: ENGINEERING AND MANAGEMENT FOR HEALTH

Anno accademico: 2020/2021

MOBILE APP LAB
Anno di corso: 2 - CFU 3 crediti - Corso di laurea: ENGINEERING AND MANAGEMENT FOR HEALTH

Pubblicazioni

Bonfanti Silvia, Riccobene Elvinia, Scandurra Patrizia; (2023) A component framework for the runtime enforcement of safety properties, THE JOURNAL OF SYSTEMS AND SOFTWARE, pp. 1 - 46, https://doi.org/10.1016/j.jss.2022.111605, Dettaglio
Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele, Lei Yu, Duan Feng; (2023) RATE: A model-based testing approach that combines model refinement and test execution, SOFTWARE TESTING VERIFICATION & RELIABILITY, pp. 1 - 34, https://doi.org/10.1002/stvr.1835, Dettaglio
Bombarda Andrea, Bonfanti Silvia, Galbiati Cristiano, Gargantini Angelo Michele, Pelliccione Patrizio, Riccobene Elvinia, Wada Masayuki; (2022) Guidelines for the development of a critical software under emergency, INFORMATION AND SOFTWARE TECHNOLOGY, pp. 107061 - 107080, https://doi.org/10.1016/j.infsof.2022.107061, Dettaglio
Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele; (2022) Automatic test generation with ASMETA for the Mechanical Ventilator Milano controller, Testing Software and Systems. ICTSS 2021, pp. 65 - 72, https://doi.org/10.1007/978-3-031-04673-5_5, Dettaglio
Arcaini Paolo, Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele, Gamba Daniele, Pedercini Rita; (2022) Robustness assessment and improvement of a neural network for blood oxygen pressure estimation, 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), pp. 312 - 322, https://doi.org/10.1109/ICST53961.2022.00040, Dettaglio
Bonfanti Silvia, Gargantini Angelo Michele, Riccobene Elvinia, Scandurra Patrizia; (2022) Compositional Simulation of Abstract State Machines for Safety Critical Systems, Formal Aspects of Component Software. 18th International Conference, FACS 2022. Virtual Event, November 10–11, 2022. Proceedings, pp. 3 - 19, https://doi.org/10.1007/978-3-031-20872-0_1, Dettaglio
Bombarda Andrea, Bonfanti Silvia, De Sanctis Martina, Gargantini Angelo Michele, Pelliccione Patrizio, Riccobene Elvinia, Scandurra Patrizia; (2022) Towards an Evaluation Framework for Autonomous Systems, 2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), pp. 43 - 48, https://doi.org/10.1109/ACSOSC56246.2022.00025, Dettaglio
Bonfanti Silvia, Gargantini Angelo Michele; (2022) Evaluation of Algorithms to Measure a Psychophysical Threshold Using Digital Applications, Biomedical Engineering Systems and Technologies: 14th International Joint Conference, BIOSTEC 2021, Virtual Event, February 11–13, 2021, Revised Selected Papers, pp. 139 - 157, https://doi.org/10.1007/978-3-031-20664-1_8, Dettaglio
Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele, Riccobene Elvinia; (2021) Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA, Proceedings First Workshop on Applicable Formal MethodsELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, pp. 13 - 29, https://doi.org/10.4204/EPTCS.349.2, Dettaglio
Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele, Riccobene Elvinia; (2021) Extending ASMETA with Time Features, Rigorous State-Based Methods, pp. 105 - 111, https://doi.org/10.1007/978-3-030-77543-8_8, Dettaglio
Bonfanti Silvia, Riccobene Elvinia, Scandurra Patrizia; (2021) A Runtime Safety Enforcement Approach by Monitoring and Adaptation, Software Architecture, 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings, pp. 20 - 36, https://doi.org/10.1007/978-3-030-86044-8_2, Dettaglio
Bonfanti Silvia, Gargantini Angelo Michele, Esposito Gabriele, Facchin Alessio, Maffioletti Marta, Maffioletti Silvio; (2021) Evaluation of stereoacuity with a digital mobile application, GRAEFE'S ARCHIVE FOR CLINICAL AND EXPERIMENTAL OPHTHALMOLOGY, pp. 2843 - 2848, https://doi.org/10.1007/s00417-021-05195-z, Dettaglio
Bonfanti Silvia, Bombarda Andrea, Gargantini Angelo Michele, Riccobene Elvinia, Pelliccione Patrizio; (2021) Il successo di MVM, un progetto social e internazionale per realizzare un ventilatore polmonare, IL GIORNALE DELL'INGEGNERE, pp. 13 - 13, , Dettaglio
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.; (2021) The novel Mechanical Ventilator Milano for the COVID-19 pandemic, PHYSICS OF FLUIDS, pp. 1 - 11, https://doi.org/10.1063/5.0044445, Dettaglio
Arcaini Paolo, Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele; (2021) ROBY: A Tool for Robustness Analysis of Neural Network Classifiers, International Conference on Software Testing, Verification, and Validation, ICST, pp. 442 - 447, https://doi.org/10.1109/ICST49551.2021.00057, Dettaglio

Menu top

Anno accademico: 2021/2022

Anno accademico: 2020/2021

Orario ricevimento

Form di ricerca

Form di ricerca

Silvia BONFANTI

Anno accademico: 2021/2022

Anno accademico: 2020/2021

Orario ricevimento