Charlotte Seidner

According to our database, Charlotte Seidner authored at least 8 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Cost Problems for Parametric Time Petri Nets.

Didier Lime, Olivier H. Roux, Charlotte Seidner

Fundam. Informaticae, 2021

2019

Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets.

Didier Lime, Olivier H. Roux, Charlotte Seidner

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

Optimal-Cost Reachability Analysis Based on Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Olivier H. Roux, Charlotte Seidner

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Optimal Reachability in Cost Time Petri Nets.

Hanifa Boucheneb, Didier Lime, Baptiste Parquier, Olivier H. Roux, Charlotte Seidner

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2012

Formal Behavioral Modeling of Real-time Operating Systems.

Cédrick Lelionnais, Matthias Brun, Jérôme Delatour, Olivier H. Roux, Charlotte Seidner

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

2009

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

Charlotte Seidner

PhD thesis, 2009

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches.

Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

Formal Methods for Systems Engineering Behavior Models.

Charlotte Seidner, Olivier H. Roux

IEEE Trans. Ind. Informatics, 2008