Follow
Mathias Péron
Mathias Péron
MathWorks
Verified email at mathias.xn--pron-bpa.eu
Title
Cited by
Cited by
Year
Discovering properties about arrays in simple programs
N Halbwachs, M Péron
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
1962008
An abstract domain extending difference-bound matrices with disequality constraints
M Péron, N Halbwachs
Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007
382007
Contributions à l'analyse statique de programmes manipulant des tableaux
M Péron
Université de Grenoble, 2010
62010
Etude de l’équité dans les réseaux ad hoc
M Péron
PhD thesis, Master’s thesis, Ecole Normale Supérieure de Lyon, 2003
42003
Modeles catégoriques du λ-calcul
M Péron
2004
A Certifying Static Analyzer of Array-Processing Programs
M Garnacho, M Péron, M Périn
TCP et réseaux ad hoc L’évitement de la congestion
M Péron
A Justified Analyzer of Array-Processing Programs
M Garnacho, M Péron, M Périn
TCP et reseaux ad hoc L’ét de la congestion
M Peron
The system can't perform the operation now. Try again later.
Articles 1–9