• Sign in
  • Sign up
conf.researchr.org / Alessandro Cimatti
  • * ICSE 2018 * profile
  • ESEC/FSE 2018 profile
  • ETAPS 2019 profile
  • ISSTA 2017 profile
  • MODELS 2022 profile
  • POPL 2021 profile
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

Share
xTue 28 Mar 13:08
using conf.researchr.org (v1.60.0)
Support page
Sign Up