Silvano Dal Zilio

Centre National de la Recherche Scientifique — France

Computer Science · Physical Sciences

17h-index866citations118works1.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(68), Petri Nets in System Modeling(41), Model-Driven Software Engineering Techniques(28), Business Process Modeling and Analysis(25), Logic, programming, and type systems(19)

Publications117 total

Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023
Lecture notes in computer science·2024· 1 citedOpen Access
On the Complexity of Proving Polyhedral Reductions
Fundamenta Informaticae·2024· 1 citedOpen Access
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability
Lecture notes in computer science·2023· 3 citedOpen Access
Polyhedral Reductions for Petri nets
HAL (Le Centre pour la Communication Scientifique Directe)·2023Open Access
SMPT: A Testbed for Reachability Methods in Generalized Petri Nets
Lecture notes in computer science·2023· 5 citedOpen Access
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)
HAL (Le Centre pour la Communication Scientifique Directe)·2023Open Access
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)
Research Explorer (The University of Manchester)·2023Open Access
Automated Polyhedral Abstraction Proving
Lecture notes in computer science·2023· 3 citedOpen Access
Leveraging polyhedral reductions for solving Petri net reachability problems
International Journal on Software Tools for Technology Transfer·2022· 5 citedOpen Access
A formal toolchain for offline and run-time verification of robotic systems
Robotics and Autonomous Systems·2022· 13 citedOpen Access
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
Fundamenta Informaticae·2022Open Access
A formal toolchain for offline and run-time verification of robotics systems
HAL (Le Centre pour la Communication Scientifique Directe)·2022Open Access
Property Directed Reachability for Generalized Petri Nets
Lecture notes in computer science·2022· 4 citedOpen Access
Hippo: A formal-model execution engine to control and verify critical real-time systems
Journal of Systems and Software·2021· 5 citedOpen Access
Accelerating the Computation of Dead and Concurrent Places using Reductions
arXiv (Cornell University)·2021Open Access
Accelerating the Computation of Dead and Concurrent Places using\n Reductions
arXiv (Cornell University)·2021Open Access
A Polyhedral Abstraction for Petri nets and its Application to SMT-Based\n Model Checking
arXiv (Cornell University)·2021· 10 citedOpen Access
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus
Science of Computer Programming·2021· 4 cited
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets
Lecture notes in computer science·2021Open Access
Accelerating the Computation of Dead and Concurrent Places Using Reductions
Lecture notes in computer science·2021· 5 citedOpen Access
page 1 of 6Next →

Frequent Co-authors

Bernard Berthomieu(14), Didier Le Botlan(10), Félix Ingrand(5), Nouha Abid(5), Nicolas Amat(5), François Vernadat(4), Pierre-Emmanuel Hladik(4), Denis Lugiez(3), Andrew D. Gordon(3), Mohammed Foughali(3), Anthony Mallet(3), Rodrigo T. Saad(3), Jean-Paul Bodeveix(2), Mamoun Filali(2), Roberto M. Amadio(2), Witold Charatonik(2), Supratik Mukhopadhyay(2), Jean-Marc Talbot(2), Pierre-Alain Bourdil(2), Lucia Acciai(2)