Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
-
Autonomous Systems: Towards an Assessment of the Reliability
Tanzi, T. J. & Coudert, S., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
AMULET: A Mutation Language Enabling Automatic Enrichment of SysML Models
Sultan, B., Frénot, L., Apvrille, L., Jaillon, P. & Coudert, S., 13 mai 2025, Dans: ACM Transactions on Embedded Computing Systems. 24, 3, 46.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Incremental and Formal Verification of SysML Models
Coudert, S., Apvrille, L., Sultan, B., Hotescu, O. & de Saqui-Sannes, P., 1 août 2024, Dans: SN Computer Science. 5, 6, 714.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Execution trace analysis for a precise understanding of latency violations
Zoor, M., Apvrille, L., Pacalet, R. & Coudert, S., 1 oct. 2023, Dans: Software and Systems Modeling. 22, 5, p. 1519-1541 23 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Mutation of Formally Verified SysML Models
Apvrille, L., Sultan, B., Hotescu, O., de Saqui-Sannes, P. & Coudert, S., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures
Sultan, B., Apvrille, L., Jaillon, P. & Coudert, S., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Proving the Safety of a Sliding Window Protocol with Event-B
Coudert, S., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
Formal methods for railway disasters prevention
Belabed, L., Tanzi, T. J. & Coudert, S., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Formal methods for safe design of autonomous systems dedicated to risk management
Coudert, S. & Tanzi, T. J., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Approche pour l'intégration du raffinement formel dans le processus de conception des SoCs
Mokrani, H., Ameur-Boulifa, R., Coudert, S. & Encrenaz-Tiphene, E., 1 déc. 2011, Dans: Journal Europeen des Systemes Automatises. 45, 1-3, p. 221-236 16 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs