Silvano Dal-Zilio

According to our database, Silvano Dal-Zilio authored at least 59 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

2023

Leveraging polyhedral reductions for solving Petri net reachability problems.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Int. J. Softw. Tools Technol. Transf., February, 2023

A formal toolchain for offline and run-time verification of robotic systems.

Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet

Robotics Auton. Syst., 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).

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

Dagstuhl Artifacts Ser., 2023

SMPT: A Testbed for Reachability Methods in Generalized Petri Nets.

Nicolas Amat, Silvano Dal-Zilio

Proceedings of the Formal Methods - 25th International Symposium, 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).

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

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

Automated Polyhedral Abstraction Proving.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking.

Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio

Fundam. Informaticae, 2022

Property Directed Reachability for Generalized Petri Nets.

Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on <i>μ</i>-calculus.

Ning Ge, Silvano Dal-Zilio, Hongyu Liu, Li Zhang, Lianyi Zhang

Sci. Comput. Program., 2021

Hippo: A formal-model execution engine to control and verify critical real-time systems.

Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal-Zilio, Reyyan Tekin

J. Syst. Softw., 2021

Accelerating the Computation of Dead and Concurrent Places Using Reductions.

Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan

Proceedings of the Model Checking Software - 27th International Symposium, 2021

On the Combination of Polyhedral Abstraction and SMT-Based Model Checking for Petri Nets.

Nicolas Amat, Bernard Berthomieu, Silvano Dal-Zilio

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

2020

Counting Petri net markings from reduction equations.

Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio

Int. J. Softw. Tools Technol. Transf., 2020

Checking marking reachability with the state equation in Petri net subclasses.

Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan

CoRR, 2020

On the Petri Nets with a Single Shared Place and Beyond.

Thomas Hujsa, Bernard Berthomieu, Silvano Dal-Zilio, Didier Le Botlan

CoRR, 2020

Formal Approach for the Verification of Onboard Autonomous Functions in Observation Satellites.

Vincent Mussot, Silvano Dal-Zilio, Loïc Correnson, Serge Rainjonneau, Yves Bardout, Grégoire Scano

CoRR, 2020

A New Product Construction for the Diagnosability of Patterns in Time Petri Net.

Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

MCC: A Tool for Unfolding Colored Petri Nets in PNML Format.

Silvano Dal-Zilio

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Presentation of the 9th Edition of the Model Checking Contest.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

A State Class Construction for Computing the Intersection of Time Petri Nets Languages.

Éric Lubat, Silvano Dal-Zilio, Didier Le Botlan, Yannick Pencolé, Audine Subias

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

2018

Time-accurate Middleware for the Virtualization of Communication Protocols.

Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal-Zilio, Didier Le Botlan

CoRR, 2018

Petri Net Reductions for Counting Markings.

Bernard Berthomieu, Didier Le Botlan, Silvano Dal-Zilio

Proceedings of the Model Checking Software - 25th International Symposium, 2018

Formal verification of complex robotic systems on resource-constrained platforms.

Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017

Formal verification of user-level real-time property patterns.

Ning Ge, Marc Pantel, Silvano Dal-Zilio

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica.

Alexandre Albore, Silvano Dal-Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier

Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016

Symmetry reduction for time Petri net state classes.

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat

Sci. Comput. Program., 2016

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots.

Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Félix Ingrand, Anthony Mallet

Proceedings of the Formal Methods and Software Engineering, 2016

Solving Language Equations Using Flanked Automata.

Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina.

Silvano Dal-Zilio, Bernard Berthomieu, Didier Le Botlan

CoRR, 2015

Real-Time Model Checking Support for AADL.

Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal-Zilio, Mamoun Filali, Didier Le Botlan, Guillaume Verdier, François Vernadat

CoRR, 2015

On the Complexity of Flanked Finite State Automata.

Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet

CoRR, 2015

Automating the Verification of Realtime Observers Using Probes and the Modal mu-calculus.

Silvano Dal-Zilio, Bernard Berthomieu

Proceedings of the Topics in Theoretical Computer Science, 2015

Symmetry reduced state classes for time petri nets.

Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, François Vernadat

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

2014

A formal framework to specify and verify real-time properties on critical systems.

Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan

Int. J. Crit. Comput. Based Syst., 2014

Time Petri Nets with Dynamic Firing Dates: Semantics and Applications.

Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc, François Vernadat

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre.

Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2013

A Verified Approach for Checking Real-Time Specification Patterns

Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan

CoRR, 2013

2012

Real-Time Specification Patterns and Tools.

Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

Towards timed requirement verification for service choreographies.

Nawal Guermouche, Silvano Dal-Zilio

Proceedings of the 8th International Conference on Collaborative Computing: Networking, 2012

An Experiment on Parallel Model Checking of a CTL Fragment.

Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction.

Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu

Proceedings of the 10th International Symposium on Parallel and Distributed Computing, 2011

2009

Formal Verification of AADL Specifications in the Topcased Environment.

Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat

Proceedings of the Reliable Software Technologies, 2009

2007

A Concurrent Calculus with Atomic Transactions.

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

Proceedings of the Programming Languages and Systems, 2007

2006

Resource control for synchronous cooperative threads.

Roberto M. Amadio, Silvano Dal-Zilio

Theor. Comput. Sci., 2006

A Typed Calculus for Querying Distributed XML Documents.

Lucia Acciai, Michele Boreale, Silvano Dal-Zilio

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

2005

Resource Bound Certification for a Tail-Recursive Virtual Machine.

Silvano Dal-Zilio, Régis Gascon

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

A logic you can count on.

Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

A Functional Scenario for Bytecode Verification of Resource Bounds.

Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

Model checking mobile ambients.

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot

Theor. Comput. Sci., 2003

XML Schema, Tree Logic and Sheaves Automata.

Silvano Dal-Zilio, Denis Lugiez

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

On the Dynamics of PB Systems: A Petri Net View.

Silvano Dal-Zilio, Enrico Formenti

Proceedings of the Membrane Computing, International Workshop, 2003

2002

Region analysis and a pi-calculus with groups.

Silvano Dal-Zilio, Andrew D. Gordon

J. Funct. Program., 2002

2001

The Complexity of Model Checking Mobile Ambients.

Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Mobile Processes: A Commented Bibliography.

Silvano Dal-Zilio

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

Region Analysis and a pi-Calculus wiht Groups.

Silvano Dal-Zilio, Andrew D. Gordon

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

An Interpretation of Typed Concurrent Objects in the Blue Calculus.

Silvano Dal-Zilio

Proceedings of the Theoretical Computer Science, 2000

Spatial Congruence for Ambients Is Decidable.

Silvano Dal-Zilio

Proceedings of the Advances in Computing Science, 2000

1999

An Interpretation of Extensible Objects.

Gérard Boudol, Silvano Dal-Zilio

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999