Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alessandro Cimatti
conf.researchr.org general profile
* ICSE 2018 * profile
ESEC/FSE 2018 profile
ETAPS 2019 profile
ISSTA 2017 profile
MODELS 2022 profile
POPL 2021 profile
POPL 2024 profile
Registered user since Tue 1 Nov 2016
Name:
Alessandro Cimatti
Country:
Italy
Affiliation:
Fondazione Bruno Kessler
Contributions
2024
Dafny
Author of Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking within the Dafny 2024-track
2022
MODELS
Author of A Comprehensive Framework for the Analysis of Automotive Systems within the Technical Track-track
2021
VMCAI
Author of Proving the existence of fair paths in infinite state systems within the VMCAI-track
2019
ETAPS
Author of The COMPASS 3.0 Toolset within the Posters-track
TACAS
Committee Member in Program Committee within the TACAS 2019-track
Author of COMPASS 3.0 within the TACAS 2019-track
2018
ESEC/FSE
Author of Symbolic Execution with Existential Second-Order Constraints within the Research Papers-track
FormaliSE
Committee Member in Program Committee within the FormaliSE 2018-track
2017
SPIN
Committee Member in Program Committee
Share
x
Sun 10 Dec 22:09
