Silvano DAL ZILIO -

Registered user since Mon 14 Jun 2021

Name:Silvano DAL ZILIO

Country:France

Affiliation:LAAS-CNRS

Personal website: https://homepages.laas.fr/dalzilio/

GitHub: https://github.com/dalzilio

Contributions

2024

VMCAI

Author of Project and Conquer: Fast Quantifier Elimination for Checking Petri Nets Reachability within the VMCAI 2024-track

2021

SPIN

Author of Accelerating the Computation of Dead and Concurrent Places using Reductions within the SPIN-track