| 2015 | ICSE | Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. | Yves Ledru, Akram Idani, Jean-Luc Richier |
| 2014 | ICST | Automatic Model Inference of Web Applications for Security Testing. | Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier |
| 2013 | ICST | Automatic Generation of Test Drivers for Model Inference of Web Applications. | Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier |
| 2012 | ICST | XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. | Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier |
| 2011 | CaiSE | Taking into Account Functional Models in the Validation of IS Security Policies. | Yves Ledru, Akram Idani, Jrmy Milhau, Nafees Qamar, Rgine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh |
| 2011 | ICST | Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols. | Karim Hossen, Roland Groz, Jean-Luc Richier |
| 2011 | SACMAT | Validation of security policies by the animation of Z specifications. | Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh |
| 2008 | ICST | Test generation and execution for security rules in temporal logic. | Vianney Darmaillacq, Jean-Luc Richier, Roland Groz |
| 1999 | ICSE | Lutess: A Specification-Driven Testing Environment for Synchronous Software. | Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon |
| 1998 | ISSRE | Expressing and implementing operational profiles for reactive software validation. | Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier |
| 1990 | FORTE | Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. | Mrio Baptista, Susanne Graf, Jean-Luc Richier, Lus E. T. Rodrigues, Carlos Rodrguez, Paulo Verssimo, Jacques Voiron |
| 1985 | STACS | Distributed Termination in CSP: Symmetric Solutions with Minimal Storage. | Jean-Luc Richier |