
Thomas Vigouroux
Doctorant
100%
Libre accès
4
Documents
Affiliation actuelle
- VERIMAG (VERIMAG - IMAG)
Identifiants chercheurs
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
4
4
2
2
2
Publications
|
Function Synthesis for Maximizing Model Counting25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024), Jan 2024, Londres, United Kingdom. pp.258-279, ⟨10.1007/978-3-031-50524-9_12⟩
Communication dans un congrès
hal-04578258
v1
|
|
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-03773005
v2
|
|
Function synthesis for maximizing model counting2023
Pré-publication, Document de travail
hal-04098541
v2
|
Chargement...
Chargement...