Skip to Main content

Affiliations

Researcher identifiers

Export Publications

Export the displayed publications:

Production year

Number of documents

2

Matthieu Moy


https://matthieu-moy.fr/


SYNCHRONE    David Monniaux   

Conference papers2 documents

  • Julien Henry, David Monniaux, Matthieu Moy. Succinct Representations for Abstract Interpretation. Static analysis symposium (SAS), Sep 2012, Deauville, France. pp.283-299, ⟨10.1007/978-3-642-33125-1_20⟩. ⟨hal-00709833⟩
  • Julien Henry, David Monniaux, Matthieu Moy. PAGAI: a path sensitive static analyzer. Tools for Automatic Program AnalysiS (TAPAS 2012), Sep 2012, Deauville, France. pp.3. ⟨hal-00718438⟩