Alessandro Cimatti -

Registered user since Tue 1 Nov 2016

Name:Alessandro Cimatti

Country:Italy

Affiliation:Fondazione Bruno Kessler

Contributions

MODELS 2022	Author of A Comprehensive Framework for the Analysis of Automotive Systems within the Technical Track-track
VMCAI 2021	Author of Proving the existence of fair paths in infinite state systems within the VMCAI-track
ETAPS 2019	Author of The COMPASS 3.0 Toolset within the Posters-track
TACAS 2019	Committee Member in Program Committee within the TACAS 2019-track Author of COMPASS 3.0 within the TACAS 2019-track
ESEC/FSE 2018	Author of Symbolic Execution with Existential Second-Order Constraints within the Research Papers-track
FormaliSE 2018	Committee Member in Program Committee within the FormaliSE 2018-track
SPIN 2017	Committee Member in Program Committee