Thomas Vigouroux
Doctorant
100%
Libre accès
3
Documents
Affiliations actuelles
- 1043148
Identifiants chercheurs
- thomas-vigouroux
- 0000-0001-6396-0285
Présentation
I am a PhD Student working at Verimag under the supervision of Marius Bozga and Laurent Mounier.
I am mainly interested in quantitative formalisms for adaptive attackers.
Publications
- 3
- 2
- 2
- 2
- 1
- 1
|
BAXMC: a CEGAR approach to Max#SATFMCAD 2022, Oct 2022, Trente, Italy. ⟨10.34727/2022/isbn.978-3-85448-053-2⟩
Communication dans un congrès
hal-03773005v2
|
|
Function synthesis for maximizing model counting2023
Pré-publication, Document de travail
hal-04098541v2
|