Accéder directement au contenu

Silvano Dal Zilio

4
Documents
Identifiants chercheurs

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

jean-paul-bodeveix
Image document

Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre

Bernard Berthomieu , Jean-Paul Bodeveix , Silvano Dal Zilio , M Filali , Marc Pantel
IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France
Communication dans un congrès hal-00492327v1
Image document

Formal Verification of AADL models with Fiacre and Tina

Bernard Berthomieu , Jean-Paul Bodeveix , Silvano Dal Zilio , Pierre Dissaux , M Filali
ERTSS 2010 - Embedded Real-Time Software and Systems, 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics, and Information & Communication Technologies; SIA: the French Society of Automobive Engineers, May 2010, Toulouse, France. pp.1-9, ⟨10.5281/zenodo.32930⟩
Communication dans un congrès hal-00494348v1
Image document

Formal Verification of AADL Specifications in the Topcased Environment

Bernard Berthomieu , Jean-Paul Bodeveix , Christelle Chaudet , Silvano Dal Zilio , M Filali
Reliable Software Technologies - Ada Europe 2009, Jun 2009, Brest, France. 15p., ⟨10.1007/978-3-642-01924-1_15⟩
Communication dans un congrès hal-01790208v1