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
Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009
1802009
Formal methods for systems engineering behavior models
C Seidner, OH Roux
IEEE Transactions on industrial informatics 4 (4), 280-291, 2008
402008
Vérication des EFFBDs: Model checking en Ingénierie Système
C Seidner
Thèse de doctorat. Université de Nantes, 2009
292009
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
122017
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
102012
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
62019
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
Cost problems for parametric time Petri nets
D Lime, OH Roux, C Seidner
Fundamenta Informaticae 183, 2021
52021
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
52018
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
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
52007
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
42012
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
É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
42006
É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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20