Charlotte Seidner

Charlotte Seidner

École Centrale de Nantes - Nantes / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4510802
Central School of Nantes
person_outline Charlotte Seidner's MOST POPULAR ARTICLES
1-) Romeo: A parametric model-checker for Petri nets with stopwatchesD Lime, OH Roux, C Seidner, LM TraonouezInternational Conference on Tools and Algorithms for the Construction and …, 20091582009
2-) Formal methods for systems engineering behavior modelsC Seidner, OH RouxIEEE Transactions on industrial informatics 4 (4), 280-291, 2008392008
3-) Vérication des EFFBDs: Model checking en Ingénierie SystèmeC SeidnerThèse de doctorat. Université de Nantes, 2009272009
4-) Optimal reachability in cost time Petri netsH Boucheneb, D Lime, B Parquier, OH Roux, C SeidnerFormal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017132017
5-) 1.6. 1 xFFBD: towards a formal yet functional modeling language for system designersB Aizier, S LIZY‐DESTREZ, C SEIDNER, V Chapurlat, D Prun, ...INCOSE International Symposium 22 (1), 170-183, 2012102012