| Consistency checking for multiple view software architectures P Fradet, D Le Métayer, M Périn ACM SIGSOFT Software Engineering Notes 24 (6), 410-428, 1999 | 123 | 1999 |
| Hermes: An automatic tool for verification of secrecy in security protocols L Bozga, Y Lakhnech, M Périn Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 80 | 2003 |
| Efficient generation of correctness certificates for the abstract domain of polyhedra A Fouilhé, D Monniaux, M Périn International Static Analysis Symposium, 345-365, 2013 | 49 | 2013 |
| Pattern-based abstraction for verifying secrecy in protocols L Bozga, Y Lakhnech, M Périn International Conference on Tools and Algorithms for the Construction and …, 2003 | 35 | 2003 |
| Polyhedral approximation of multivariate polynomials using Handelman’s theorem A Maréchal, A Fouilhé, T King, D Monniaux, M Périn International Conference on Verification, Model Checking, and Abstract …, 2015 | 34 | 2015 |
| Efficient elimination of redundancies in polyhedra by raytracing A Maréchal, M Périn Verification, Model Checking, and Abstract Interpretation: 18th …, 2017 | 31 | 2017 |
| Scalable minimizing-operators on polyhedra via parametric linear programming A Maréchal, D Monniaux, M Périn Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017 | 26 | 2017 |
| Pattern-based abstraction for verifying secrecy in protocols L Bozga, Y Lakhnech, M Périn International Journal on Software Tools for Technology Transfer 8, 57-76, 2006 | 24 | 2006 |
| Abstract interpretation for secrecy using patterns L Bozga, Y Lakhnech, M Périn Proceedings of TACAS, 299-314, 2002 | 21 | 2002 |
| The verified polyhedron library: an overview S Boulmé, A Marechaly, D Monniaux, M Périn, H Yu 2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018 | 18 | 2018 |
| Generating invariant-based certificates for embedded systems JO Blech, M Périn ACM Transactions on Embedded Computing Systems (TECS) 11 (2), 1-22, 2012 | 17 | 2012 |
| Hermes, a tool verifying secrecy properties of unbounded security protocols L Bozga, Y Lakhnech, M Périn 15th international conference on Computer-Aided Verification, 2003 | 17 | 2003 |
| Revisiting the abstract domain of polyhedra: constraints-only representation and formal proof A Fouilhé Université Grenoble Alpes, 2015 | 16 | 2015 |
| L’outil de vérification HERMES L Bozga, Y Lakhnech, M Périn Rapport technique EVA, 2002 | 14 | 2002 |
| Spécifications graphiques multi-vues: formalisation et vérification de cohérence M Périn Rennes 1, 2000 | 11 | 2000 |
| Certification of smart-card applications in common criteria I Narasamdya, M Périn Proceedings of the 2009 ACM symposium on Applied Computing, 601-608, 2009 | 10 | 2009 |
| Modeling railway control systems using graph grammars: a case study AA Holzbacher, M Périn, M Südholt International Conference on Coordination Languages and Models, 172-186, 1997 | 10 | 1997 |
| Three linearization techniques for multivariate polynomials in static analysis using convex polyhedra A Maréchal, M Périn Technical Report 7, Verimag, 2014 | 8 | 2014 |
| Certifying deadlock-freedom for BIP models JO Blech, M Périn Proceedings of th 12th International Workshop on Software and Compilers for …, 2009 | 5 | 2009 |
| Efficient elimination of redundancies in polyhedra using raytracing A Maréchal, M Périn Verification, Model Checking, and Abstract Interpretation (VMCAI) 10145, 2017 | 4 | 2017 |
David MonniauxResearcher in computer science, CNRS, VERIMAGEmail yang diverifikasi di univ-grenoble-alpes.fr