Louis-Marie Traonouez
	Ph.D student
	Address:	IRCCyN 1 rue de la Noë - B.P. 92101 44321 Nantes Cedex 3, France
	Tel:	02-40-37-69-16
	Fax:	02-40-37-69-30
	Email:	Louis-Marie.Traonouez [at] irccyn.ec-nantes.fr

Presentation

Since october 2006 I am a Ph.D student in Control Theory and Applied Computer Science of the University of Nantes. I am working in the french laboratory IRCCyN in the Real Systems Team. My supervisors are David Delfieu and Olivier (H.) Roux.

In 2006 I get a master's degree in Control Theory and Production Systems of Centrale Nantes. I have studied the analysis of time Petri nets with linear logic.

In november 2006, I also graduated from Centrale Nantes. I have studied engineer science with computer science as speciality.

Research

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, the subject of my thesis is the parametric analysis of time Petri nets. The following themes are developed:

• The extension of classical model-checking to parametric model-cheking.
• True concurrency preservation methods such as unfoldings.
• Decomposition of time Petri nets.

Publications

Here is a list of my publications.

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 am developing the use of Parametric TPNs in Romeo.
• LLbox, a tool that can perform temporal analysis of the scenarii of a TPN.