Silvano Dal Zilio
6
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
- 1
- 1
- 1
- 1
- 6
- 6
- 2
|
|
An Experiment on Parallel Model Checking of a CTL Fragment10th International Symposium, ATVA 2012, Automated Technology for Verification and Analysis, Oct 2012, Thiruvananthapuram, India. pp.284-299, ⟨10.1007/978-3-642-33386-6_23⟩
Communication dans un congrès
hal-00782354v1
|
|
|
Mixed Shared-Distributed Hash Tables Approaches for Parallel State Space ConstructionInternational Symposium on Parallel and Distributed Computing (ISPDC 2011), Jul 2011, Cluj-Napoca, Romania. 8p
Communication dans un congrès
hal-00523188v3
|
|
|
A General Lock-Free Algorithm for Parallel State Space Construction2010 Ninth International Workshop onParallel and Distributed Methods in Verification (PDMC 2010), Second International Workshop on High Performance Computational Systems Biology (HIBI 2010), Sep 2010, Twente, Netherlands. p.8-16, ⟨10.1109/PDMC-HiBi.2010.10⟩
Communication dans un congrès
hal-00473072v2
|
Enumerative Parallel and Distributed State Space ConstructionETR09 - École d'été Temps Réel, Aug 2009, Paris, France
Communication dans un congrès
hal-00494622v1
|
|
|
|
Observation Graph implementation for TINA toolbox12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 4 p
Communication dans un congrès
hal-00380671v1
|