@ARTICLE{Traonouez-JUCS-09,
   AUTHOR = {Louis-Marie Traonouez and Didier Lime and Olivier (H.) Roux},
   JOURNAL = {Journal of Universal Computer Science},
   TITLE = {Parametric Model-Checking of Stopwatch Petri Nets},
   YEAR = {2009},
   VOLUME = {15},
   NUMBER = {17},
   PAGES = {3273--3304},
   MONTH = DEC,
   HTTP = {http://www.jucs.org/jucs_15_17/parametric_model_checking_of},
   CATEGORY = {intJournal}
}


@inproceedings{traonouez-ATVA-10,
	Address = {Singapore},
	Author = {Louis-Marie Traonouez and Bartosz Grabiec and Claude Jard and Didier Lime and Olivier H. Roux},
	Booktitle = {8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)},
	Editor = {Ahmed Bouajjani and Wei-Ngan Chin},
	Month = SEP,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Symbolic Unfolding of Parametric Stopwatch Petri Nets},
	Volume = {6252},
   Pages = {291-305},
	Year = 2010,
}


@inproceedings{grabiec-FORMATS-10,
	Author = {Bartosz Grabiec and Louis-Marie Traonouez and Claude Jard and Didier Lime and Olivier H. Roux},
	Title = {Diagnosis using Unfoldings  of Parametric Time Petri Nets},
	Booktitle = {8th International Conference on Formal Modelling and Analysis
   of Timed Systems (FORMATS 2010)},
	Editor = {Krishnendu Chatterjee and Thomas A. Henzinger},
	Address = {Vienna, Austria},
	Month = SEP,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
   Volume = {6246},
   Pages = {137-151},
	Year = 2010,
}


@INPROCEEDINGS{lime-TACAS-09,
   Author = {Didier Lime and Olivier H. Roux and Charlotte Seidner and Louis-Marie Traonouez},
   Title = {Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches},
   Editor = {Stefan Kowalewski and Anna Philippou},
   Booktitle = {15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)},
	Address = {York, United Kingdom},
   Month = MAR,
   Publisher = {Springer},
   Series = {Lecture Notes in Computer Science},
   Volume = {5505},
   Pages = {54-57},
   Year = {2009}
}


@INPROCEEDINGS{traonouez-FORMATS-08,
   Author = {Louis-Marie Traonouez and Didier Lime and Olivier H. Roux},
   Title = {Parametric Model-Checking of Time Petri Nets with Stopwatches Using the
           State-Class Graph},
   Booktitle = {6th International Conference on Formal Modelling and Analysis
   of Timed Systems (FORMATS 2008)},
   Editor = {Franck Cassez and Claude Jard},
   Address = {Saint-Malo, France},
   Month = SEP,
   Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},   
   Volume = {5215},
   Pages = {280-294},
   Year = {2008}
}


@TECHREPORT{traonouez-report-08,
   Author = {Louis-Marie Traonouez and Didier Lime and Olivier H. Roux},
   Title = {Parametric Model-Checking of Time Petri Nets with Stopwatches Using the
            State-Class Graph},
   Number = {IRCCyN RI2008_3},
   Year = {2008},
   Month = SEP
}


@INPROCEEDINGS{DEL07,
   author = {David Delfieu and Médésu Sogbohossou and Louis-Marie Traonouez and Sébastien Revol},
   title = {Parameterized study of a Time Petri Net},
   booktitle = {Cybernetics and Information Technologies, Systems and Applications: CITSA 2007},
   year = {2007},
   address = {Orlando, Florida, USA},
   month = {July}
}


@INPROCEEDINGS{traonouez-MSR-07,
   author = {Traonouez, Louis-Marie and Delfieu, David and Roux, Olivier (H.)},
   title = {Synthèse de contraintes de conception à partir de réseaux de {Petri} temporels paramétrés},
   booktitle = {6ieme Colloque Francophone sur la Mod{\'e}lisation
   des Syst{\`e}mes R{\'e}actifs, (MSR'07)},
   year = 2007,
   month = OCT,
   address = {Lyon, France}
}


@BOOK{jard-wiley-09,
	CLASS = {book},
	EDITOR = {Jard, Claude  and Roux, Olivier (H.)},
	title = {Communicating Embedded Systems -- Software and Design},
	publisher = {ISTE Publishing / John Wiley},
	note = {ISBN:978-1-8482-1143-8},
	month = OCT,
	year = 2009
}


@PHDTHESIS{traonouez-these,
   author = {Traonouez, Louis-Marie},
   title = {Vérification et dépliages de réseaux de Petri temporels paramétrés.},
   school = {University of Nantes},
   type = {Ph.D thesis},
   year = {2009},
   month = NOV,
   address = {Nantes, France}
}


@MASTERSTHESIS{traonouez06b,
   author = {Traonouez, Louis-Marie},
   title = {Stratégies d'analyse d'une fraction d'un réseau de Petri T-temporel},
   school = {{\'E}cole Centrale de Nantes},
   type = {Master's Thesis},
   year = {2006},
   month = SEP,
   address = {Nantes, France}
}


@MASTERSTHESIS{traonouez06a,
   author = {Traonouez, Louis-Marie},
   title = {Raisonnement temporel en sémantique forte à partir de réseaux de Petri temporels exprimés en Logique Linéaire},
   school = {{\'E}cole Centrale de Nantes},
   type = {Master's Bibliography},
   year = {2006},
   month = MAY,
   address = {Nantes, France}
}