Výsledky vyhledávání - "Coudert, Sophie"

Akademický článek

Execution trace analysis for a precise understanding of latency violations.

Autor: Zoor, Maysam, Apvrille, Ludovic, Pacalet, Renaud, Coudert, Sophie

Publikováno v: Software & Systems Modeling; Oct2023, Vol. 22 Issue 5, p1519-1541, 23p

Zobrazit plný text záznamu

Plný text ve formátu HTML

Formal Method for RailWays Disasters prevention

Autor: Belabed, Lilia, Tanzi, Tullio Joseph, Coudert, Sophie

Publikováno v: Information Technology in Disaster Risk Reduction. ITDRR 2017. IFIP Advances in Information and Communication Technology
Murayama Y., Velev D., Zlateva P. (eds). Information Technology in Disaster Risk Reduction. ITDRR 2017. IFIP Advances in Information and Communication Technology, 516, Springer, pp.161-170, 2019

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bba8f1112a68fefa238d687f14431198
https://hal.telecom-paris.fr/hal-02364487

Zobrazit plný text záznamu

Periodical

Incremental and Formal Verification of SysML Models

Autor: Coudert, Sophie, Apvrille, Ludovic, Sultan, Bastien, Hotescu, Oana, de Saqui-Sannes, Pierre

Publikováno v: SN Computer Science; August 2024, Vol. 5 Issue: 6

Zobrazit plný text záznamu

Formal methode for safe and Verification of RailWay Signaling Sustems

Autor: Belabed, Lilia, Tanzi, Tullio, Coudert, Sophie

Publikováno v: Conference on Information Technology in Disaster risk reduction (ITDRR 2017)
Conference on Information Technology in Disaster risk reduction (ITDRR 2017), Oct 2017, Sofia, Bulgaria

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::09606769afa7e8b35cfb143bb76b416d
https://hal.telecom-paris.fr/hal-02412316

Zobrazit plný text záznamu

Formal Methods for Safe Design and Verification of Transportation Systems

Autor: Belabed, Lilia, Tanzi, Tullio, Coudert, Sophie, Legros, Dominique

Publikováno v: 1st Summer School Human Factors Aspects of Cooperative Systems Design
1st Summer School Human Factors Aspects of Cooperative Systems Design, Jul 2017, Sophia Antipolis, France

International audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a123c05a453f8984c2ba4ac11a79f62a
https://hal.telecom-paris.fr/hal-02412315

Zobrazit plný text záznamu

Modélisation formelle pour l’ingénierie système. La sûreté d’un drone comme illustration des enjeux d’une conception formalisée

Autor: Coudert, Sophie, Legros, Dominique

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::618955b8b517e126b1e7f1caba486f96

Zobrazit plný text záznamu

IP Abstraction Paradigm for RTL Models using Control-Data Slicing Techniques

Autor: Ameur-Boulifa, R., Coudert, Sophie, Muhammad, W., Pacalet, R.

Publikováno v: Sophia Antipolis MicroElectronics Forum (SAME)
Sophia Antipolis MicroElectronics Forum (SAME), Oct 2007, Sophia Antipolis, France

National audience

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b50ea721fd847a1b9a0b82151aeb9a30
https://hal.archives-ouvertes.fr/hal-00525334

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání