My photo

Biography

Since February 2019 I have been a researcher with University of Bergamo (Italy) and since October 2019 I am a PhD student in Software Engineering within the PhD school of Engineering and Applied Sciences at University of Bergamo (Italy), in the Computer Science Group, under the supervision of Prof. Angelo Gargantini.

My ongoing research activity involves methods suitable to guarantee a better quality for medical software, systems, devices and protocols, mainly by means of software testing and formal methods.
You can find a better explaination of my research project here.

You can view my current updated CV here.

Teaching

I have served as a teaching assistant for the following courses at University of Bergamo:

  • 21029: Industrial Automation (Fall 2018)
  • 38068-2: Informatica III (Software Design and Algorithms) (Fall 2019, Fall 2020)
  • 38068-1: Informatica III (Programming) (Fall 2019)
  • 21013: Informatica II (Object Oriented Programming) (Spring 2020, Spring 2021)
  • 21013: Informatica II (Operating Systems) (Spring 2020, Spring 2021)
  • 21056: Software Testing and Verification (Spring 2020, Spring 2021)
  • 39170-ENG: Data Science and Automation (Spring 2020)

I have also been a teacher of:

  • The course "Industrial Automation" during the summer school CI-LAM at University of Naples (Summer 2019)
  • The courses "Software Architecture" and "Internet of Things" at Jobs Academy (Fall 2019)

Publications

  • Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

    Show Abstract

    Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
    TOOLS 2019
  • Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines

    Show Abstract

    Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei
    ICTSS 2019
  • Dealing with Robustness of Convolutional Neural Networks for Image Classification

    Show Abstract

    Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
    AI Test 2020
  • An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines

    Show Abstract

    Andrea Bombarda, Angelo Gargantini
    IWCT 2020
  • ROBY: a Tool for Robustness Analysis of Neural Network Classifiers

    Show Abstract

    Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
    ICST 2021 - Testing Tools track
  • An environment for benchmarking combinatorial test suite generators

    Show Abstract

    Andrea Bombarda, Edoardo Crippa, Angelo Gargantini
    IWCT 2021
  • The novel Mechanical Ventilator Milano for the COVID-19 pandemic

    Show Abstract

    Andrea Abba, Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Arthur B. McDonald, et. al.
    Physics of Fluids 33, 037122 (2021)
  • Extending ASMETA with time features

    Show Abstract

    Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
    ABZ 2021
  • The ASMETA Approach to Safety Assurance of Software Systems

    Show Abstract

    Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
    Logic, Computation and Rigorous Methods (2021)
  • Efficient Computation of Robustness of Convolutional Neural Networks

    Show Abstract

    Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini
    Ai Test 2021
  • Lessons Learned from the Development of a Mechanical Ventilator for COVID-19

    Show Abstract

    Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada
    ISSRE 2021

CONTACT ME

Università  degli Studi di Bergamo, Viale Marconi 5, 24044 Dalmine, Italy

andreabombarda
andrea.bombarda@unibg.it