| Discovering properties about arrays in simple programs N Halbwachs, M Péron Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 196 | 2008 |
| An abstract domain extending difference-bound matrices with disequality constraints M Péron, N Halbwachs Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007 | 38 | 2007 |
| Contributions à l'analyse statique de programmes manipulant des tableaux M Péron Université de Grenoble, 2010 | 6 | 2010 |
| 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 | 4 | 2003 |
| 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 | | |
Nicolas HalbwachsCNRS / VerimagAdresse e-mail validée de imag.fr
