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
1322009
Formal methods for systems engineering behavior models
C Seidner, OH Roux
IEEE Transactions on industrial informatics 4 (4), 280-291, 2008
362008
Vérication des EFFBDs: Model checking en Ingénierie Système
C Seidner
Thèse de doctorat. Université de Nantes, 2009
262009
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
82017
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. 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
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
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
42010
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
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
22019
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
22018
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
Solving the Problem
C Seidner, JL Wippler
Large scale Complex Systems and Systems of Systems Engineering: Case Studies …, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20