Formal Methods for Systems Engineering Behavior Models. - Charlotte Seidner; Olivier H. Roux (IEEE Trans. Ind. Informatics, 2008)

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. - Didier Lime; Olivier H. Roux; Charlotte Seidner; Louis-Marie Traonouez (TACAS, 2009)

Vérication des EFFBDs : Model checking en Ingénierie Système. (EFFBDs Verication: Model checking in Systems Engineering). - Charlotte Seidner (2009)

Formal Behavioral Modeling of Real-time Operating Systems. - Cédrick Lelionnais; Matthias Brun 001; Jérôme Delatour; Olivier H. Roux; Charlotte Seidner (ICEIS (2), 2012)

Optimal Reachability in Cost Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Baptiste Parquier; Olivier H. Roux; Charlotte Seidner (FORMATS, 2017)

Optimal-Cost Reachability Analysis Based on Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Olivier H. Roux; Charlotte Seidner (ACSD, 2018)

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets. - Didier Lime; Olivier H. Roux; Charlotte Seidner (Petri Nets, 2019)

Cost Problems for Parametric Time Petri Nets. - Didier Lime; Olivier H. Roux; Charlotte Seidner (Fundam. Informaticae, 2021)