Follow
Michaël PÉRIN
Michaël PÉRIN
Assistant professor, VERIMAG / Univ. Grenoble-Alpes
Verified email at univ-grenoble-alpes.fr - Homepage
Title
Cited by
Cited by
Year
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
1221999
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
782003
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
512013
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
352003
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
342015
Efficient elimination of redundancies in polyhedra by raytracing
A Maréchal, M Périn
Verification, Model Checking, and Abstract Interpretation: 18th …, 2017
292017
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
262017
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
242006
Abstract interpretation for secrecy using patterns
L Bozga, Y Lakhnech, M Périn
Proceedings of TACAS, 299-314, 2002
202002
Generating invariant-based certificates for embedded systems
JO Blech, M Périn
ACM Transactions on Embedded Computing Systems (TECS) 11 (2), 1-22, 2012
172012
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
162003
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
152018
L’outil de vérification HERMES
L Bozga, Y Lakhnech, M Périn
Rapport technique EVA, 2002
142002
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
112009
Spécifications graphiques multi-vues: formalisation et vérification de cohérence
M Périn
Rennes 1, 2000
112000
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
101997
Three linearization techniques for multivariate polynomials in static analysis using convex polyhedra
A Maréchal, M Périn
Technical Report 7, Verimag, 2014
82014
Efficient certificate generation for the abstract domain of polyhedra
A Fouilhé, D Monniaux, M Périn
Static Analysis Symposium 3, 2013
52013
Certifying deadlock-freedom for BIP models
JO Blech, M Périn
Proceedings of th 12th International Workshop on Software and Compilers for …, 2009
52009
Un dispositif pour alerter les étudiants sur leur maîtrise des pré-requis nécessaires pour réussir leur entrée à l’Université
J Douady, C Hoffmann, F Carrier, B Chabaud, A Mantoux, Y Markowicz, ...
Actes du 27ème Congrès de l'Association internationale de pédagogie …, 2012
42012
The system can't perform the operation now. Try again later.
Articles 1–20