Membre

L’INTELLIGENCE SCIENTIFIQUE AU CŒUR D’UN MONDE NUMÉRIQUE

Fiche Membre

En un clic !

Thématiques de recherche
Pôles d’expertises
Nos équipes
Formation par la recherche
- Doctorats
- Masters
HDR
Thèses
Publications

Composante(s) d’expertise Pôle associée(s)

CCS

Systèmes embarquésSystèmes Temps Réel

Expertises équipes

Calcul intermittentOrdonnancement temps réelSûreté de fonctionnementSystèmes temporisés, paramétrés, hybrides

Charlotte Seidner

Enseignant chercheur / Enseignante chercheuse – Maître / maîtresse de conférences

Equipe : STR

Employeur : Nantes Université

Expertises :

Coordonnées

Email :

Adresse(s)

Informations non disponibles pour l’instant

Publications déposées sur HAL

Nombre de publications retournées : 12

Revues internationales avec comité de lecture

[1] C. Seidner, O. Roux. , in IEEE Transactions on Industrial Informatics, vol. 4, no. 4, pp. 280-291,

[2] C. Lelionnais, J. Delatour, M. Brun, O. Roux, C. Seidner. Synthèse Formelle de Modèles de Systèmes Temps Réel dans une Approche IDM, in IARIA Journals, vol. 7, no. 1&2, pp. pp.115-128,

Conférences internationales avec comité de lecture et actes

[3] C. Seidner, J. Lerat, O. Roux. Usability of formal verification on EFFBD models: Applying {P}etri nets to Systems Engineering issues, in 17$^{th}$ International Symposium of the International Council on Systems Engineering (IS2007), San Diego, états-Unis,

[4] C. Seidner, J. Lerat, O. Roux. Behavior Diagrams Model-Checking: Formal Methods Applied to {S}ystems {E}ngineering and Design, in $6^{th}$ Annual Conference on Systems Engineering Research, Los Angeles, états-Unis,

[5] C. Seidner, J. Lerat, O. Roux. Usability and Usefulness of Formal Verification in a System Design Process, in $18^{th}$ International Symposium of the INCOSE, Utrecht, Pays-Bas,

[6] C. Lelionnais, M. Brun, J. Delatour, O. Roux, C. Seidner. Modélisation Comportementale et Formelle de Systèmes d'Exploitation Temps Réel, in The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), Wroclaw, Pologne,

[7] B. Aizier, S. Lizy-Destrez, C. Seidner, V. Chapurlat, D. Prun, J. Wippler. xFFBD : towards a formal yet simple and complete functional modeling technique for system designers, in INCOSE 2012, 22nd Annual International Council on Systems Engineering Symposium, Rome, Italie,

[8] C. Lelionnais, M. Brun, J. Delatour, O. Roux, C. Seidner. Formal composition based on roles within a model driven engineering approach, in The 5th International Conference on Advances in System Testing and Validation Lifecycle (VALID 2013), Venice, Italie,

[9] H. Boucheneb, D. Lime, B. Parquier, C. Seidner, O. Roux. Optimal Reachability in Cost Time Petri Nets, in 15th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2017), Berlin, Allemagne, DOI

[10] H. Boucheneb, D. Lime, O. Roux, C. Seidner. Optimal-Cost Reachability Analysis Based on Time Petri Nets, in 18th International Conference on Application of Concurrency to System Design (ACSD 2018), Bratislava, Slovaquie, DOI

[11] D. Lime, O. Roux, C. Seidner. Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets, in 40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019), Aachen, Allemagne, DOI

Theses et HDR

[12] S. Charlotte. Vérication des EFFBDs : Model checking en Ingénierie Système,

Pas de projets référencées pour l’instant

Pas de plateformes référencées pour l’instant

Pas de logiciels de référencés pour l’instant