Personal profile
Fingerprint
Dive into the research topics where Virgile Prevosto 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
-
Formal Verification of PKCS#1 Signature Parser Using Frama-C
Hána, M., Kosmatov, N., Prevosto, V. & Signoles, J., 1 Jan 2026, Integrated Formal Methods - 20th International Conference, iFM 2025, Proceedings. Damiani, F. & Farrell, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 336-358 23 p. (Lecture Notes in Computer Science; vol. 16194 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
High-Level Program Properties in Frama-C: Definition, Verification and Deduction
Robles, V., Kosmatov, N., Prevosto, V. & Le Gall, P., 1 Jan 2025, Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 159-177 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15221 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Typestates Specification and Verification in Frama-C
Patte, S. & Prevosto, V., 1 Jan 2025, Proceedings - 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering, FormaliSE 2025. Institute of Electrical and Electronics Engineers Inc., p. 146-156 11 p. (Proceedings - 2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering, FormaliSE 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification
Gauthier, L., Prevosto, V. & Signoles, J., 6 Jun 2024, Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024. Association for Computing Machinery, Inc, p. 100-110 11 p. (Proceedings - 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, FormaliSE 2024).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Preface
Prevosto, V. & Seceleanu, C., 1 Jan 2023, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14066 LNCS, p. viResearch output: Contribution to journal › Editorial
-
An Efficient VCGen-Based Modular Verification of Relational Properties
Blatter, L., Kosmatov, N., Prevosto, V. & Le Gall, P., 1 Jan 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 498-516 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Certified Verification of Relational Properties
Blatter, L., Kosmatov, N., Prevosto, V. & Le Gall, P., 1 Jan 2022, Integrated Formal Methods - 17th International Conference, IFM 2022, Proceedings. ter Beek, M. H. & Monahan, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 86-105 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13274 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Verifying Redundant-Check Based Countermeasures: A Case Study
Martin, T., Kosmatov, N. & Prevosto, V., 25 Apr 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. Association for Computing Machinery, p. 1849-1852 4 p. (Proceedings of the ACM Symposium on Applied Computing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Methodology for Specification and Verification of High-Level Requirements with MetAcsl
Robles, V., Kosmatov, N., Prevosto, V., Rilling, L. & Gall, P. L., 1 May 2021, Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021. Institute of Electrical and Electronics Engineers Inc., p. 54-67 14 p. (Proceedings - 2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering, FormaliSE 2021).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
The dogged pursuit of bug-free C programs: The Frama-C Software Analysis Platform
Baudin, P., Bobot, F., Bühler, D., Correnson, L., Kirchner, F., Kosmatov, N., Maroneze, A., Perrelle, V., Prevosto, V., Signoles, J. & Williams, N., 1 Aug 2021, In: Communications of the ACM. 64, 8, p. 56-67 12 p.Research output: Contribution to journal › Review article › peer-review
Open Access