Accéder directement au contenu

Matthieu Moy

Maître de conférences à l'UCBL/LIP
2
Documents
Identifiants chercheurs

Présentation

<https://matthieu-moy.fr/>

Publications

david-monniaux
Image document

PAGAI: a path sensitive static analyzer

 Julien Henry , David Monniaux , Matthieu Moy
Tools for Automatic Program AnalysiS (TAPAS 2012), Sep 2012, Deauville, France. pp.3
Communication dans un congrès hal-00718438v1
Image document

Succinct Representations for Abstract Interpretation

 Julien Henry , David Monniaux , Matthieu Moy
Static analysis symposium (SAS), Sep 2012, Deauville, France. pp.283-299, ⟨10.1007/978-3-642-33125-1_20⟩
Communication dans un congrès hal-00709833v1