Fingerprint
Dive into the research topics where Sophie Coudert is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Autonomous Systems: Towards an Assessment of the Reliability
Tanzi, T. J. & Coudert, S., 1 Jan 2026, Information Technology in Disaster Risk Reduction - 9th IFIP WG 5.15 International Conference, ITDRR 2024, Revised Selected Papers. Seböck, W., Lampoltshammer, T. J., Zeller, I. & Dugdale, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 179-191 13 p. (IFIP Advances in Information and Communication Technology; vol. 752 IFIPAICT).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models
Sultan, B., Frénot, L., Apvrille, L., Jaillon, P. & Coudert, S., 13 May 2025, In: ACM Transactions on Embedded Computing Systems. 24, 3, 46.Research output: Contribution to journal › Article › peer-review
Open Access -
Incremental and Formal Verification of SysML Models
Coudert, S., Apvrille, L., Sultan, B., Hotescu, O. & de Saqui-Sannes, P., 1 Aug 2024, In: SN Computer Science. 5, 6, 714.Research output: Contribution to journal › Article › peer-review
Open Access -
Execution trace analysis for a precise understanding of latency violations
Zoor, M., Apvrille, L., Pacalet, R. & Coudert, S., 1 Oct 2023, In: Software and Systems Modeling. 22, 5, p. 1519-1541 23 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Mutation of Formally Verified SysML Models
Apvrille, L., Sultan, B., Hotescu, O., de Saqui-Sannes, P. & Coudert, S., 1 Jan 2023, Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering. Domínguez Mayo, F. J., Pires, L. F. & Seidewitz, E. (eds.). Science and Technology Publications, Lda, p. 31-42 12 p. (International Conference on Model-Driven Engineering and Software Development; vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures
Sultan, B., Apvrille, L., Jaillon, P. & Coudert, S., 1 Jan 2023, Model-Driven Engineering and Software Development - 9th International Conference, MODELSWARD 2021, and 10th International Conference, MODELSWARD 2022, Revised Selected Papers. Pires, L. F., Hammoudi, S. & Seidewitz, E. (eds.). Springer Science and Business Media Deutschland GmbH, p. 203-229 27 p. (Communications in Computer and Information Science; vol. 1708 CCIS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Proving the Safety of a Sliding Window Protocol with Event-B
Coudert, S., 1 Jan 2021, Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Proceedings. Raschke, A. & Méry, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 50-65 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12709 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Formal methods for railway disasters prevention
Belabed, L., Tanzi, T. J. & Coudert, S., 1 Jan 2019, Information Technology in Disaster Risk Reduction - 2nd IFIP TC 5 DCITDRR International Conference, ITDRR 2017, Revised Selected Papers. Velev, D., Murayama, Y. & Zlateva, P. (eds.). Springer New York LLC, p. 161-176 16 p. (IFIP Advances in Information and Communication Technology; vol. 516).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Formal methods for safe design of autonomous systems dedicated to risk management
Coudert, S. & Tanzi, T. J., 1 Jan 2017, Information Technology in Disaster Risk Reduction - 1st IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Revised Selected Papers. Gonzalez, J. J., Zlateva, P., Murayama, Y. & Velev, D. (eds.). Springer New York LLC, p. 61-76 16 p. (IFIP Advances in Information and Communication Technology; vol. 501).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Approche pour l'intégration du raffinement formel dans le processus de conception des SoCs
Translated title of the contribution :Approach for the integration of formal refinement in the process of designing systems-on-chip (SoC) Research output: Contribution to journal › Article › peer-review