Silvano Dal-Zilio

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