@article{lime-JRTS-09,
  Author = {Lime, Didier and Roux, Olivier H.},
  Title = {Formal verification of real-time systems with preemptive
scheduling},
  Journal = {Journal of Real-Time Systems},
  Volume = {41},
  Number = {2},
  Pages = {118--151},
  Publisher = {Springer},
  Year = 2009
}

@article{traonouez-JUCS-09,
    Journal = {Journal of Universal Computer Science (J.UCS)},
    Author = {Louis-Marie Traonouez and Didier Lime and Olivier H. Roux},
    Title = {Parametric Model-Checking of Stopwatch Petri Nets},
    Publisher = {Graz University of Technology and Universiti Malaysia Sarawak},
    Year = 2009,
    Volume = {15},
    Number = {17},
    pages = {3273--3304}
}

@book{roux-JESA-09,
  editor = {Roux, Olivier H. and Lime, Didier},
  month = NOV,
  publisher = {Hermes Lavoisier},
  volume = {43(7-8-9)},
  year = 2009,
  title = {European Journal of Automation (JESA) - Special Issue in french on Mod\'elisation des Syst\`emes R\'eactifs}
}

@book{faucou-ETR-07,
  editor = {Faucou, S\'ebastien and Lime, Didier and Roux, Olivier H.},
  month = SEP,
  publisher = {IRCCyN, Nantes, France},
  year = 2007,
  title = {Proceedings of the Summer School ETR'2007},
  url = {http://www2.irccyn.ec-nantes.fr/ETR07/}
}


@incollection{lime-WILEY-09,
  title = {Models for Real-time Embedded Systems},
  author = {Lime, Didier and Roux, Olivier H. and Srba, Ji\v{r}\'{\i}},
  pages = {1--37},
  booktitle = {Communicating Embedded Systems -- Software and Design },
  editor = {Roux, Olivier H. and Jard, Claude},
  publisher = {ISTE Publishing / John Wiley},
  isbn = {9781848211438},
  month = OCT,
  year = 2009
}

@incollection{david-WILEY-09,
  title = {Tools for Model-Checking Timed Systems},
  author = {David, Alexandre and Behrmann, Gerd and Bulychev, Peter and Byg, Joakim and Chatain, Thomas and Larsen, Kim G. and Pettersson, Paul and Rasmussen, Jacob I. and Srba, Ji\v{r}\'{\i} and Yi, Wang and Joergensen, Kenneth Y. and Lime, Didier and Magnin, Morgan and Roux, Olivier H. and Traonouez, Louis-Marie},
  pages = {165--225},
  booktitle = {Communicating Embedded Systems -- Software and Design },
  editor = {Roux, Olivier H. and Jard, Claude},
  publisher = {ISTE Publishing / John Wiley},
  isbn = {9781848211438},
  month = OCT,
  year = 2009
}

@incollection{lime-IC2-08b,
  title = {Outils de model-checking},
  booktitle = {Approches formelles des syst\`emes embarqu\'es communicants},
  author = {David, Alexandre and Behrmann, Gerd and Larsen, Kim G. and Pettersson, Paul and Rasmussen, Jacob I. and Yi, Wang and Lime, Didier and Magnin, Morgan and Roux, Olivier H.},
  editor = {Roux, Olivier H. and Jard, Claude},
  publisher = {Trait\'e IC2, Hermes Lavoisier},
  pages = {199--244},
  year = 2008
}

@incollection{lime-IC2-08a,
  title = {Les mod\`eles pour les syst\`emes temps r\'eel embarqu\'es},
  booktitle = {Approches formelles des syst\`emes embarqu\'es communicants},
  author = {Lime, Didier and Roux, Olivier H.},
  editor = {Roux, Olivier H. and Jard, Claude},
  publisher = {Trait\'e IC2, Hermes Lavoisier},
  pages = {45--74},
  year = 2008
}

@article{berard-TCS-08,
	Author = {B\'eatrice B\'erard and Franck Cassez and Serge Haddad and Didier Lime and Olivier H. Roux},
	Journal = {Theoretical Computer Science},
	Publisher = {Elsevier},
	Title = {When are timed automata weakly timed bisimilar to time Petri nets?},
    Volume = {403},
    Number = {2-3},
    Pages = {202--220},
	Year = 2008
}
	
@article{ahmad-COMPLEXUS-06,
	Author = {Jamil Ahmad and Gilles Bernot and Jean-Paul Comet and Didier
Lime and Olivier Roux},
	Journal = {ComPlexUs},
	Publisher = {Karger Publisher},
	Title = {Hybrid Modelling and Dynamical Analysis of Gene Regulatory
			Networks with Delays},
	Volume = {3},
	Number = {4},
	Pages = {231--251},
	Year = 2006
}
	
@article{berthomieu-DEDS-07,
	Author = {Bernard Berthomieu and Didier Lime and Olivier H. Roux and
Fran\c{c}ois Vernadat},
	Journal = {Journal of Discrete Event Dynamic Systems (jDEDS)},
	Publisher = {Springer},
	Title = {Reachability Problems and Abstract State Spaces for Time Petri
			Nets with Stopwatches},
	Volume = {17},
	Number = {2},
	Pages = {133--158},
	Year = 2007}

@article{lime-DEDS-06,
	Author = {Didier Lime and Olivier H. Roux},
	Journal = {Journal of Discrete Event Dynamic Systems (jDEDS)},
	Month = APR,
	Number = {2},
	Publisher = {Springer},
	Title = {Model checking of time {Petri} nets using the state class timed automaton},
	Volume = {16},
	Pages = {179--205},
	Year = 2006}

@article{lime-TSI-06,
	Author = {Didier Lime and Olivier H. Roux},
	Journal = {Techniques et Sciences Informatiques (TSI)},
	Publisher = {Hermes-Science},
	Title = {V\'erification formelle des syst\`emes temps r\'eel avec ordonnancement pr\'eemptif},
	Volume = {25},
	Number = {3},
	Pages = {347--375},
	Year = 2006}

@article{berthomieu-JESA-05,
	Author = {Bernard Berthomieu and Didier Lime and Olivier H. Roux and
Fran\c{c}ois Vernadat},
	Journal = {European Journal of Automation (JESA) - Special issue in french on ``Mod\'elisation des Syst\`emes R\'eactifs''},
	Month = OCT,
	Number = {1-2-3},
	Pages = {223--238},
	Publisher = {Hermes-Science},
	Title = {Probl\`emes d'Accessibilit\'e et Espaces d'\'Etats Abstraits des R\'eseaux de Petri Temporels {\`a} Chronom\`etres},
	Volume = {39},
	Year = 2005}


@inproceedings{bourke-WADT-10,
    Author =   {Timothy Bourke and Alexandre David and Kim. G. Larsen and Axel Legay and Didier Lime and Ulrik Nyman and Andrzej Wasowski},
    Title =    {New Results on Time Specifications},
    Booktitle = {Recent Trends in Algebraic Development Techniques. Revised
selected papers from the 20\textsuperscript{th} International Workshop on
Algebraic Development Techniques in Verification, Model Checking, and
Abstraction Interpretation (WADT'10)},
    Year =     2012,
	Series = {Lecture Notes in Computer Science},
    Volume = {7137},
    Publisher = {Springer},
    note = {to appear}
}

@inproceedings{benattar-AFL-11,
    Author = {Gilles Benattar and B\'eatrice B\'erard and Didier Lime and John Mullins and Olivier H. Roux and Mathieu Sassolas},
    Title = {Channel Synthesis for Finite Transducers},
    Booktitle = {13th International Conference on Automata and Formal Languages (AFL 2011)},
    Publisher = {Institute of Mathematics and Computer Science of Nyíregyháza College},
    Address = {Debrecen, Hungary},
    Month = AUG,
    Year = 2011,
}

@inproceedings{thierry-mieg-COMPONET-11,
    Author    = {Yann Thierry-Mieg and B\'eatrice B\'erard and Fabrice Kordon and Didier Lime and Olivier H. Roux},
    Title     = {Compositional Analysis of Discrete Time Petri nets},
    Booktitle = {1st workshop on Petri Nets Compositions (CompoNet 2011)},
    Year      = {2011},
    Pages     = {17-31},
    Address   = {Newcastle, UK},
    Volume    = {726},
    Month     = JUN,
    Publisher = {CEUR}
}

@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},
	Year = 2010,
    Volume = {6252},
    AcceptRate = {41\% (including tool papers)},
    Pages = {291--305}
}


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

@inproceedings{benattar-FORMATS-09,
	Address = {Budapest, Hungary},
	Author = {Gilles Benattar and Franck Cassez and Didier Lime and Olivier H. Roux},
	Booktitle = {7th International Conference on Formal Modelling and Analysis
of Timed Systems (FORMATS 2009)},
	Editor = {Jo\"el Ouaknine and Frits Vaandrager},
	Month = SEP,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Synthesis of Non-Interferent Timed Systems},
    Volume = {5813},
    pages = {28--42},
    AcceptRate = {39\%},
	Year = 2009
}

@inproceedings{benattar-FCS-09,
    Author = {Gilles Benattar and B\'eatrice B\'erard and Didier Lime and John
Mullins and Olivier H. Roux and Mathieu Sassolas},
    Booktitle = {8th Workshop on Foundations of Computer Security (FCS 2009)},
    Title = {Covert Channels with Sequential Transducers},
    Month = AUG,
    Year = 2009
}

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

@inproceedings{traonouez-FORMATS-08,
	Address = {Saint-Malo, France},
	Author = {Louis-Marie Traonouez and Didier Lime and Olivier H. Roux},
	Booktitle = {6th International Conference on Formal Modelling and Analysis
of Timed Systems (FORMATS 2008)},
	Editor = {Franck Cassez and Claude Jard},
	Month = SEP,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
    Volume = {5215},
    Pages = {280--294},
	Title = {Parametric model-checking of time Petri nets with stopwatches using the state-class graph},
    AcceptRate = {46\%},
	Year = 2008
}

@inproceedings{magnin-ICATPN-08,
	Address = {Xi'an, China},
	Author = {Morgan Magnin and Didier Lime and Olivier H. Roux},
	Booktitle = {The 29th International Conference on Application and Theory
of {Petri} Nets and other models of concurrency (ICATPN 2008)},
	Editor = {Kees van Hee and R\"udiger Valk},
	Month = JUN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Volume = {5062},
	Title = {Symbolic state space of Stopwatch Petri nets with discrete-time semantics},
	Pages={307--326},
	AcceptRate = {"29\%"},
	Year = 2008
}
	
@inproceedings{cassez-ATVA-07,
	Address = {Tokyo, Japan},
	Author = {Franck Cassez and Alexandre David and Kim G. Larsen and Didier
Lime and Jean-Fran\c{c}ois Raskin},
	Booktitle = {5th International Symposium on Automated Technology for
			Verification and Analysis (ATVA 2007)},
	Month = OCT,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Timed Control with Observation Based and Stuttering Invariant
			Strategies},
	Volume={4762},
	Pages={192--206},
	AcceptRate = {"25\%"},
	Year = 2007}

@inproceedings{behrmann-CAV-07,
	Address = {Berlin, Germany},
	author={Gerd Behrmann and Agn{\`e}s Cougnard and Alexandre David and
			Emmanuel Fleury and Kim G. Larsen and Didier Lime},
	Booktitle = {19th International Conference on Computer Aided Verification
			(CAV 2007)},
	Month = JUL,
	Pages = {121--125},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Uppaal-Tiga: Time For Playing Games!},
	Volume = {4590},
	AcceptRate = {"27\%"},
	Year = 2007}
	
@Inproceedings{behrmann-nwpt-06,
	author={Gerd Behrmann and Agn{\`e}s Cougnard and Alexandre David and
			Emmanuel Fleury and Kim G. Larsen and Didier Lime},
	title={{UPPAAL-Tiga: Timed Games for Everyone}},
	year={2006},
	booktitle= {Proceedings of the 18th Nordic Workshop on Programming Theory
		(NWPT'06), Reykjavik, Iceland},
	publisher={Reykjavik University},
	editor={Luca Aceto and Anna Ingolfdottir}
}

@inproceedings{berard-FSTTCS-05,
	Address = {Hyderabad, India},
	Author = {B\'eatrice B\'erard and Franck Cassez and Serge Haddad and Didier Lime and Olivier H. Roux},
	Booktitle = {25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005)},
	Editor = {R. Ramanujam and Sandeep Sen},
	Month = DEC,
	Pages = {273--284},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {When are timed automata weakly timed bisimilar to time Petri nets?},
	Volume = {3821},
	AcceptRate = {"23\%"},
	Year = 2005}

@inproceedings{berard-ATVA-05,
	Address = {Taipei, Taiwan},
	Author = {B\'eatrice B\'erard and Franck Cassez and Serge Haddad and Didier Lime and Olivier H. Roux},
	Booktitle = {3rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2005)},
	Editor = {Doron A. Peled and Yih-Kuen Tsay},
	Month = OCT,
	Pages = {293--307},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Comparison of Different Semantics for Time Petri Nets},
	Volume = {3707},
	AcceptRate = {"35\%"},
	Year = 2005}

@inproceedings{berard-FORMATS-05,
	Address = {Uppsala, Sweden},
	Author = {B\'eatrice B\'erard and Franck Cassez and Serge Haddad and Didier Lime and Olivier H. Roux},
	Booktitle = {3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005)},
	Editor = {Paul Pettersson and Wang Yi},
	Month = SEP,
	Pages = {211--225},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Comparison of the Expressiveness of Timed Automata and Time Petri
Nets},
	Volume = {3829},
	AcceptRate = {"44\%"},
	Year = 2005}

@inproceedings{lime-MSR-11,
	Address = {Lille, France},
	Author = {Didier Lime and Claude Martinez and Olivier H. Roux},
	Booktitle = {8\`eme Colloque Francophone sur la Mod\'elisation des Syst\`emes R\'eactifs (MSR 2011)},
	Month = NOV,
	Title = {Coercition temporelle de r\'eseaux de {P}etri},
	Year = 2011}


@inproceedings{berthomieu-MSR-05,
	Address = {Autrans, France},
	Author = {Bernard Berthomieu and Didier Lime and Olivier H. Roux and Fran\c{c}ois Vernadat},
	Booktitle = {5\`eme Colloque Francophone sur la Mod\'elisation des Syst\`emes R\'eactifs (MSR 2005)},
	Month = OCT,
	Title = {Probl\`emes d'Accessibilit\'e et Espaces d'\'Etats Abstraits des R\'eseaux de Petri Temporels {\`a} Chronom\`etres},
	Year = 2005}

@inproceedings{magnin-SOFTMC-05,
	Address = {Edinburgh, Scotland, UK},
	Author = {Morgan Magnin and Didier Lime and Olivier H. Roux},
	Booktitle = {3rd International Workshop on Software Model-Checking (SoftMC 2005)},
	Month = JUL,
	Pages = {59--77},
	Publisher = {Elsevier},
	Series = {Electronic Notes in Theoretical Computer Science},
	Title = {An efficient method for computing the exact state space of Petri nets with stopwatches},
	Volume = {144(3)},
	Year = 2005}

@inproceedings{cassez-CONCUR-05,
	Address = {San Fransisco, CA, USA},
	Author = {Franck Cassez and Alexandre David and Emmanuel Fleury and Kim G. Larsen and Didier Lime},
	Booktitle = {16th International Conference on Concurrency Theory (CONCUR 2005)},
	Editor = {Mart{\'\i}n Abadi and Luca de Alfaro},
	Month = AUG,
	Pages = {66--80},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Efficient On-The-Fly Algorithms for the Analysis of Timed Games},
	Volume = {3653},
	AcceptRate = {"38\%"},
	Year = 2005}

@inproceedings{gardey-CAV-05,
	Address = {Edinburgh, Scotland, UK},
	Author = {Guillaume Gardey and Didier Lime and Morgan Magnin and Olivier H. Roux},
	Booktitle = {17th International Conference on Computer Aided Verification (CAV 2005)},
	Editor = {Kousha Etessami and Sriram K. Rajamani},
	Month = JUL,
	Pages = {418--423},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Rom\'eo: A Tool for Analyzing time {Petri} nets},
	Volume = {3576},
	AcceptRate = {"31\%"},
	Year = 2005}

@phdthesis{lime-phd-04,
	Address = {Nantes, France},
	Author = {Didier Lime},
	Month = DEC,
	School = {University of Nantes},
	Title = {V\'erification d'applications temps r\'eel {\`a} l'aide de r\'eseaux de Petri temporels \'etendus},
	Year = 2004}

@inproceedings{lime-RTSS-04,
	Address = {Lisbon, Portugal},
	Author = {Didier Lime and Olivier H. Roux},
	Booktitle = {25th IEEE Real-Time Systems Symposium (RTSS 2004)},
	Month = DEC,
	Pages = {187--196},
	Publisher = {IEEE Computer Society Press},
	Title = {A translation-based method for the timed analysis of scheduling extended time {Petri} nets},
	AcceptRate = {"22\%"},
	Year = 2004}

@inproceedings{roux-ICATPN-04,
	Address = {Bologna, Italy},
	Author = {Olivier H. Roux and Didier Lime},
	Booktitle = {The 25th International Conference on Application and Theory of {Petri} Nets (ICATPN 2004)},
	Date-Modified = {2006-03-15 21:40:38 +0100},
	Editor = {Jordi Cortadella and Wolfgang Reisig},
	Month = JUN,
	Pages = {371--390},
	Publisher = {Springer-Verlag},
	Series = {Lecture Notes in Computer Science},
	Title = {Time {Petri} Nets with Inhibitor Hyperarcs. {Formal} Semantics and State Space Computation},
	Volume = {3099},
	AcceptRate = {"28\%"},
	Year = 2004}

@techreport{berthomieu-report-04,
	Address = {Toulouse, France},
	Author = {Bernard Berthomieu and Didier Lime and Olivier H. Roux and Fran\c{c}ois Vernadat},
	Institution = {Laboratoire d'Analyse et d'Architecture des Syst\`emes (LAAS)},
	Month = OCT,
	Number = {04483},
	Title = {Reachability problems and abstract state spaces for time {Petri} nets with stopwatches},
	Year = 2004}

@inproceedings{lime-PNPM-03,
	Address = {Urbana, USA},
	Author = {Didier Lime and Olivier H. Roux},
	Booktitle = {10th International Workshop on {Petri} Nets and Performance Models, (PNPM 2003)},
	Month = SEP,
	Pages = {124--133},
	Publisher = {IEEE Computer Society},
	Title = {State class Timed Automaton of a Time {Petri} Net},
	AcceptRate = {"52\%"},
	Year = 2003}

@techreport{lime-report-03,
	Address = {Nantes, France},
	Author = {Didier Lime and Olivier H. Roux},
	Institution = {Institut de Recherche en Communication et Cybern\'etique de Nantes (IRCCyN)},
	Number = {RI2003-5},
	Title = {Computing the state class timed automaton of a transition-time Petri net},
	Year = {2003}}

@inproceedings{lime-FET-03,
	Address = {Aveiro, Portugal},
	Author = {Didier Lime and Olivier H. Roux},
	Booktitle = {5th IFAC International Conference on Fieldbus Systems and their Applications, (FET 2003)},
	Month = JUL,
	Publisher = {Elsevier Science},
	Title = {Expressiveness and analysis of scheduling extended time {Petri} nets},
	Year = 2003}