Silvano Dal Zilio
19
Documents
Identifiants chercheurs
dalzilio-
0000-0002-6002-2696
- Google Scholar : https://scholar.google.fr/citations?user=pyT3QKYAAAAJ&hl=en
- IdRef : 123897912
Présentation
I was born in France in 1971 and obtained my PhD from INRIA and the University of Nice - Sophia Antipolis in 1999. I hold a Master's Degree in computer science from [École Normale Supérieure de Lyon](http://www.ens-lyon.fr/), where I studied parallel programming and architecture. In 1993, I worked for one year on developing vision and learning algorithms for a *smart retina* for the French ministry of defence, then joined [INRIA Sophia Antipolis](http://www.inria.fr/) for a PhD thesis on using mobile process calculi as a programming model.
In 1999, I joined the [Programming Principles and Tools Group](http://research.microsoft.com/research/ppt/) at Microsoft Research in Cambridge (UK) for two years. In 2001, I became a [CNRS](http://www.cnrs.fr/) researcher, working at the [Laboratoire d'Informatique Fondamentale](http://www.lif.univ-mrs.fr/) (LIF) in Marseille, and a member of the INRIA project [MIMOSA](http://www-sop.inria.fr/mimosa/). Since July 2007, I am a CNRS researcher at LAAS-CNRS in Toulouse.
**Research topics:**verification of concurrent and distributed systems; safety critical embedded systems; [mobile and higher-order process calculi](http://move.to/mobility); global computation ([mobile ambients](http://www.luca.demon.co.uk/Ambit/Ambit.html)); type systems and static analysis; programming languages for semi-structured data.
I was born in France in 1971 and obtained my PhD from INRIA and the University of Nice - Sophia Antipolis in 1999. I hold a Master's Degree in computer science from [École Normale Supérieure de Lyon](http://www.ens-lyon.fr/), where I studied parallel programming and architecture. In 1993, I worked for one year on developing vision and learning algorithms for a *smart retina* for the French ministry of defence, then joined [INRIA Sophia Antipolis](http://www.inria.fr/) for a PhD thesis on using mobile process calculi as a programming model.
In 1999, I joined the [Programming Principles and Tools Group](http://research.microsoft.com/research/ppt/) at Microsoft Research in Cambridge (UK) for two years. In 2001, I became a [CNRS](http://www.cnrs.fr/) researcher, working at the [Laboratoire d'Informatique Fondamentale](http://www.lif.univ-mrs.fr/) (LIF) in Marseille, and a member of the INRIA project [MIMOSA](http://www-sop.inria.fr/mimosa/). Since July 2007, I am a CNRS researcher at LAAS-CNRS in Toulouse.
**Research topics:**verification of concurrent and distributed systems; safety critical embedded systems; [mobile and higher-order process calculi](http://move.to/mobility); global computation ([mobile ambients](http://www.luca.demon.co.uk/Ambit/Ambit.html)); type systems and static analysis; programming languages for semi-structured data.
Publications
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 19
- 7
- 5
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 1
- 1
|
|
From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩
Article dans une revue
hal-04254710v1
|
|
|
Leveraging polyhedral reductions for solving Petri net reachability problemsInternational Journal on Software Tools for Technology Transfer, 2023, 25, pp.95-114. ⟨10.1007/s10009-022-00694-8⟩
Article dans une revue
hal-03973463v1
|
|
|
Counting Petri net markings from reduction equationsInternational Journal on Software Tools for Technology Transfer, 2020, 22, pp.163-181. ⟨10.1007/s10009-019-00519-1⟩
Article dans une revue
hal-02125337v1
|
|
|
A Formal Framework to Specify and Verify Real Time Properties on Critical SystemsInternational Journal of Critical Computer-Based Systems, 2014, 5 (1/2), pp 4-30. ⟨10.1504/IJCCBS.2014.059593⟩
Article dans une revue
hal-00941248v1
|
|
|
Project and Conquer: Fast Quantifier Elimination for Checking Petri Net ReachabilityVerification, Model Checking, and Abstract Interpretation. VMCAI 2024, Jan 2024, London, United Kingdom. pp.101-123, ⟨10.1007/978-3-031-50524-9_5⟩
Communication dans un congrès
hal-04375443v1
|
|
|
Automated Polyhedral Abstraction Proving44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Lisbon, Portugal. pp.324-345, ⟨10.1007/978-3-031-33620-1_18⟩
Communication dans un congrès
hal-04115006v1
|
|
|
Accelerating the Computation of Dead and Concurrent Places using Reductions27th International SPIN Symposium on Model Checking of Software, Jul 2021, Aarhus, Denmark. ⟨10.1007/978-3-030-84629-9_3⟩
Communication dans un congrès
hal-03268388v1
|
|
|
A New Product Construction for the Diagnosability of Patterns in Time Petri Net59th Conference on Decision and Control (CDC) 2020, Dec 2020, Jeju Island (virtual conference), South Korea. ⟨10.1109/CDC42340.2020.9303826⟩
Communication dans un congrès
hal-02989834v1
|
|
|
A State Class Construction for Computing the Intersection of Time Petri Nets Languages17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), Aug 2019, Amsterdam, Netherlands. ⟨10.1007/978-3-030-29662-9_5⟩
Communication dans un congrès
hal-02263832v1
|
Presentation of the 9th Edition of the Model Checking ContestTools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings, Part III, Apr 2019, Prague, Czech Republic. pp.50-68, ⟨10.1007/978-3-030-17502-3_4⟩
Communication dans un congrès
hal-02094047v1
|
|
|
|
Petri Net Reductions for Counting Markings International Symposium on Model Checking Software (SPIN 2018), Jun 2018, Malaga, Spain. ⟨10.1007/978-3-319-94111-0_4⟩
Communication dans un congrès
hal-01822078v1
|
|
|
A Verified Approach for Checking Real-Time Specification PatternsVECoS 2012, 6th International Workshop on Verification and Evaluation of Computer and Communication Systems, Aug 2012, France. pp.11
Communication dans un congrès
hal-00782647v2
|
|
|
Real-Time Specification Patterns and Tools17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, Aug 2012, Paris, France. pp. 1-15, ⟨10.1007/978-3-642-32469-7_1⟩
Communication dans un congrès
hal-00782649v1
|
On the Petri Nets with a Single Shared Place and Beyond2020
Pré-publication, Document de travail
hal-02992541v1
|
|
Checking marking reachability with the state equation in Petri net subclasses2020
Pré-publication, Document de travail
hal-02992521v1
|
|
|
|
Latency Analysis of an Aerial Video Tracking System Using Fiacre and Tina2015
Pré-publication, Document de travail
hal-01202741v1
|
|
|
Real-Time Model Checking Support for AADL[Research Report] LAAS-CNRS. 2015
Rapport
hal-01121605v1
|
|
|
A Real-Time Specification Patterns Language2011
Rapport
hal-00593965v4
|
|
|
Verification of Real-Time Specification Patterns on Time Transition Systems2011
Rapport
hal-00593963v5
|