Pour une liste indépendante de l'affiliation, consulter DBLP.

• 2026 - (1)

  • Autres Publications - (1)

    • Protecting Sensitive Data Against Deductions in Business Processes: Formal Semantics and Model-Checking
      Auteur(s) : Sabine FRITTELLA, Vincent HUGOT, Amine RIFI
      

      HAL : 5662831

• 2024 - (2)

  • Communications sans actes - (1)

    • SAT-Based Automated Completion for Reachability Analysis
      Auteur(s) : Yohan BOICHUT, Adrien BOIRET, Vincent HUGOT
      

      HAL : 4605772

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • SAT-Based Automated Completion for Reachability Analysis
      Auteur(s) : Yohan BOICHUT, Vincent HUGOT, Adrien BOIRET
      

      HAL : 5657904

• 2021 - (1)

  • Communications sans actes - (1)

    • A safe dynamic access control providing mandatory automotive cybersecurity
      Auteur(s) : Vincent HUGOT, Christian TOINARD, Adrien JOUSSE, Benjamin VENELLE
      

      2021 International Conference on Computational Science and Computational Intelligence (CSCI) - HAL : 3780338

• 2019 - (3)

  • Communications sans actes - (1)

    • oMAC : Open Model for Automotive Cybersecurity
      Auteur(s) : Vincent HUGOT, Christian TOINARD, Adrien JOUSSE, Benjamin VENELLE
      

      HAL : 2497993

  • Poster - (1)

    • oMAC : Open Model for Automotive Cybersecurity
      Auteur(s) : Vincent HUGOT, Christian TOINARD, Adrien JOUSSE, Benjamin VENELLE
      

      HAL : 2498302

  • Revue internationale à comité de lecture - (1)

    • Logics for Unordered Trees with Data Constraints
      Auteur(s) : Adrien BOIRET, Vincent HUGOT, Joachim NIEHREN, Ralf TREINEN
      

      HAL : 1961412