Professore Ordinario - Università di Bergamo - Full Professor - University of Bergamo
My research
I work in the area of software engineering. My research topics include: formal methods, astract state machines, formal verification and model checking, model-based testing, and combinatorial testing. Our lab.
Didattica
Insegno diversi corsi di informatica per gli studenti dell’Università di Bergamo. Principalmente nell’area della programmazione e progettazione del software.
3D4 Amb
Recently I have worked on the use of computers for the diagnosis and cure of vision problems. If you want to know more see here,
SE4MED
Using Software Engineering for medical software.
Ricevimento: Guarda il mio calendario seguendo il link qui sotto. Il ricevimento è indicato con RIC. Tutti i miei impegni ufficiali (incluse le lezioni) li pubblico lì.
My calendar - Ecco il mio calendario - impegni ufficiali
Vuoi aprire un account con Dropbox dove salvare in modo sicuro tuoi file, averli a disposizione ovunque vai? Hai di base 2GB e 250MB se clicchi qui. Se usi l’indirizzo email dell’Università, hai 500Mb in più per ogni amico che inviti (guarda qui).
I am a cloudy researcher: I do not need a hard drive any more: I keep my documents on Dropbox, google drive, OneDrive, spideroak, my code on assembla, sourceforge, github, literature papers on zotero and cloudme, my bookmarks on xmarks, my mail on several imap servers …
Upcoming (and past) events
special issue on Smart Autonomous Systems
I’m one of the guest editor of the special issue of IEEE computer on Smart Autonomous Systems. For the CFP see IEEE site
2021
- AITest2021 (in PC) The Third IEEE International Conference on Artificial Intelligence Testing, 23rd-26th August 2021 Virtual Conference Organized by Oxford University, UK, ** submission by Mar 1, 2021**
- AMOST2021 (in PC) 17th Workshop on Advances in Model Based Testing (A-MOST 2021), co-located with the 14th IEEE International Conference on Software Testing, Verification and Validation (ICST 2021)
- DMSVIVA2021 (in PC) The 27th International DMS Conference on Visualization and Visual Languages, DMSVIVA2021, Hotel Pullman, Redwood City, San Francisco Bay, USA, June 29 - 30, 2021
- cec-ecst2021 (in PC) Evolutionary Computation in Software Testing 2021, A Special Session of the IEEE Congress on Evolutionary Computation (IEEE CEC)- Kraków, Poland. June 28 - July 1 2021
- IWCT2021 (in PC) 10th International Workshop on Combinatorial Testing
- SAC2021 (in PC) SAC-SVT 2021: Software Verification and Testing Track at SAC 2021
- VST2021 (in PC) 4th Workshop on Validation, Analysis and Evolution of Software Tests - March 9, 2021 co-located with SANER 2021, Virtual
- VCS2021 (in PC) 9th Track on Validation of Safety critical Collaboration systems VSC in 30th IEEE International Conference WETICE-2021 June 23-25, Basque Coast Bayonne, France ** submission 28th Febraury 2021**
2020
- IEEE Computer SI2020 (Editor) IEEE Computer - Special Issue on (Artificial) Intelligent Autonomous Systems
- ABZ2020 (in PC) ABZ 2020 - 7th International Conference on Rigorous State Based Methods, 27. - 29.05.20, Ulm, Germany
- AMOST2020 (Program Chair) 16th Workshop on Advances in Model Based Testing (A-MOST) 2020, Mon 23 Mar 2020 Porto, Portugal,co-located with ICST 2020
- DMSVIVA2020 (in PC) The 26th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2020, Wyndham Pittsburgh University Center, Pittsburgh, USA, July 7 - 8, 2020
- cec-ecst2020 (in PC) Evolutionary Computation for Software Testing 2020, A Special Session of the IEEE Congress on Evolutionary Computation (IEEE CEC), Glasgow, United Kingdom. July 19-24 2020
- IWCT2020 (in PC) 9th International Workshop on Combinatorial Testing, March 23, 2020 (co-located with ICST), Porto, Portugal
- IFIP-ICTSS2020 (in PC) The 32nd IFIP International Conference on Testing Software and Systems
- VCS2020 (in PC)