Silvano Dal-Zilio

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 39

Top Topics

Quantifier Elimination

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. CoRR (2024)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. VMCAI (1) (2024)
Nicolas Amat, Silvano Dal-Zilio
SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. FM (2023)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). ECRTS (2023)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Leveraging polyhedral reductions for solving Petri net reachability problems. CoRR (2023)
Nicolas Amat, Silvano Dal-Zilio
SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. CoRR (2023)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Automated Polyhedral Abstraction Proving. CoRR (2023)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Automated Polyhedral Abstraction Proving. Petri Nets (2023)
Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
A formal toolchain for offline and run-time verification of robotic systems. Robotics Auton. Syst. 159 (2023)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Leveraging polyhedral reductions for solving Petri net reachability problems. Int. J. Softw. Tools Technol. Transf. 25 (1) (2023)
Sebastian Altmeyer, Étienne André, Silvano Dal-Zilio, Loïc Fejoz, Michael González Harbour, Susanne Graf, J. Javier Gutiérrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Ser. 9 (1) (2023)
Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa
Property Directed Reachability for Generalized Petri Nets. CoRR (2022)
Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa
Property Directed Reachability for Generalized Petri Nets. TACAS (1) (2022)
Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking. Fundam. Informaticae 187 (2-4) (2022)
Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio
On the Combination of Polyhedral Abstraction and SMT-based Model Checking for Petri nets. CoRR (2021)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Accelerating the Computation of Dead and Concurrent Places Using Reductions. SPIN (2021)
Ning Ge, Silvano Dal-Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang
-calculus. Sci. Comput. Program. 206 (2021)
Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan
Accelerating the Computation of Dead and Concurrent Places using Reductions. CoRR (2021)
Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio
On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets. Petri Nets (2021)
Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal-Zilio, Reyyan Tekin
Hippo: A formal-model execution engine to control and verify critical real-time systems. J. Syst. Softw. 181 (2021)
Silvano Dal-Zilio
MCC: A Tool for Unfolding Colored Petri Nets in PNML Format. Petri Nets (2020)
Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
On the Petri Nets with a Single Shared Place and Beyond. CoRR (2020)
Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan
Checking marking reachability with the state equation in Petri net subclasses. CoRR (2020)
Vincent Mussot, Silvano Dal-Zilio, Loïc Correnson, Serge Rainjonneau, Yves Bardout, Grégoire Scano
Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites. CoRR (2020)
Silvano Dal-Zilio
MCC: a Tool for Unfolding Colored Petri Nets in PNML Format. CoRR (2020)
Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
Counting Petri net markings from reduction equations. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
A New Product Construction for the Diagnosability of Patterns in Time Petri Net. CDC (2020)
Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Yannick Pencolé, Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Audine Subias
A State Class Construction for Computing the Intersection of Time Petri Nets Languages. CoRR (2019)
Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias
A State Class Construction for Computing the Intersection of Time Petri Nets Languages. FORMATS (2019)
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
Formal verification of complex robotic systems on resource-constrained platforms. FormaliSE@ICSE (2018)
Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
Petri Net Reductions for Counting Markings. SPIN (2018)
Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal-Zilio, Didier Le Botlan
Time-accurate Middleware for the Virtualization of Communication Protocols. CoRR (2018)
Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio
Petri Net Reductions for Counting Markings. CoRR (2018)
Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier
A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. IMBSA (2017)
Ning Ge, Marc Pantel, Silvano Dal-Zilio
Formal verification of user-level real-time property patterns. TASE (2017)
Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. ICFEM (2016)
Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet
Solving Language Equations Using Flanked Automata. ATVA (2016)
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat
Symmetry reduction for time Petri net state classes. Sci. Comput. Program. 132 (2016)
Silvano Dal-Zilio, Bernard Berthomieu
Automating the Verification of Realtime Observers using Probes and the Modal mu-calculus. CoRR (2015)
Silvano Dal-Zilio, Bernard Berthomieu, Didier Le Botlan
Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina. CoRR (2015)
Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat
Real-Time Model Checking Support for AADL. CoRR (2015)
Silvano Dal-Zilio, Bernard Berthomieu
Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus. TTCS (2015)
Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet
On the Complexity of Flanked Finite State Automata. CoRR (2015)
Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat
Symmetry reduced state classes for time petri nets. SAC (2015)
Silvano Dal-Zilio, Lukasz Fronc, Bernard Berthomieu, François Vernadat
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. CoRR (2014)
Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc, François Vernadat
Time Petri Nets with Dynamic Firing Dates: Semantics and Applications. FORMATS (2014)
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
A formal framework to specify and verify real-time properties on critical systems. Int. J. Crit. Comput. Based Syst. 5 (1/2) (2014)
Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc
Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre. ABZ (Case Study) (2014)
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
A Verified Approach for Checking Real-Time Specification Patterns CoRR (2013)
Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
An Experiment on Parallel Model Checking of a CTL Fragment CoRR (2013)
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
Real-Time Specification Patterns and Tools CoRR (2013)
Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
An Experiment on Parallel Model Checking of a CTL Fragment. ATVA (2012)
Nawal Guermouche, Silvano Dal-Zilio
Towards timed requirement verification for service choreographies. CollaborateCom (2012)
Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan
Real-Time Specification Patterns and Tools. FMICS (2012)
Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction. ISPDC (2011)
Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat
Formal Verification of AADL Specifications in the Topcased Environment. Ada-Europe (2009)
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
A Concurrent Calculus with Atomic Transactions. ESOP (2007)
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
A Typed Calculus for Querying Distributed XML Documents. TGC (2006)
Roberto M. Amadio, Silvano Dal-Zilio
Resource control for synchronous cooperative threads. Theor. Comput. Sci. 358 (2-3) (2006)
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio
A Concurrent Calculus with Atomic Transactions CoRR (2006)
Silvano Dal-Zilio, Régis Gascon
Resource Bound Certification for a Tail-Recursive Virtual Machine. APLAS (2005)
Roberto M. Amadio, Silvano Dal-Zilio
Resource Control for Synchronous Cooperative Threads CoRR (2005)
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec
A Functional Scenario for Bytecode Verification of Resource Bounds. CSL (2004)
Roberto M. Amadio, Silvano Dal-Zilio
Resource Control for Synchronous Cooperative Threads. CONCUR (2004)
Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier
A logic you can count on. POPL (2004)
Silvano Dal-Zilio, Enrico Formenti
On the Dynamics of PB Systems: A Petri Net View. Workshop on Membrane Computing (2003)
Silvano Dal-Zilio, Denis Lugiez
XML Schema, Tree Logic and Sheaves Automata. RTA (2003)
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
Model checking mobile ambients. Theor. Comput. Sci. 308 (1-3) (2003)
Silvano Dal-Zilio, Andrew D. Gordon
Region analysis and a pi-calculus with groups. J. Funct. Program. 12 (3) (2002)
Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
The Complexity of Model Checking Mobile Ambients. FoSSaCS (2001)
Silvano Dal-Zilio, Andrew D. Gordon
Region Analysis and a pi-Calculus wiht Groups. MFCS (2000)
Silvano Dal-Zilio
Mobile Processes: A Commented Bibliography. MOVEP (2000)
Silvano Dal-Zilio
Spatial Congruence for Ambients Is Decidable. ASIAN (2000)
Silvano Dal-Zilio
An Interpretation of Typed Concurrent Objects in the Blue Calculus. IFIP TCS (2000)
Gérard Boudol, Silvano Dal-Zilio
An Interpretation of Extensible Objects. FCT (1999)