Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Virgile Prevosto

Voir le profil Scopus

Virgile Prevosto

Ingénieur de recherche

  • 971
    Citations
20022026

Résultat de recherche par an

Profil personnel

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Virgile Prevosto est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau

  • Formal Verification of PKCS#1 Signature Parser Using Frama-C

    Hána, M., Kosmatov, N., Prevosto, V. & Signoles, J., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

  • High-Level Program Properties in Frama-C: Definition, Verification and Deduction

    Robles, V., Kosmatov, N., Prevosto, V. & Le Gall, P., 1 janv. 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).

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

  • Typestates Specification and Verification in Frama-C

    Patte, S. & Prevosto, V., 1 janv. 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).

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

  • A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification

    Gauthier, L., Prevosto, V. & Signoles, J., 6 juin 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).

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

  • Preface

    Prevosto, V. & Seceleanu, C., 1 janv. 2023, Dans: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14066 LNCS, p. vi

    Résultats de recherche: Contribution à un journal › Éditorial

  • An Efficient VCGen-Based Modular Verification of Relational Properties

    Blatter, L., Kosmatov, N., Prevosto, V. & Le Gall, P., 1 janv. 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).

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

  • Certified Verification of Relational Properties

    Blatter, L., Kosmatov, N., Prevosto, V. & Le Gall, P., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    3 Citations (Scopus)

  • Verifying Redundant-Check Based Countermeasures: A Case Study

    Martin, T., Kosmatov, N. & Prevosto, V., 25 avr. 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).

    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
    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 mai 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).

    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
    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 août 2021, Dans: Communications of the ACM. 64, 8, p. 56-67 12 p.

    Résultats de recherche: Contribution à un journal › Article de révision › Revue par des pairs

    Accès ouvert
    65 Citations (Scopus)
Tout afficher 40 résultat de recherche