@inproceedings{jensen-CONCUR-25,
	Address = {Aarhus, Denmark},
	Author = {Jensen, Nicolaj \O{}sterby and Larsen, Kim Guldstrand and Didier Lime and Srba, Ji\v{r}\'{\i}},
	Booktitle = {The 36th International Conference on Concurrency Theory (CONCUR
	             2025)},
	Editor = {Patricia Bouyer and van de Pol, Jaco},
	Month = AUG,
	Publisher = {Dagstuhl Publishing},
	Series = {LIPIcs},
	Title = {On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions},
	Year = 2025,
}

@inproceedings{lime-ICATPN-25,
	Address = {Paris, France},
	Booktitle = {46th International Conference on Application and Theory of {P}
	             etri Nets and Concurrency ({P}etri Nets 2025)},
	Author = {Didier Lime and R\'emi Parrot and Roux, Olivier H.},
	Editor = {Amparore, Elvio and Mikulski \L{}ukasz},
	Month = JUN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Decidability problems for weak Time {P}etri Nets with read, reset and transfer arcs},
	Year = 2025,
}

@inproceedings{andre-SACSVT-25,
	author = {\'Etienne André and Jean-Luc B\'echennec and Sudipta Chattopadhyay and S\'ebastien Faucou and Didier Lime and Dylan Marinho and Roux, Olivier H. and Jun Sun},
	title = {Verifying Timed Properties of Programs in {IoT} nodes using Parametric Time {P}etri Nets},
	booktitle = {40th ACM/SIGAPP Symposium On Applied Computing (SAC-SVT'25)},
	year = {2025},
	month = APR,
	address = {Catania, Italy},
	publisher = {ACM},
}


@book{delahaye-IFM-24,
	title = {Informatique fondamentale et ses Mathématiques -- Une photographie en 2024},
	editor = {Beno\^it Delahaye and Didier Lime},
	publisher = {CNRS Editions},
	isbn = {9782271153067},
	month = JUL,
	year = 2024,
}

@inproceedings{leclercq-QEST-FORMATS-24,
	Address = {Calgary, Canada},
	Booktitle = {International Joint Conference on Quantitative Evaluation of
	             Systems and Formal Modeling and Analysis of Timed Systems
	             (QEST+FORMATS 2024)},
	Author = {Loriane Leclercq and Didier Lime and Roux, Olivier H.},
	Editor = {Jane Hillston and Sadegh Soudjani},
	Pages = {107-124},
	Volume = {14996},
	Month = SEP,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {On Parametric DBMs and their applications to Time Petri Nets},
	Year = 2024,
}

@inproceedings{andre-TICSA-23,
	Address = {Paris, France},
	Booktitle = {1st Workshop on Trends in Configurable Systems Analysis
	             (TiCSA@ETAPS 2023)},
	Author = {Étienne André and Engel Lefaucheux and Didier Lime and Dylan
	          Marinho and Jun Sun},
	Editor = {ter Beek, Maurice H. and Clemens Dubslaff},
	Pages = {1-26},
	Volume = {392},
	Title = {Configuring Timing Parameters to Ensure Execution-Time Opacity in
	         Timed Automata},
	publisher = {EPTCS},
	Month = APR,
	Year = 2023,
	Note = {Invited paper},
}



@inproceedings{spriet-FORMATS-23,
	Address = {Antwerp, Belgium},
	Booktitle = {21st International Conference on Formal Modeling and Analysis
	             of Timed Systems (FORMATS 2023)},
	Author = {Anthony Spriet and Didier Lime and Roux, Olivier H.},
	Editor = {Laure Petrucci and Jeremy Sproston},
	Month = SEP,
	Publisher = {Springer},
	Volume = {14138},
	Series = {Lecture Notes in Computer Science},
	Title = {Timed non-interference under Partial Observability and Bounded
	         Memory},
	Pages = {122-137},
	Note = {Best paper award},
	Year = 2023,
}


@inproceedings{leclercq-ICATPN-23,
	Address = {Lisbon, Portugal},
	Booktitle = {44th International Conference on Application and Theory of {P}
	             etri Nets and Concurrency ({P}etri Nets 2023)},
	Author = {Loriane Leclercq and Didier Lime and Roux, Olivier H.},
	Editor = {Luis Gomes and Robert Lorenz},
	Month = JUN,
	Pages = {393-414},
	Volume = {13929},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {A state class based controller synthesis approach for Time {P}etri
	         Nets},
	Year = 2023,
}


@article{andre-LMCS-22,
	author = {\'Etienne Andr\'e and Didier Lime and Olivier H. Roux},
	title = {Reachability and liveness in parametric timed automata},
	journal = {Logical Methods in Computer Science (LMCS)},
	volume = {18},
	issue = {1},
	month = FEB,
	pages = {1--41},
	doi = {10.46298/lmcs-18(1:31)2022},
	year = 2022,
}

@article{andre-TOSEM-22,
	author = {\'Etienne Andr\'e and Didier Lime and Dylan Marinho and Sun Jun},
	title = {Guaranteeing timed opacity using parametric timed model checking},
	journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
	volume = {31},
	number = {4},
	pages = {64:1-64:36},
	doi = {10.1145/3502851},
	year = 2022,
}

@article{jovanovic-TAC-22,
	author = {Jovanovi\'c, Aleksandra and Lime, Didier and Roux, Olivier H.},
	title = {Control of Real-time Systems with Integer Parameters},
	journal = {IEEE Transactions on Automatic Control},
	publisher = {{IEEE}},
	volume = {67},
	number = {1},
	pages = {75-88},
	doi = {10.1109/TAC.2020.3046578},
	year = 2022,
}


@article{lime-FI-21,
	author = {Didier Lime and Olivier H. Roux and Charlotte Seidner},
	title = {Cost Problems for Parametric Time {P}etri Nets},
	journal = {Fundamenta Informaticae},
	volume = {183},
	number = {1-2},
	pages = {97--123},
	doi = {10.3233/FI-2021-2066},
	year = 2021,
}

@article{andre-FI-21,
	author = {\'Etienne Andr\'e and Didier Lime and Mathias Ramparison and Mari
	          \"elle Stoelinga},
	title = {Parametric Analyses of Attack-fault Trees},
	journal = {Fundamenta Informaticae},
	volume = {182},
	number = {1},
	pages = {69--94},
	doi = {10.3233/FI-2021-2083},
	year = 2021,
}


@article{andre-LMCS-21,
	author = {\'Etienne Andr\'e and Didier Lime and Mathias Ramparison},
	title = {Parametric updates in parametric timed automata},
	journal = {Logical Methods in Computer Science (LMCS)},
	volume = {17},
	number = {2},
	month = MAY,
	year = 2021,
}


@inproceedings{haddad-ICATPN-21,
	Address = {Paris, France},
	Booktitle = {42nd International Conference on Application and Theory of {P}
	             etri Nets and Concurrency ({P}etri Nets 2021)},
	Author = {Serge Haddad and Didier Lime and Roux, Olivier H.},
	Editor = {Didier Buchs and Josep Carmona and J\"org Desel and Alex Yakovlev},
	Month = JUN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {A Turn-based Approach for Qualitative Time Concurrent Games},
	pages = {76--92},
	Year = 2021,
}

@inproceedings{jezequel-ICATPN-21,
	Address = {Paris, France},
	Booktitle = {42nd International Conference on Application and Theory of {P}
	             etri Nets and Concurrency ({P}etri Nets 2021)},
	Author = {Lo\"ig Jezequel and Didier Lime and Bastien S\'er\'ee},
	Editor = {Didier Buchs and Josep Carmona and J\"org Desel and Alex Yakovlev},
	Month = JUN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {A Lazy Query Scheme for Reachability Analysis in {P}etri Nets},
	pages = {360--378},
	Year = 2021,
}

@article{bechennec-DEDS-21,
	author = {Jean-Luc B\'echennec and Didier Lime and Olivier H. Roux},
	title = {Logical time control of concurrent {DES}},
	journal = {Journal of Discrete Event Dynamic Systems (jDEDS)},
	publisher = {Springer},
	doi = {10.1007/s10626-020-00333-x},
	volume = {31},
	number = {2},
	pages = {185-217},
	year = 2021,
}


@inproceedings{seree-LATA-21,
	Address = {Milan, Italy},
	Booktitle = {15th International Conference on Language and Automata Theory
	             and Applications (LATA 2021)},
	Author = {Bastien S\'er\'ee and Lo\"ig Jezequel and Didier Lime},
	Editor = {Alberto Leporati and Carlos Mart\'in-Vide and Dana Shapira and
	          Claudio Zandron},
	Month = MAR,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {An Algorithm for Single-source Shortest Paths Enumeration in
	         Parameterized Weighted Graphs},
	pages = {279-290},
	volume = {12638},
	Note = {Best paper award},
	Year = 2021,
}

@inproceedings{parrot-FORMATS-20,
	Address = {Vienna, Austria},
	Booktitle = {18th International Conference on Formal Modeling and Analysis
	             of Timed Systems (FORMATS 2020)},
	Author = {R\'emi Parrot and Didier Lime},
	Editor = {Nathalie Bertrand and Nils Jansen},
	Month = SEP,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Backward Symbolic Optimal Reachability in Weighted Timed Automata},
	pages = {41-57},
	doi = {10.1007/978-3-030-57628-8\_3},
	Year = 2020,
}

@inproceedings{quillet-RTNS-20,
	Address = {Paris, France},
	Booktitle = {28th International Conference on Real-Time Networks and Systems
	             (RTNS 2020)},
	Author = {Adrien Quillet and Audrey Queudet and Didier Lime},
	Editor = {Sebastian Altmeyer and Jean-Luc Scharbarg},
	Month = JUN,
	Series = {International Conference Proceedings (ICPS)},
	Publisher = {ACM},
	Title = {Analysis of Polka Contention Manager for use in Multicore Hard
	         Real-Time Systems},
	doi = {10.1145/3394810.3394825},
	Pages = {11-21},
	Year = 2020,
}

@article{andre-LMCS-20,
	author = {\'Etienne Andr\'e and Didier Lime and Nicolas Markey},
	title = {Language Preservation Problems in Parametric Timed Automata},
	journal = {Logical Methods in Computer Science (LMCS)},
	volume = {16},
	number = {1},
	month = JAN,
	doi = {10.23638/LMCS-16(1:5)2020},
	year = 2020,
}

@inproceedings{coullon-IFM-19,
	address = {Bergen, Norway},
	author = {H\'el\`ene Coullon and Claude Jard and Didier Lime},
	booktitle = {15th International Conference on integrated Formal Methods (iFM
	             2019)},
	title = {Integrated Model-checking for the Design of Safe and Efficient
	         Distributed Software Commissioning},
	editor = {Ahrendt, Wolfgang and Tapia Tarifa, Silvia Lizeth},
	month = DEC,
	Series = {Lecture Notes in Computer Science},
	Volume = {11918},
	publisher = {Springer},
	pages = {120-137},
	doi = {10.1007/978-3-030-34968-4\_7},
	year = 2019,
}

@inproceedings{andre-ICECCS-19,
	Address = {Nansha, Guangzhou, China},
	Author = {\'Etienne Andr\'e and Didier Lime and Mathias Ramparison},
	Booktitle = {24th International Conference on Engineering of Complex
	             Computer Systems (ICECCS 2019)},
	Editor = {Sun, Jing and Pang, Jun},
	Month = NOV,
	Publisher = {{IEEE}},
	Title = {On the Expressive Power of Invariants in Parametric Timed Automata},
	pages = {87-96},
	doi = {10.1109/ICECCS.2019.00017},
	Year = 2019,
}

@article{andre-TOPNOC-19,
	author = {\'Etienne Andr\'e and Micha\l{} Knapik and Didier Lime and
	          Wojciech Penczek and Laure Petrucci},
	title = {Parametric Verification: An Introduction},
	journal = {Transactions on {P}etri Nets and other Models of Concurrency {XIV
	           }},
	volume = {11790},
	pages = {64-100},
	Series = {Lecture Notes in Computer Science},
	editor = {Maciej Koutny and Lucia Pomello and Kristensen, Lars Michael},
	publisher = {Springer},
	doi = {10.1007/978-3-662-60651-3\_3},
	year = 2019,
}

@article{jovanovic-IJC-19,
	author = {Jovanovi\'c, Aleksandra and Lime, Didier and Roux, Olivier H.},
	title = {{A Game Approach to the Parametric Control of Real-time Systems}},
	journal = {International Journal of Control},
	publisher = {Taylor \& Francis},
	volume = {92},
	number = {9},
	pages = {2025-2036},
	doi = {10.1080/00207179.2018.1426883},
	year = 2019,
}

@inproceedings{bao-FORTE-19,
	Address = {Copenhaguen, Denmark},
	Author = {Ran Bao and Christian Attiogbe and Beno\^it Delahaye and Paulin
	          Fournier and Didier Lime},
	Booktitle = {39th International Conference on Formal Techniques for
	             Distributed Objects, Components, and Software (FORTE 2019)},
	Editor = {P\'erez, Jorge A. and Yoshida, Nobuko},
	Month = JUN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Parametric Statistical Model-checking of {UAV} Flight Plan},
	doi = {10.1007/978-3-030-21759-4\_4},
	Volume = {11535},
	Pages = {57-74},
	Year = 2019,
}

@inproceedings{andre-FORTE-19,
	Address = {Copenhaguen, Denmark},
	Author = {\'Etienne Andr\'e and Didier Lime and Mathias Ramparison},
	Booktitle = {39th International Conference on Formal Techniques for
	             Distributed Objects, Components, and Software (FORTE 2019)},
	Editor = {P\'erez, Jorge A. and Yoshida, Nobuko},
	Month = JUN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Parametric Updates in Parametric Timed Automata},
	doi = {10.1007/978-3-030-21759-4\_3},
	Volume = {11535},
	Pages = {39-56},
	Year = 2019,
}

@inproceedings{lime-ICATPN-19,
	Address = {Aachen, Germany},
	Author = {Didier Lime and Roux, Olivier H. and Seidner, Charlotte},
	Booktitle = {40th International Conference on Application and Theory of {P}
	             etri Nets and Concurrency ({P}etri Nets 2019)},
	Editor = {Susanna Donatelli and Stefan Haar},
	Month = JUN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Parameter Synthesis for Bounded Cost Reachability in Time {P}etri
	         Nets},
	Volume = {11522},
	Pages = {406-425},
	doi = {10.1007/978-3-030-21571-2\_22},
	Year = 2019,
}

@inproceedings{bechennec-ACSD-19,
	Address = {Aachen, Germany},
	Author = {Jean-Luc B\'echennec and Didier Lime and Roux, Olivier H.},
	Booktitle = {19th International Conference on Application of Concurrency to
	             System Design (ACSD 2019)},
	Editor = {Keller, J\"org and Penczek, Wojciech},
	Month = JUN,
	Publisher = {{IEEE}},
	Title = {Control of DES with Urgency, Avoidability and Ineluctability},
	Pages = {92-101},
	Year = 2019,
}

@inproceedings{andre-ACSD-19,
	Address = {Aachen, Germany},
	Author = {\'Etienne Andr\'e and Didier Lime and Mathias Ramparison and
	          Marielle Stoelinga},
	Booktitle = {19th International Conference on Application of Concurrency to
	             System Design (ACSD 2019)},
	Editor = {Keller, J\"org and Penczek, Wojciech},
	Month = JUN,
	Publisher = {{IEEE}},
	Title = {Parametric Analyses of Attack-fault Trees},
	Pages = {33-42},
	Year = 2019,
}

@inproceedings{delahaye-VMCAI-19,
	Address = {Lisbon, Portugal},
	Author = {\'Etienne Andr\'e and Beno\^it Delahaye and Paulin Fournier and
	          Didier Lime},
	Booktitle = {The 20th International Conference on Verification,
	             Model-Checking, and Abstract Interpretation (VMCAI 2019)},
	Editor = {Constantin Enea and Ruzica Piskac},
	Month = JAN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Parametric Timed Broadcast Protocols},
	Volume = {11388},
	doi = {10.1007/978-3-030-11245-5\_23},
	Pages = {491-512},
	Year = 2019,
}


@article{bart-TCS-18,
	Author = {Anicet Bart and Beno\^it Delahaye and Paulin Fournier and Didier
	          Lime and \'Eric Monfroy and Charlotte Truchet},
	Month = SEP,
	Publisher = {Elsevier},
	Title = {Reachability in Parametric Interval {M}arkov Chains using
	         Constraints},
	journal = {Theoretical Computer Science},
	Volume = {747},
	Pages = {48--74},
	doi = {10.1016/j.tcs.2018.06.016},
	Year = 2018,
}



@inproceedings{andre-FORMATS-18,
	Address = {Beijing, China},
	Booktitle = {16th International Conference on Formal Modeling and Analysis
	             of Timed Systems (FORMATS 2018)},
	Author = {\'Etienne Andr\'e and Didier Lime and Mathias Ramparison},
	Editor = {David N. Jansen and Pavithra Prabhakar},
	Month = SEP,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {TCTL model checking lower/upper-bound parametric timed automata
	         without invariants},
	doi = {10.1007/978-3-030-00151-3\_3},
	Volume = {11022},
	Pages = {37-52},
	Year = 2018,
}



@inproceedings{andre-ACSD-18,
	Address = {Bratislava, Slovakia},
	Author = {\'Etienne Andr\'e and Didier Lime and Mathias Ramparison},
	Booktitle = {18th International Conference on Application of Concurrency to
	             System Design (ACSD 2018)},
	Editor = {Chatain, Thomas and Grosu, Radu},
	Month = JUN,
	Publisher = {{IEEE}},
	Title = {Timed Automata with Parametric Updates},
	doi = {10.1109/ACSD.2018.000-2},
	Pages = {21-29},
	Year = 2018,
}

@inproceedings{boucheneb-ACSD-18,
	Address = {Bratislava, Slovakia},
	Author = {Hanifa Boucheneb and Didier Lime and Olivier H. Roux and Charlotte
	          Seidner},
	Booktitle = {18th International Conference on Application of Concurrency to
	             System Design (ACSD 2018)},
	Editor = {Chatain, Thomas and Grosu, Radu},
	Month = JUN,
	Publisher = {{IEEE}},
	Title = {Optimal-cost Reachability Analysis based on Time {P}etri Nets},
	Pages = {30-39},
	doi = {10.1109/ACSD.2018.000-1},
	Year = 2018,
}

@inproceedings{david-CONCUR-17,
	Address = {Berlin, Germany},
	Author = {Nicolas David and Claude Jard and Didier Lime and Olivier H. Roux},
	Booktitle = {The 28th International Conference on Concurrency Theory (CONCUR
	             2017)},
	Editor = {Roland Meyer and Uwe Nestmann},
	Month = SEP,
	Publisher = {Dagstuhl Publishing},
	Series = {LIPIcs},
	Title = {Coverability Synthesis in Parametric {P}etri Nets},
	doi = {10.4230/LIPIcs.CONCUR.2017.14},
	Year = 2017,
}



@inproceedings{boucheneb-FORMATS-17,
	Address = {Berlin, Germany},
	Author = {Hanifa Boucheneb and Didier Lime and Baptiste Parquier and Olivier
	          H. Roux and Charlotte Seidner},
	Booktitle = {15th International Conference on Formal Modeling and Analysis
	             of Timed Systems (FORMATS 2017)},
	Editor = {Nestmann, Uwe and Wolter, Katinka},
	Month = SEP,
	Volume = {10419},
	Publisher = {Springer},
	Pages = {58-73},
	Series = {Lecture Notes in Computer Science},
	Title = {Optimal Reachability in Cost Time {P}etri Nets},
	doi = {10.1007/978-3-319-65765-3\_4},
	Year = 2017,
}



@inproceedings{jezequel-FORMATS-17,
	Address = {Berlin, Germany},
	Author = {Lo\"ig Jezequel and Didier Lime},
	Booktitle = {15th International Conference on Formal Modeling and Analysis
	             of Timed Systems (FORMATS 2017)},
	Editor = {Nestmann, Uwe and Wolter, Katinka},
	Month = SEP,
	Volume = {10419},
	Pages = {247-263},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Let's Be Lazy, We Have Time or, Lazy Reachability Analysis for
	         Timed Automata},
	doi = {10.1007/978-3-319-65765-3\_14},
	Year = 2017,
}



@inproceedings{bart-QEST-17,
	Address = {Berlin, Germany},
	Author = {Anicet Bart and Beno\^it Delahaye and Didier Lime and \'Eric
	          Monfroy and Charlotte Truchet},
	Booktitle = {14th International Conference on Quantitative Evaluation of
	             SysTems (QEST 2017)},
	Editor = {Bertrand, Nathalie and Bortolussi, Luca},
	Month = SEP,
	Publisher = {Springer},
	Volume = {10503},
	Pages = {173-189},
	Series = {Lecture Notes in Computer Science},
	Title = {Reachability in Parametric Interval {M}arkov Chains using
	         Constraints},
	doi = {10.1007/978-3-319-66335-7\_11},
	Year = 2017,
	Note = {Best paper award},
}

@inproceedings{andre-ACSD-17,
	Address = {Zaragoza, Spain},
	Author = {\'Etienne Andr\'e and Didier Lime},
	Booktitle = {17th International Conference on Application of Concurrency to
	             System Design (ACSD 2017)},
	Editor = {Legay, Axel and Schneider, Klaus},
	Month = JUN,
	Pages = {9-18},
	Publisher = {{IEEE}},
	Title = {Liveness in {L/U}-Parametric Timed Automata},
	doi = {10.1109/ACSD.2017.19},
	Year = 2017,
}

@inproceedings{parquier-FTSCS-16,
	Address = {Tokyo, Japan},
	Author = {Baptiste Parquier and Laurent Rioux and Rafik Henia and Romain
	          Soulat and Olivier H. Roux and Didier Lime and \'Etienne Andr\'e},
	Booktitle = {5th International Workshop on Formal Techniques for
	             Safety-Critical Systems (FTSCS 2016)},
	Editor = {Artho, Cyrille and Peter Csaba \"Olveczky},
	Month = NOV,
	Publisher = {Springer},
	Series = {Communications in Computer and Information Science},
	Title = {Applying Parametric Model-checking Techniques for Reusing Real-time
	         Critical Systems},
	doi = {10.1007/978-3-319-53946-1\_8},
	Volume = {694},
	Pages = {129-144},
	Year = 2016,
}

@inproceedings{andre-ICFEM-16,
	Address = {Tokyo, Japan},
	Author = {\'Etienne Andr\'e and Didier Lime and Olivier H. Roux},
	Booktitle = {18th International Conference on Formal Engineering Methods
	             (ICFEM 2016)},
	Editor = {Ogata, Kazuhiro and Lawford, Mark and Liu, Shaoying},
	Month = NOV,
	Volume = {10009},
	Pages = {400--416},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Decision Problems for Parametric Timed Automata},
	doi = {10.1007/978-3-319-47846-3\_25},
	Year = 2016,
}

@inproceedings{andre-FORMATS-16,
	Address = {Qu\'ebec City, Qu\'ebec, Canada},
	Author = {\'Etienne Andr\'e and Didier Lime and Olivier H. Roux},
	Booktitle = {14th International Conference on Formal Modeling and Analysis
	             of Timed Systems (FORMATS 2016)},
	Editor = {Martin Fr\"anzle and Nicolas Markey},
	Month = AUG,
	Volume = {9884},
	Pages = {19--34},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {On the Expressiveness of Parametric Timed Automata},
	doi = {10.1007/978-3-319-44878-7\_2},
	Year = 2016,
}



@inproceedings{jezequel-CONCUR-16,
	Address = {Qu\'ebec City, Qu\'ebec, Canada},
	Author = {Lo\"ig Jezequel and Didier Lime},
	Booktitle = {The 27th International Conference on Concurrency Theory (CONCUR
	             2016)},
	Editor = {Jos\'ee Desharnais and Rhada Jagadeesan},
	Month = AUG,
	Publisher = {Dagstuhl Publishing},
	Series = {LIPIcs},
	Title = {Lazy Reachability Analysis in Distributed Systems},
	doi = {10.4230/LIPIcs.CONCUR.2016.17},
	Year = 2016,
}


@inproceedings{emzivat-ICATPN-16,
	Address = {Toru\'n, Poland},
	Author = {Yrvann Emzivat and Beno\^it Delahaye and Didier Lime and Roux,
	          Olivier H.},
	Booktitle = {The 37th International Conference on Application and Theory of
	             {P}etri Nets and Concurrency ({P}etri Nets 2016)},
	Editor = {Fabrice Kordon and Daniel Moldt},
	Month = JUN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Probabilistic Time {P}etri Nets},
	doi = {10.1007/978-3-319-39086-4\_16},
	Volume = {9698},
	Pages = {261--280},
	Year = 2016,
}


@inproceedings{delahaye-VMCAI-16,
	Address = {St. Petersburg, FL, USA},
	Author = {Beno\^it Delahaye and Didier Lime and Laure Petrucci},
	Booktitle = {The 17th International Conference on Verification,
	             Model-Checking, and Abstract Interpretation (VMCAI 2016)},
	Editor = {Barbara Jobstmann and Leino, K. Rustan M.},
	Month = JAN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Parameter Synthesis in Parametric Interval {M}arkov Chains},
	doi = {10.1007/978-3-662-49122-5\_18},
	Volume = {9583},
	Pages = {372--390},
	Year = 2016,
}



@article{berard-FI-16,
	author = {B\'erard, B\'eatrice and Haddad, Serge and Jovanovi\'c, Aleksandra
	          and Lime, Didier},
	Title = {Interrupt Timed Automata with Auxiliary Clocks and Parameters},
	journal = {Fundamenta Informaticae},
	publisher = {IOS Press},
	Volume = {143},
	Number = {3-4},
	Pages = {235--259},
	doi = {10.3233/FI-2016-1313},
	Year = 2016,
}

@inproceedings{andre-RP-15,
	Address = {Warsaw, Poland},
	Author = {\'Etienne Andr\'e and Didier Lime and Olivier H. Roux},
	Booktitle = {The 9th International Workshop on Reachability Problems},
	Month = SEP,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Volume = {9328},
	Title = {Integer-Complete Synthesis for Bounded Parametric Timed Automata},
	doi = {10.1007/978-3-319-24537-9\_2},
	Pages = {7--19},
	Year = 2015,
}

@inproceedings{david-ICATPN-15,
	Address = {Brussels, Belgium},
	Author = {Nicolas David and Claude Jard and Didier Lime and Olivier H. Roux},
	Booktitle = {The 36th International Conference on Application and Theory of
	             {{P}etri} Nets and Concurrency ({P}etri Nets 2015)},
	Editor = {Raymond Devillers and Antti Valmari},
	Volume = {9115},
	Pages = {137--156},
	Month = JUN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Discrete Parameters in {P}etri Nets},
	doi = {10.1007/978-3-319-19488-2\_7},
	AcceptRate = {40\%},
	Year = 2015,
}


@article{jovanovic-TSE-15,
	author = {Jovanovi\'c, Aleksandra and Lime, Didier and Roux, Olivier H.},
	title = {Integer Parameter Synthesis for Real-Time Systems},
	journal = {IEEE Transactions on Software Engineering (TSE)},
	publisher = {{IEEE}},
	volume = {41},
	number = {5},
	pages = {445--461},
	doi = {10.1109/TSE.2014.2357445},
	year = 2015,
}

@article{benattar-IJC-15,
	author = {Benattar, Gilles and Cassez, Franck and Lime, Didier and Roux,
	          Olivier H.},
	title = {{Control and Synthesis of Non-interferent Timed Systems}},
	journal = {International Journal of Control},
	volume = {88},
	number = {2},
	pages = {217--236},
	publisher = {Taylor \& Francis},
	doi = {10.1080/00207179.2014.944356},
	year = 2015,
}


@inproceedings{lime-SYNCOP-14,
	author = {Lime, Didier},
	title = {Integer Parameter Synthesis for Timed Automata (Invited talk)},
	booktitle = {1st International Workshop on Synthesis of Continuous
	             Parameters (SynCoP'14)},
	address = {Grenoble, France},
	editor = {Andr\'e, \'Etienne and Frehse, Goran},
	month = MAR,
	year = 2014,
	volume = 145,
	publisher = {EPTCS},
}

@article{lime-FI-14,
	author = {Jard, Claude and Lime, Didier and Roux, Olivier H.},
	title = {{Blending Timed Formal Models with Clock Transition Systems}},
	journal = {Fundamenta Informaticae},
	publisher = {IOS Press},
	volume = {129},
	number = {1-2},
	pages = {85--100},
	doi = {10.3233/FI-2014-962},
	year = 2014,
}


@inproceedings{berard-RP-13,
	Address = {Uppsala, Sweden},
	author = {B\'erard, B\'eatrice and Haddad, Serge and Jovanovi\'c, Aleksandra
	          and Lime, Didier},
	Booktitle = {7th International Workshop on Reachability Problems (RP 2013)},
	Editor = {Parosh Aziz Abdulla and Igor Potapov},
	Month = SEP,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Parametric Interrupt Timed Automata},
	doi = {10.1007/978-3-642-41036-9\_7},
	Volume = {8169},
	Pages = {59--69},
	AcceptRate = {58\%},
	Year = 2013,
}



@article{jard-FMSD-13,
	author = {Jard, Claude and Lime, Didier and Roux, Olivier H. and Traonouez,
	          Louis-Marie},
	title = {Symbolic Unfolding of Parametric Stopwatch {P}etri Nets},
	journal = {Formal Methods in System Design},
	publisher = {Springer},
	volume = {43},
	number = {3},
	pages = {493--519},
	doi = {10.1007/s10703-013-0188-2},
	year = 2013,
}

@inproceedings{david-ATVA-14,
	Address = {Sydney, Australia},
	author = {David, Alexandre and Jensen, Peter G. and Larsen, Kim G. and Legay
	          , Axel and Lime, Didier and S{\o}rensen, Mathias Grund and
	          Taankvist, Jakob H.},
	Booktitle = {12th International Symposium on Automated Technology for
	             Verification and Analysis (ATVA 2014)},
	Editor = {Franck Cassez and Jean-Fran\c{c}ois Raskin},
	Month = NOV,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {On Time with Minimal Expected Cost!},
	doi = {10.1007/978-3-319-11936-6\_10},
	Year = 2014,
}

@inproceedings{jovanovic-ATVA-13,
	Address = {Hanoi, Vietnam},
	author = {Jovanovi\'c, Aleksandra and Lime, Didier and Roux, Olivier H.},
	Booktitle = {11th International Symposium on Automated Technology for
	             Verification and Analysis (ATVA 2013)},
	Editor = {Dang Van Hung and Mizuhito Ogawa},
	Month = OCT,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Synthesis of Bounded Integer Parameters for Parametric Timed
	         Reachability Games},
	Volume = {8172},
	Pages = {87--101},
	AcceptRate = {36\%},
	doi = {10.1007/978-3-319-02444-8\_8},
	Year = 2013,
}


@inproceedings{boucheneb-ICATPN-13,
	Address = {Milano, Italy},
	Author = {Hanifa Boucheneb and Didier Lime and Olivier H. Roux},
	Booktitle = {The 34th International Conference on Application and Theory of
	             {{P}etri} Nets and other models of concurrency ({P}etri Nets
	             2013)},
	Editor = {Jos\'e Manuel Colom and J\"org Desel},
	Month = JUN,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {On Multi-enabledness in Time {P}etri Nets},
	Volume = {7927},
	Pages = {130--149},
	AcceptRate = {33\%},
	doi = {10.1007/978-3-642-38697-8\_8},
	Year = 2013,
}

@article{lime-DEDS-13,
	author = {Lime, Didier and Martinez, Claude and Roux, Olivier H.},
	journal = {Journal of Discrete Event Dynamic Systems (jDEDS)},
	publisher = {Springer},
	title = {Shrinking of Time {P}etri nets},
	volume = {23},
	number = {4},
	pages = {419--438},
	doi = {10.1007/s10626-013-0159-1},
	year = 2013,
}


@inproceedings{jovanovic-TACAS-13,
	Address = {Roma, Italy},
	author = {Jovanovi\'c, Aleksandra and Lime, Didier and Roux, Olivier H.},
	Title = {Integer Parameter Synthesis for Timed Automata},
	Booktitle = {The 19th International Conference on Tools and Algorithms for
	             the Construction and Analysis of Systems (TACAS 2013)},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Volume = {7795},
	Pages = {401--415},
	Editor = {Nir Piterman and Scott Smolka},
	Month = MAR,
	AcceptRate = {24\%},
	doi = {10.1007/978-3-642-36742-7\_28},
	Year = 2013,
}

@phdthesis{lime-HDR-12,
	Address = {Nantes, France},
	Author = {Didier Lime},
	Month = DEC,
	School = {University of Nantes},
	Title = {Contributions \`a l'analyse des syst\`emes temporis\'es, ouverts et
	         r\'epartis},
	Year = 2012,
}


@article{berard-TCS-13,
	journal = {Theoretical Computer Science},
	title = {The Expressive Power of Time {P}etri Nets},
	author = {B\'eatrice B\'erard and Franck Cassez and Serge Haddad and Didier
	          Lime and Olivier H. Roux},
	year = 2013,
	publisher = {Elsevier},
	volume = {474},
	pages = {1--20},
	doi = {10.1016/j.tcs.2012.12.005},
}

@inproceedings{jovanovic-WODES-12,
	Address = {Guadalajara, Mexico},
	author = {Jovanovi\'c, Aleksandra and Faucou, S\'ebastien and Lime, Didier
	          and Roux, Olivier H.},
	Title = {Real-Time Control with Parametric Timed Reachability Games},
	Booktitle = {11th International Workshop on Discrete Event Systems
	             (WODES'12)},
	Publisher = {IFAC},
	Month = OCT,
	Pages = {323--330},
	doi = {10.3182/20121003-3-MX-4033.00052},
	Year = 2012,
}


@inproceedings{lime-CSP-12,
	address = {Berlin, Germany},
	author = {Lime, Didier and Roux, Olivier H. and Jard, Claude},
	title = {{Clock Transition Systems}},
	booktitle = {The 21th international Workshop on Concurrency, Specification
	             and Programming (CS\&P 2012)},
	month = SEP,
	year = 2012,
	publisher = {Bia\l ystok University of Technology},
	isbn = {978-83-62582-42-6},
}

@inproceedings{akshay-FORMATS-12,
	Address = {London, UK},
	Author = {Akshay, S. and H\'elou\"et, Lo\"ic and Jard, Claude and Lime,
	          Didier and Roux, Olivier H.},
	Booktitle = {The 10th International Conference on Formal Modeling and
	             Analysis of Timed Systems (FORMATS 2012)},
	Editor = {Marcin Jurdzi\'nski and Dejan Nickovic},
	Month = SEP,
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Robustness of Time {P}etri Nets under Architectural Constraints},
	Volume = {7595},
	Pages = {11--26},
	AcceptRate = {47\%},
	doi = {10.1007/978-3-642-33365-1\_3},
	Year = 2012,
}

@article{benattar-IJFCS-12,
	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},
	journal = {International Journal of Foundations of Computer Science},
	publisher = {World Scientific Publishing Company},
	year = 2012,
	volume = {23},
	number = {6},
	doi = {10.1142/S0129054112400503},
	pages = {12--41},
}

@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},
	doi = {10.1007/s11241-008-9059-0},
	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 {P}etri Nets},
	Publisher = {Graz University of Technology and Universiti Malaysia Sarawak},
	Year = 2009,
	Volume = {15},
	Number = {17},
	doi = {10.3217/jucs-015-17-3273},
	pages = {3273--3304},
}

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

@proceedings{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,
	doi = {10.1002/9781118558188.ch1},
	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 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},
	doi = {10.1002/9781118558188.ch6},
	month = OCT,
	year = 2009,
}

@incollection{berard-WILEY-10,
	title = {Comparison of Expressiveness for Timed Automata and Time {P}etri
	         Nets},
	author = {B\'eatrice B\'erard and Franck Cassez and Serge Haddad and Didier
	          Lime and Roux, Olivier H.},
	pages = {93--144},
	booktitle = {Combinatorial Optimization and Theoretical Computer Science},
	editor = {Vangelis Th. Paschos},
	publisher = {ISTE Publishing / John Wiley},
	isbn = {9781848210219},
	month = JAN,
	doi = {10.1002/9780470611098.ch4},
	year = 2010,
}


@incollection{david-IC2-08,
	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-08,
	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 {P}etri
	         nets?},
	Volume = {403},
	Number = {2-3},
	Pages = {202--220},
	doi = {10.1016/j.tcs.2008.03.030},
	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},
	doi = {10.1159/000110010},
	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 {P}etri
	         Nets with Stopwatches},
	Volume = {17},
	Number = {2},
	Pages = {133--158},
	doi = {10.1007/s10626-006-0011-y},
	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 {{P}etri} nets using the state class timed
	         automaton},
	Volume = {16},
	Pages = {179--205},
	doi = {10.1007/s10626-006-8133-9},
	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},
	doi = {10.3166/tsi.25.343-370},
	Year = 2006,
}

@article{berthomieu-MSR-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
	           for the proceedings of ``5e Colloque Francophone sur la Mod\'
	           elisation des Syst\`emes R\'eactifs`(MSR 2005), Autrans, France''},
	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 {P}etri 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)},
	Editor = {Mossakowski, Till and Kreowski, Hans-J\"org},
	Year = 2012,
	Month = FEB,
	Series = {Lecture Notes in Computer Science},
	Volume = {7137},
	AcceptRate = {47\% (after abstracts selection)},
	doi = {10.1007/978-3-642-28412-0\_12},
	pages = {175-192},
	Publisher = {Springer},
}

@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,
	pages = {79-92},
	Year = 2011,
	doi = {10.1142/S0129054112400503},
}

@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 {P}etri nets},
	Booktitle = {1st workshop on {P}etri Nets Compositions (CompoNet 2011)},
	Year = {2011},
	Pages = {17-31},
	Address = {Newcastle, UK},
	Volume = {726},
	Month = JUN,
	AcceptRate = {67\%},
	Publisher = {CEUR},
}

@inproceedings{leclercq-MSR-23,
	Author = {Loriane Leclercq and Didier Lime and Olivier H. Roux},
	Title = {Synth\`ese de contr\^oleur pour les r\'eseaux de {P}etri temporels
	         bas\'ee sur les classes d'\'etats},
	Booktitle = {14\`eme Colloque sur la Mod\'elisation des Syst\`emes R\'
	             eactifs (MSR 2019)},
	Month = NOV,
	Address = {Toulouse, France},
	Year = 2023,
}

@inproceedings{spriet-MSR-23,
	Author = {Anthony Spriet and Didier Lime and Olivier H. Roux},
	Title = {Non-interf\'erence temporis\'ee avec observation partielle et m\'
	         emoire born\'ee},
	Booktitle = {14\`eme Colloque sur la Mod\'elisation des Syst\`emes R\'
	             eactifs (MSR 2019)},
	Month = NOV,
	Address = {Toulouse, France},
	Year = 2023,
}

@inproceedings{bechennec-MSR-19,
	Author = {Jean-Luc B\'echennec and Didier Lime and Olivier H. Roux},
	Title = {Contr\^ole des SED avec urgence, évitabilité et inéluctabilité},
	Booktitle = {12\`eme Colloque sur la Mod\'elisation des Syst\`emes R\'
	             eactifs (MSR 2019)},
	Month = NOV,
	Address = {Angers, France},
	Year = 2019,
}

@article{lime-MSR-11,
	Author = {Didier Lime and Claude Martinez and Olivier H. Roux},
	Journal = {European Journal of Automation (JESA) -- Special issue in French
	           for the proceedings of ``8e Colloque Francophone sur la Mod\'
	           elisation des Syst\`emes R\'eactifs`(MSR 2011), Lille, France''},
	Month = NOV,
	Number = {1-2-3},
	Pages = {13--28},
	Publisher = {Hermes-Science},
	Title = {Coercition temporelle de r\'eseaux de {P}etri},
	doi = {10.3166/JESA.45.13-28},
	Volume = {45},
	Year = 2011,
}



@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 {P}etri Nets},
	doi = {10.1007/978-3-642-15643-4\_22},
	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 {P}etri Nets},
	Volume = {6246},
	Year = 2010,
	AcceptRate = {45\%},
	doi = {10.1007/978-3-642-15297-9\_12},
	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},
	doi = {10.1007/978-3-642-04368-0-5},
	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 {P}etri Nets with Stopwatches
	         },
	Volume = {5505},
	Pages = {54--57},
	AcceptRate = {33\%},
	doi = {10.1007/978-3-642-00768-2\_6},
	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 {P}etri nets with stopwatches
	         using the state-class graph},
	doi = {10.1007/978-3-540-85778-5\_20},
	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
	             {{P}etri} Nets and other models of concurrency ({P}etri Nets
	             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 {P}etri nets with discrete-time
	         semantics},
	doi = {10.1007/978-3-540-68746-7\_21},
	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},
	doi = {10.1007/978-3-540-75596-8\_15},
	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},
	doi = {10.1007/978-3-540-73368-3\_14},
	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 {P}etri
	         nets?},
	doi = {10.1016/j.tcs.2008.03.030},
	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 {P}etri Nets},
	Volume = {3707},
	doi = {10.1007/11562948\_23},
	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 {P}etri
	         Nets},
	Volume = {3829},
	doi = {10.1007/11603009\_17},
	AcceptRate = {"44\%"},
	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 {P}etri
	         nets with stopwatches},
	doi = {10.1016/j.entcs.2006.01.005},
	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},
	doi = {10.1007/11539452\_9},
	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 {{P}etri} nets},
	Volume = {3576},
	doi = {10.1007/11513988\_41},
	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 {P}etri 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}},
	Title = {A translation-based method for the timed analysis of scheduling
	         extended time {{P}etri} nets},
	AcceptRate = {"22\%"},
	doi = {10.1109/REAL.2004.9},
	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
	             {{P}etri} Nets ({P}etri Nets 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 {{P}etri} Nets with Inhibitor Hyperarcs. {Formal} Semantics
	         and State Space Computation},
	Volume = {3099},
	AcceptRate = {"28\%"},
	doi = {10.1007/978-3-540-27793-4\_21},
	Year = 2004,
}

@inproceedings{lime-PNPM-03,
	Address = {Urbana, USA},
	Author = {Didier Lime and Olivier H. Roux},
	Booktitle = {10th International Workshop on {{P}etri} Nets and Performance
	             Models, (PNPM 2003)},
	Month = SEP,
	Pages = {124--133},
	Publisher = {{IEEE}},
	Title = {State class Timed Automaton of a Time {{P}etri} Net},
	AcceptRate = {"52\%"},
	doi = {10.1109/PNPM.2003.1231549},
	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 {{P}etri}
	         nets},
	Year = 2003,
}




@inproceedings{beldiceanu-SMARTGREENS-15,
	author = {Nicolas Beldiceanu and Barbara Dumas Feris and Philippe Gravey and
	          Md Sabbir Hasan and Claude Jard and Thomas Ledoux and Yunbo Li and
	          Didier Lime and Gilles Madi{-}Wamba and Jean{-}Marc Menaud and
	          Pascal Morel and Michel Morvan and Marie{-}Laure Moulinard and Anne
	          {-}C{\'{e}}cile Orgerie and Jean{-}Louis Pazat and Olivier H. Roux
	          and Ammar Sharaiha},
	editor = {Markus Helfert and Karl{-}Heinz Krempels and Brian Donnellan and
	          Cornel Klein},
	title = {The {EPOC} Project - Energy Proportional and Opportunistic
	         Computing System},
	booktitle = {4th International Conference on Smart Cities and Green {ICT}
	             Systems {SMARTGREENS} 2015},
	address = {Lisbon, Portugal},
	month = May,
	pages = {388--394},
	publisher = {SciTePress},
	year = {2015},
}


@article{beldiceanu-COMPUTING-17,
	author = {Nicolas Beldiceanu and Barbara Dumas Feris and Philippe Gravey and
	          Md Sabbir Hasan and Claude Jard and Thomas Ledoux and Yunbo Li and
	          Didier Lime and Gilles Madi{-}Wamba and Jean{-}Marc Menaud and
	          Pascal Morel and Michel Morvan and Marie{-}Laure Moulinard and Anne
	          {-}C{\'{e}}cile Orgerie and Jean{-}Louis Pazat and Olivier H. Roux
	          and Ammar Sharaiha},
	title = {Towards energy-proportional clouds partially powered by renewable
	         energy},
	journal = {Computing},
	volume = {99},
	number = {1},
	pages = {3--22},
	year = {2017},
	doi = {10.1007/s00607-016-0503-z},
}