Verification of protocol specificaitons using the CESAR system. - Jean-Claude Fernandez; Jean-Luc Richier; Jacques Voiron (PSTV, 1985)

Distributed Termination in CSP: Symmetric Solutions with Minimal Storage. - Jean-Luc Richier (STACS, 1985)

Verification in XESAR of the Sliding Window Protocol. - Jean-Luc Richier; Carlos Rodríguez; Joseph Sifakis; Jacques Voiron (PSTV, 1987)

What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? - Susanne Graf; Jean-Luc Richier; Carlos Rodríguez; Jacques Voiron (Automatic Verification Methods for Finite State Systems, 1989)

Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. - Mário Baptista; Susanne Graf; Jean-Luc Richier; Luís E. T. Rodrigues; Carlos Rodríguez; Paulo Veríssimo; Jacques Voiron (FORTE, 1990)

ATP: an Algebra for Timed Processes. - Xavier Nicollin; Jean-Luc Richier; Joseph Sifakis; Jacques Voiron (Programming Concepts and Methods, 1990)

Active Replication in Delta-4. - Marc Chérèque; David Powell; Philippe Reynier; Jean-Luc Richier; Jacques Voiron (FTCS, 1992)

Incremental Feature Validation: a Synchronous Point of View. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (FIW, 1998)

Expressing and implementing operational profiles for reactive software validation. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier (ISSRE, 1998)

Lutess: a testing environment for synchronous software. - Lydie du Bousquet; Farid Ouabdesselam; Ioannis Parissis; Jean-Luc Richier; Nicolas Zuanon (Tool Support for System Specification, Development and Verification, 1998)

Lutess: A Specification-Driven Testing Environment for Synchronous Software. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (ICSE, 1999)

Feature interaction detection using a synchronous approach and testing. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (Comput. Networks, 2000)

An Environment for Interactive Service Specification. - Karim Berkani; Rémy Cave; Sophie Coudert; Francis Klay; Pascale Le Gall; Farid Ouabdesselam; Jean-Luc Richier (FIW, 2003)

Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. - Lydie du Bousquet; Farid Ouabdesselam; Jean-Luc Richier; Nicolas Zuanon (SLAP, 2003)

A Test Calculus Framework Applied to Network Security Policies. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier; Jean-Luc Richier (FATES/RV, 2006)

Test Generation for Network Security Rules. - Vianney Darmaillacq; Jean-Claude Fernandez; Roland Groz; Laurent Mounier; Jean-Luc Richier (TestCom, 2006)

A Compositional Testing Framework Driven by Partial Specifications. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier; Jean-Luc Richier (TestCom/FATES, 2007)

Test generation and execution for security rules in temporal logic. - Vianney Darmaillacq; Jean-Luc Richier; Roland Groz (ICST Workshops, 2008)

j-POST: a Java Toolchain for Property-Oriented Software Testing. - Yliès Falcone; Laurent Mounier; Jean-Claude Fernandez; Jean-Luc Richier (MBT@ETAPS, 2008)

Service specification and validation in the context of the home. - Lydie du Bousquet; Ajitha Rajan; Catherine Oriat; Jean-Luc Richier; Germán Vega (ICFI, 2009)

Assertion-based test oracles for home automation systems. - Ajitha Rajan; Lydie du Bousquet; Yves Ledru; Germán Vega; Jean-Luc Richier (MOMPES, 2010)

Taking into Account Functional Models in the Validation of IS Security Policies. - Yves Ledru; Akram Idani; Jérémy Milhau; Nafees Qamar; Régine Laleau; Jean-Luc Richier; Mohamed-Amine Labiadh (CAiSE Workshops, 2011)

Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols. - Karim Hossen; Roland Groz; Jean-Luc Richier (ICST Workshops, 2011)

Validation of security policies by the animation of Z specifications. - Yves Ledru; Nafees Qamar; Akram Idani; Jean-Luc Richier; Mohamed-Amine Labiadh (SACMAT, 2011)

Runtime enforcement monitors: composition, synthesis, and enforcement abilities. - Yliès Falcone; Laurent Mounier; Jean-Claude Fernandez; Jean-Luc Richier (Formal Methods Syst. Des., 2011)

XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. - Fabien Duchene 002; Roland Groz; Sanjay Rawat 001; Jean-Luc Richier (ICST, 2012)

Evolving indigestible codes: Fuzzing interpreters with genetic programming. - Sanjay Rawat 001; Fabien Duchene 002; Roland Groz; Jean-Luc Richier (CICS, 2013)

Automatic Generation of Test Drivers for Model Inference of Web Applications. - Karim Hossen; Roland Groz; Catherine Oriat; Jean-Luc Richier (ICST Workshops, 2013)

LigRE: Reverse-engineering of control and data flow models for black-box XSS detection. - Fabien Duchene 002; Sanjay Rawat 001; Jean-Luc Richier; Roland Groz (WCRE, 2013)

KameleonFuzz: evolutionary fuzzing for black-box XSS detection. - Fabien Duchene 002; Sanjay Rawat 001; Jean-Luc Richier; Roland Groz (CODASPY, 2014)

Automatic Model Inference of Web Applications for Security Testing. - Karim Hossen; Roland Groz; Catherine Oriat; Jean-Luc Richier (ICST Workshops, 2014)

Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. - Yves Ledru; Akram Idani; Jean-Luc Richier (FormaliSE@ICSE, 2015)

Validation of IS Security Policies Featuring Authorisation Constraints. - Yves Ledru; Akram Idani; Jérémy Milhau; Nafees Qamar; Régine Laleau; Jean-Luc Richier; Mohamed-Amine Labiadh (Int. J. Inf. Syst. Model. Des., 2015)