Silvano Dal-Zilio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
19
Active years
1999–2024
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | VMCAI | Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. | Nicolas Amat, Silvano Dal-Zilio, Didier Le Botlan |
| 2023 | ECRTS | From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). | Sebastian Altmeyer, tienne Andr, Silvano Dal-Zilio, Loc Fejoz, Michael Gonzlez Harbour, Susanne Graf, J. Javier Gutirrez, Rafik Henia, Didier Le Botlan, Giuseppe Lipari, Julio L. Medina, Nicolas Navet, Sophie Quinton, Juan Maria Rivas, Youcheng Sun |
| 2023 | FM | SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. | Nicolas Amat, Silvano Dal-Zilio |
| 2022 | TACAS | Property Directed Reachability for Generalized Petri Nets. | Nicolas Amat, Silvano Dal-Zilio, Thomas Hujsa |
| 2019 | TACAS | 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 Gjl Jensen, Log 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 | ICSE | Formal verification of complex robotic systems on resource-constrained platforms. | Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Pierre-Emmanuel Hladik, Flix Ingrand, Anthony Mallet |
| 2017 | TASE | Formal verification of user-level real-time property patterns. | Ning Ge, Marc Pantel, Silvano Dal-Zilio |
| 2016 | ATVA | Solving Language Equations Using Flanked Automata. | Florent Avellaneda, Silvano Dal-Zilio, Jean-Baptiste Raclet |
| 2016 | ICFEM | Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots. | Mohammed Foughali, Bernard Berthomieu, Silvano Dal-Zilio, Flix Ingrand, Anthony Mallet |
| 2015 | SAC | Symmetry reduced state classes for time petri nets. | Pierre-Alain Bourdil, Bernard Berthomieu, Silvano Dal-Zilio, Franois Vernadat |
| 2012 | ATVA | An Experiment on Parallel Model Checking of a CTL Fragment. | Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu |
| 2012 | FMICS | Real-Time Specification Patterns and Tools. | Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan |
| 2011 | ISPDC | Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space Construction. | Rodrigo T. Saad, Silvano Dal-Zilio, Bernard Berthomieu |
| 2007 | ESOP | A Concurrent Calculus with Atomic Transactions. | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
| 2005 | APLAS | Resource Bound Certification for a Tail-Recursive Virtual Machine. | Silvano Dal-Zilio, Rgis Gascon |
| 2004 | CONCUR | Resource Control for Synchronous Cooperative Threads. | Roberto M. Amadio, Silvano Dal-Zilio |
| 2004 | CSL | A Functional Scenario for Bytecode Verification of Resource Bounds. | Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec |
| 2004 | POPL | A logic you can count on. | Silvano Dal-Zilio, Denis Lugiez, Charles Meyssonnier |
| 2001 | FOSSACS | The Complexity of Model Checking Mobile Ambients. | Witold Charatonik, Silvano Dal-Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot |
| 2000 | MFCS | Region Analysis and a pi-Calculus wiht Groups. | Silvano Dal-Zilio, Andrew D. Gordon |
| 1999 | FCT | An Interpretation of Extensible Objects. | Grard Boudol, Silvano Dal-Zilio |