Louis-Marie Traonouez
	Post-Doctorate
	Address:	Department of Computer Science Aalborg University Science Selma Lagerlöfs Vej 300 DK-9220 Aalborg East Office 1.1.46
	Email:

Presentation

I am a postdoc in computer science. Since January 2011, I am working for the danish project MT-LAB. I am working in the department of Computer Science of Aalborg University, with professor Kim G. Larsen. Until January 2012 I have been working at the IT University of Copenhagen with Andrzej Wąsowski.

Previously, in 2010, I worked as a postdoc in the Software Technologies Laboratory of the University of Florence in Italy, under the supervision of professor Enrico Vicario

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.

I defended my Ph.D thesis the 27th of November 2009 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

I am mainly working on the verification of real-time systems with formal methods. I am interested in the following topics:

• Specification of real-time systems using time Petri nets and timed automata.
• Model-checking.
• Parametric approaches.
• True concurrency preservation methods such as unfoldings.
• Compositional approaches.
• Robustness and implementability.

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 using linear logic.

News

• Since January I have moved to Aalborg University. I continue to work for the MT-Lab project.
• From February 27 to March 1, we are organizing in Copenhagen the 2^nd PhD school on Quantitative Model-Checking.