Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Charlotte SEIDNER


Equipe : STR.

: Charlotte.Seidneratls2n.fr

: +33 (0)2 28 09 21 71

Adresse :

Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [2] C. Seidner, O. Roux. Formal Methods for Systems Engineering Behavior Models. In IEEE Transactions on Industrial Informatics ; éd. Institute of Electrical and Electronics Engineers, 2008, vol. 4, num. 4.

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [3] 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), juin 2019, Aachen, Allemagne.
    • [4] 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), juin 2018, Bratislava, Slovaquie.
    • [5] 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), septembre 2017, Berlin, Allemagne.
    • [6] 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), novembre 2013, Venice, Italie.
    • [7] C. Lelionnais, M. Brun, J. Delatour, O. Roux, C. Seidner. Formal Behavioral Modeling of Real-Time Operating Systems. In The 14th International Conference on Enterprise Information Systems (ICEIS (2) 2012), juin 2012, Wroclaw, Pologne.
    • [8] 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, juillet 2012, Rome, Italie.
    • [9] 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, 2008, Los Angeles, états-Unis.
    • [10] 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, 2008, Utrecht, Pays-Bas.
    • [11] 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), 2007, San Diego, états-Unis.

Theses et HDR (THESE)

Copyright : LS2N 2017 - Mentions Légales -