C
Charlotte Seidner
Researcher at University of Nantes
Publications - 19
Citations - 200
Charlotte Seidner is an academic researcher from University of Nantes. The author has contributed to research in topics: Petri net & Formal verification. The author has an hindex of 5, co-authored 19 publications receiving 177 citations. Previous affiliations of Charlotte Seidner include Centre national de la recherche scientifique.
Papers
More filters
Book ChapterDOI
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches
TL;DR: Romeo is the first tool that performs TCTL model-checking on timed parametric models and its audience has increased leading to several industrial contracts.
Journal ArticleDOI
Formal Methods for Systems Engineering Behavior Models
Charlotte Seidner,Olivier Roux +1 more
TL;DR: Considering the widely-used model of enhanced function flow block diagrams (EFFBDs), it is proposed a structural translation of EFFBDs to transition time Petri nets ( TPNs) and this translation is proved to preserve the behavioral semantics, leading to a formal verification tool within a development platform for system design for defense applications.
Journal ArticleDOI
5.4.1 Simulation and Verification of [Dys]functional Behavior Models: Model Checking for SE
TL;DR: This work has developed a formal simulation and verification tool for the widely used Enhanced Function Flow Block Diagrams (EFFBDs), and great care has been taken to conceal the processing complexity from the tool end‐user.
Book ChapterDOI
Optimal Reachability in Cost Time Petri Nets
TL;DR: It is proved that this algorithm terminates in both cases by proving that it explores only a finite number of extended state classes for bounded TPN, without having to resort to a bounded clock hypothesis, or to an extra approximation/extrapolation operator.
Journal ArticleDOI
1.6.1 xFFBD: towards a formal yet functional modeling language for system designers
Bruno Aizier,Stéphanie Lizy-Destrez,Charlotte Seidner,Vincent Chapurlat,Daniel Prun,Jean-Luc Wippler +5 more
TL;DR: This paper compares eFFBD with other formalisms considered here as relevant for the study, Petri nets and SysML, and provides a first draft version of xFFBD specification, which has to be a credible framework for modeling, communicating and reasoning about complex systems.