| Romeo: A parametric model-checker for Petri nets with stopwatches D Lime, OH Roux, C Seidner, LM Traonouez Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 190 | 2009 |
| Formal methods for systems engineering behavior models C Seidner, OH Roux IEEE Transactions on industrial informatics 4 (4), 280-291, 2008 | 44 | 2008 |
| Vérication des EFFBDs: Model checking en Ingénierie Système C Seider Thèse de doctorat. Université de Nantes, 2009 | 27 | 2009 |
| Optimal reachability in cost time Petri nets H Boucheneb, D Lime, B Parquier, OH Roux, C Seidner Formal Modeling and Analysis of Timed Systems: 15th International Conference …, 2017 | 13 | 2017 |
| 1.6. 1 xFFBD: towards a formal yet functional modeling language for system designers B Aizier, S LIZY‐DESTREZ, C SEIDNER, V CHAPURLAT, D PRUN, ... INCOSE International Symposium 22 (1), 170-183, 2012 | 10 | 2012 |
| Cost problems for parametric time Petri nets D Lime, OH Roux, C Seidner Fundamenta Informaticae 183, 2021 | 8 | 2021 |
| Parameter synthesis for bounded cost reachability in time petri nets D Lime, OH Roux, C Seidner Application and Theory of Petri Nets and Concurrency: 40th International …, 2019 | 6 | 2019 |
| 5.4. 1 Simulation and Verification of [Dys] functional Behavior Models: Model Checking for SE C Seidner, JP Lerat, OH Roux INCOSE International Symposium 20 (1), 681-693, 2010 | 6 | 2010 |
| 5.4. 3 Usability of formal verification on EFFBD models: Applying Petri nets to Systems Engineering issues C Seidner, JP Lerat, OH Roux INCOSE International Symposium 17 (1), 848-859, 2007 | 6 | 2007 |
| Optimal-cost reachability analysis based on time Petri nets H Boucheneb, D Lime, OH Roux, C Seidner 2018 18th International Conference on Application of Concurrency to System …, 2018 | 5 | 2018 |
| Formal synthesis of real-time system models in a MDE approach C Lelionnais, J Delatour, M Brun, OH Roux, C Seidner IARIA Journals 7 (1&2), pp. 115-128, 2014 | 5 | 2014 |
| Formal behavioral modeling of real-time operating systems C Lelionnais, M Brun, J Delatour, OH Roux, C Seidner The 14th International Conference on Enterprise Information Systems (ICEIS …, 2012 | 4 | 2012 |
| EFFBDs verification: Model-checking in systems engineering C Seidner Pdh University of Nantes, 2009 | 4 | 2009 |
| Usability and usefulness of formal verification in a system design process C Seidner, JP Lerat, OH Roux $18^{th} $ International Symposium of the INCOSE, 0-10, 2008 | 4 | 2008 |
| On the formal verification of EFFBD models using a structural translation to time Petri nets C Seidner, OH Roux IRCCyN, Nantes, France, Tech. Rep. RI2007-3 ref 3695, 8, 2007 | 4 | 2007 |
| Étude des représentations haut-niveau en Ingénierie Système et de leur aptitude à supporter des vérifications formelles C Seidner Séminaire bibliographique de DEA, École Centrale de Nantes 20, 25, 2006 | 4 | 2006 |
| Étude de la traduction de diagrammes de type EFFBD en réseaux de Petri temporels C Seidner Mémoire de DEA, École Centrale de Nantes 28, 2006 | 3 | 2006 |
| Formal composition based on roles within a model driven engineering approach C Lelionnais, M Brun, J Delatour, OH Roux, C Seidner Advances in System Testing and Validation. Venice, Italy: IARIA, 27-32, 2013 | 2 | 2013 |
| xFFBD: towards a formal yet simple and complete functional modeling technique for system designers B Aizier, S Lizy-Destrez, C Seidner, V Chapurlat, D Prun, JL Wippler INCOSE 2012, 22nd Annual International Council on Systems Engineering …, 2012 | 2 | 2012 |
| Behavior Diagrams Model-Checking: Formal Methods Applied to {S} ystems {E} ngineering and Design C Seidner, JP Lerat, OH Roux $6^{th} $ Annual Conference on Systems Engineering Research, 0-10, 2008 | 2 | 2008 |
