Research

Publication list

(some papers missing)

Searchable

(note: I automatically generate the publication lists and abstracts form my bibtex using xsl templates, some errors may pass unnoticed)

My data on external sites

My best paper

The paper I and Connie published at ESEC/FSE in 1999 pioneered the use of the model checker for tests generation and has more than 370 citations: A. Gargantini and C. HeitmeyerUsing Model Checking to Generate Tests from Requirements Specifications in ESEC/FSE’99 abstract ** download

Services/Program Committees

PASSAC atterns of Argumentation for Safety-Security Assurance Cases
[in PC, 2023]
IEEE Computer SI IEEE Computer - Special Issue on (Artificial) Intelligent Autonomous Systems
[Editor, 2020]
CIBCB IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology
[in PC, 2022]
ABZ ABZ Conference ASM, Alloy, B, TLA, VDM, Z
[Case Study Chairs, 2023][in PC, 2023][in PC, 2018][in PC, 2020]
AITest IEEE International Conference on Artificial Intelligence Testing
[in PC, 2021]
AMARETTO domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
[in PC, 2017][in PC, 2016]
AMOST Workshop on Advances in Model Based Testing (co-located with the International Conference on Software Testing, Verification and Validation ICST)
[in PC, 2024][in PC, 2009][in PC, 2010][in PC, 2011][in PC, 2013][Program Chair, 2019][Program Chair, 2020][in PC, 2021][in PC, 2022]
CEC IEEE Congress on Evolutionary Computation
[in PC, 2019]
DMSVLSS International Conference on Distributed Multimedia Systems, Visual Languages and Sentient Systems
[in PC, 2017]
DMSVIVA DMS Conference on Visualization and Visual Languages
[in PC, 2018][in PC, 2019][in PC, 2020][in PC, 2021]
cec-ecst Evolutionary Computation for Software Testing
[in PC, 2020][in PC, 2021]
WHELP Well-being for fragile people
[in PC, 2018][in PC, 2019]
IWCT International Workshop on Combinatorial Testing
[PC Chair, 2023][PC Chair, 2022][in PC, 2021][in PC, 2020][in PC, 2019][in PC, 2018][in PC, 2017][CoChair, 2016][Chair, 2015][in PC, 2014]
IWCFS International Workshop on Cybersecurity and Functional Safety in Cyber-Physical Systems
[in PC, 2023][in PC, 2018]
SAC ACM Symposium On Applied Computing
[in PC, 2024][in PC, 2023][in PC, 2017][in PC, 2018][in PC, 2021][in PC, 2022][in PC, 2023]
SPLC SOFTWARE PRODUCT LINE CONFERENCE
[Challenge and SOlution Track Chair, 2023]
TAP International Conference on Tests and Proofs
[in PC, 2018][in PC, 2017][in PC, 2015][in PC, 2014][in PC, ][PC chair, 2010][in PC, 2011][in PC, 2012][in PC, 2013][in PC, 2014]
MEMOCODE International Conference on Formal Methods and Models for System Design
[in PC, 2018][in PC, 2016][in PC, 2015]
IFIP-ICTSS International Conference on Testing Software and Systems
[PC chair, 2023][in PC, 2013][in PC, 2014][in PC, 2016][in PC, 2018][in PC, 2019][in PC, 2020]
ICITCS International Conference on IT Convergence and Security
[in PC, 2016]
DMS International Conference on Distributed Multimedia Systems
[in PC, 2016][in PC, 2015][in PC, 2014]
ESECFSE
[local and student volunteers chair, 2015]
VST
[in PC, 2023][in PC, 2021]
RASTesting
[in PC, 2015]
ISPS2015
[in PC, 2015]
MEDI International Conference on Model and Data Engineering
[in PC, 2019]
OBBG14 Occhio Bionico 2014 Bergamo - Low vision meets high bio-tech - 16 Maggio 2014
[organizzatore, 2014]
QUATIC International Conference on the Quality of Information and Communications Technology
[in PC ICT Verification and Validation track, 2014]
TBFM Workshop on Tool Building in Formal Methods
[co-chair, 2014][in PC, 2011]
HEALTHINF International Conference on Health Informatics
[in PC, 2013][in PC, 2014][in PC, 2019]
VaMoS Variability Modelling of Software-Intensive Systems
[in PC, 2022]
VCS Validation of Safety critical Collaboration systems in IEEE WETICE International Conference
[in PC, 2023][in PC, 2021][in PC, 2018][in PC, 2017][in PC, 2014][in PC, 2013][in PC, 2019][in PC, 2020]
TOOLS International Conference on Objects, Models, Components, Patterns
[in PC, 2010][I introduced Nachi Nagappan, 2010][in PC, 2011][in PC, 2012][in PC, 2019]
ICST IEEE International Conference on Software Testing, Verification and Validation
[in PC for posters, 2024][in PC for Tool Demonstrations e testing tool track, 2023][in PC, 2010][in PC, 2011][in PC, 2012][as mentor, 2013]
MODELSWARD International Conference on Model-Driven Engineering and Software Development
[in PC, 2013][in PC, 2014]
ICSEA International Conference on Software Engineering Advances
[in PC and in the panel, 2008][in PC, 2009][in PC, 2010][in PC, 2011]
Eclipse It Italian Workshop on Eclipse Technologies
[in PC, 2008][chair, 2009][in PC, 2010][in PC, 2011][co chair, 2012][in PC, 2013)]
IFM/ABZ Joint conference of iFM and ABZ
[workshop chair, Pisa, 2012]
TAROT SUMMER SCHOOL ON Training And Research On Testing
[Co-Organizer, 2024][teacher, 2022][teacher, 2010]
IWOCE Workshop on Open Component Ecosystems (IWOCE)
[in PC, 2009]
LINUX DAY
[presenter, 2009]
Abstract State Machines (ASM)
[in PC, Paris, 2005]

Research interests

Software Engineering, Formal methods, in particular specification, validation, and verification of time- and safety-critical systems.

Automatic tests generation: use of model checking tools to generate test from models
Combinatiorial testing in the presence of constraints
Abstract State Machines
Validation and Automatic animation of models
Semantics of DSLs by means of ASMs
Validation of ESs by SystemC+ASM