Follow
Charlotte Seidner
Charlotte Seidner
University of Nantes - IRCCyN UMR CNRS 6597
Verified email at irccyn.ec-nantes.fr
Title
Cited by
Cited by
Year
Romeo: A parametric model-checker for Petri nets with stopwatches
D Lime, OH Roux, C Seidner, LM Traonouez
International Conference on Tools and Algorithms for the Construction and …, 2009
1522009
Formal methods for systems engineering behavior models
C Seidner, OH Roux
IEEE Transactions on industrial informatics 4 (4), 280-291, 2008
372008
Vérication des EFFBDs: Model checking en Ingénierie Système
C Seidner
Thèse de doctorat. Université de Nantes, 2009
272009
Optimal reachability in cost time Petri nets
H Boucheneb, D Lime, B Parquier, OH Roux, C Seidner
International Conference on Formal Modeling and Analysis of Timed Systems, 58-73, 2017
112017
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
82012
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
62010
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
62007
Parameter synthesis for bounded cost reachability in time petri nets
D Lime, OH Roux, C Seidner
International Conference on Applications and Theory of Petri Nets and …, 2019
52019
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
52014
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
42018
EFFBDs Verification: Model checking in Systems Engineering
C Seidner
Pdh University of Nantes, 2009
42009
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
42008
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, 2007
42007
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
32012
É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
32006
É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
32006
Formal composition based on roles within a model driven engineering approach
C Lelionnais, M Brun, J Delatour, OH Roux, C Seidner
The 5th International Conference on Advances in System Testing and …, 2013
22013
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
22008
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
12012
Cost Problems for Parametric Time Petri Nets
C Seidner, OH Roux, D Lime
Fundamenta Informaticae 183, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20