Andrea BOMBARDA

Assegnista di ricerca

Dipartimento di Ingegneria Gestionale, dell'Informazione e della Produzione

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

Contatti

E-mail:

andrea.bombarda@unibg.it

Sede di lavoro:

DALMINE-VIALE MARCONI

Insegnamenti

Anno accademico: 2022/2023

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

Pubblicazioni

Bombarda Andrea; (2023) Software Quality Assurance per Sistemi Medici, , , , 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, Gargantini Angelo Michele; (2022) Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 74 - 81, https://doi.org/10.1109/ICSTW55395.2022.00027, 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
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
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, 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
Arcaini Paolo, Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele; (2021) Efficient Computation of Robustness of Convolutional Neural Networks, IEEE International Conference on Artificial Intelligence Testing (AITest), pp. 21 - 28, https://doi.org/10.1109/AITEST52744.2021.00015, Dettaglio
Arcaini Paolo, Bombarda Andrea, Bonfanti Silvia, Gargantini Angelo Michele, Riccobene Elvinia, Scandurra Patrizia; (2021) The ASMETA Approach to Safety Assurance of Software Systems, Logic, Computation and Rigorous Methods. Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, pp. 215 - 238, https://doi.org/10.1007/978-3-030-76020-5_13, Dettaglio
Bombarda Andrea, Bonfanti Silvia, Galbiati Cristiano, Gargantini Angelo Michele, Pelliccione Patrizio, Riccobene Elvinia, Wada Masayuki; (2021) Lessons Learned from the Development of a Mechanical Ventilator for COVID-19, Proceedings: 2021 IEEE 32nd International Symposium on Software Reliability Engineering. ISSRE 2021, pp. 24 - 35, https://doi.org/10.1109/ISSRE52982.2021.00016, Dettaglio

Form di ricerca

Form di ricerca

Anno accademico: 2022/2023