About me

I am a senior researcher at LAAS-CNRS, in Toulouse. My research interests include the formal verification of concurrent and distributed systems; methods and tools for checking the safety of critical embedded systems; concurrency semantics, and in particular mobile and higher-order process calculi; as well as type systems and static analysis.

I lead the Verification of Time Critical Systems (VERTICS) group, which develops new verification methods and tools for checking properties of critical systems having strong temporal and timing requirements.

Interests

  • Formal Methods
  • Model-Checking
  • Safety Critical Embedded Systems
  • Process Calculi

Recent Publications

More publications »

My publications tracked by DBLP

Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet (2018). Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms. In Proc. of FormaliSE.

PDF DOI

Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio (2018). Petri Net Reductions for Counting Markings. In Proc. of SPIN 2018.

PDF DOI

Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal Zilio, Didier Le Botlan (2018). Time-accurate Middleware for the Virtualization of Communication Protocols. Research Report LAAS.

PDF Project

Alexandre Albore, Silvano Dal Zilio, Marie De Roquemaurel, Christel Seguin, Pierre Virelizier (2018). Timed Formal Model and Verification of Satellite FDIR in Early Design Phase. In Proc. of ERTS 2018.

PDF Project

Alexandre Albore, Silvano Dal Zilio, Guillaume Infantes, Christel Seguin, Pierre Virelizier (2017). A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica. In Proc. of IMBSA 2017.

PDF Project DOI

See all publications

Projects

More projects »

.js-id-recent
All Recent Formal System Eng. Formal Methods Security Other

Daedalus

Oct 20218 — Oct 2021.

“In a perfect world, models would always be correct and verification tools would answer all our …

MOISE

Dec 2015 — Apr 2019.

MOISE is a project on methods and tools for model-based collaborative system engineering (requirement …

Synapse

March 2016 — Dec 2019.

Synapse is a project developping new technologies for Earth Observation space systems (smart programming …

Time-accurate Virtualization

May 2017 — Oct 2017.

This project is a direct collaboration with SCALIAN Eurogiciel to work on a middleware for communication …

Ingequip

Dec 2013 — Nov. 2016

Ingequip is a project on Methods and tools for equipment engineering (system-hardware-software co-design, …

BRiefcaSE

Apr 2013 — Sep 2016.

BRiefcaSE is a basic research project that targets methods involved in the specification, validation and …

ITEmIS

Oct 2008 — Dec 2011.

ITEmIS (Integrated Embedded Systems and Information Systems) is a project funded by ANR. The goal of the …

Quarteft

Apr 2009 — Nov 2012.

Quarteft (QUAlifiable Real TimE Fiacre Transformations) is a project funded by FNRAE, the Fondation de la …

CESAR

Mar 2009 — Jun 2012.

CESAR stands for Cost-efficient methods and processes for safety relevant embedded systems; it is a …

OpenETCS

Apr 2012 — Dec 2015.

The purpose of the openETCS project is to follow an open approach (Open Proofs and Open Source) for …

Spices

Sep 2006 — Nov 2009.

SPICES is a EUREKA-ITEA project on Support for Predictable Integration of mission Critical Embedded Systems …

Topcased

Sep 2006 — Nov 2009.

Topcased, Toolkit in OPen-source for Critical Application SystEms Development, is a project funded by …

COPS

Mar 2006 — Dec 2008.

COPS (Composition des politiques et des services / Composition of Services and Policies) is an ANR funded …

TraLaLa

Nov 2004 — Feb 2008.

TraLaLA, XML Transformation Languages: logic and applications, is a project funded by ACI MASSES DE …

CRISS

Sep 2003 — Dec 2006.

CRISS, (Contrôle de Ressources et d’Interférence dans les Systèmes Synchrones) is a French project of …

Recent Posts

The Moose Have Retired

For the last 20 years, I have been developing my own “static site generators” in order to create pages for my personal …
February 6, 2019 2 min read

Short Bio

“Epoch avait un an ! Rome remplaçait Sparte …” I was born in France in 1971. I obtained my PhD from INRIA and the …
February 4, 2019 1 min read

Contact

Information on how to reach LAAS