Louis-Marie Traonouez Homepage

	Louis-Marie Traonouez
	Post-Doctorate
	Address:	Software Technologies Laboratory Dipartimento di Sistemi e Informatica Università degli Studi di Firenze Via di Santa Marta 3 50145 Firenze (Italy)
	Email:

Presentation

Since November 2009, I am working as a Post-Doctorate in the Software Technologies Laboratory of the University of Florence in Italy, under the supervision of professor Enrico Vicario

Previously, from 2006 to 2009 I was a Ph.D student in Control Theory and Applied Computer Science of the University of Nantes, in the french laboratory IRCCyN. I was working in the Real Time Systems team with Olivier (H.) Roux, David Delfieu and Didier Lime.

News

On November 27th 2009 I defensed my Ph.D thesis at the IRCCyN in Nantes. The title is:

"Model-checking and unfoldings of parametric time Petri nets"

The manuscript and the slides of the defense are available (in french) on HAL or here.

Research

Thematics: real time systems, verification, time Petri nets, model-checking, unfolding, composition.

I am working on the verification of real time systems. More precisely I am studying formal methods of verification with time Petri nets models. In this field, I am exploring the following subjects:

The extension of classical model-checking to parametric model-checking.
True concurrency preservation methods such as unfoldings.
Compositional approaches.

Tools

I participate to the development of the following tools:

Romeo, a software studio for time Petri net analysis. It allows to edit and to simulate time Petri nets and can perform on-the-fly verification of temporal logic properties. I have developed the use of Parametric TPNs in Romeo as well as the computation of symbolic time unfoldings.
LLbox, a tool that can perform temporal analysis of the scenarii of a TPN.