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

• 2024 - (1)

  • Communications sans actes - (1)

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

      HAL : 4605772

• 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 - (2)

  • Communications sans actes - (1)

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

      HAL : 2497993

  • 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