Skip to main navigation Skip to search Skip to main content
No photo of Virgile Prevosto

View Scopus Profile

Virgile Prevosto

Research Engineer, CEA

  • 972
    Citations
20022026

Research activity per year

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
View full fingerprint

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
Explore network further

  • 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

    Open Access
    2 Citations (Scopus)

  • 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
    1 Citation (Scopus)

  • 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
    1 Citation (Scopus)

  • 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. vi

    Research 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
    3 Citations (Scopus)

  • 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

    3 Citations (Scopus)

  • 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

    4 Citations (Scopus)

  • 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
    8 Citations (Scopus)

  • 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
    65 Citations (Scopus)
View all 40 research outputs