Jean-Luc Richier

Publication Activity (10 Years)

Years Active: 1985-2015
Publications (10 Years): 2

Top Topics

Integration Testing

Security Policies

Top Venues

Publications

Yves Ledru, Akram Idani, Jean-Luc Richier
Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. FormaliSE@ICSE (2015)
Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
Validation of IS Security Policies Featuring Authorisation Constraints. Int. J. Inf. Syst. Model. Des. 6 (1) (2015)
Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier
Automatic Model Inference of Web Applications for Security Testing. ICST Workshops (2014)
Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
KameleonFuzz: evolutionary fuzzing for black-box XSS detection. CODASPY (2014)
Sanjay Rawat, Fabien Duchene, Roland Groz, Jean-Luc Richier
Evolving indigestible codes: Fuzzing interpreters with genetic programming. CICS (2013)
Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier
Automatic Generation of Test Drivers for Model Inference of Web Applications. ICST Workshops (2013)
Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
LigRE: Reverse-engineering of control and data flow models for black-box XSS detection. WCRE (2013)
Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier
XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. ICST (2012)
Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
Taking into Account Functional Models in the Validation of IS Security Policies. CAiSE Workshops (2011)
Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh
Validation of security policies by the animation of Z specifications. SACMAT (2011)
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods Syst. Des. 38 (3) (2011)
Karim Hossen, Roland Groz, Jean-Luc Richier
Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols. ICST Workshops (2011)
Ajitha Rajan, Lydie du Bousquet, Yves Ledru, Germán Vega, Jean-Luc Richier
Assertion-based test oracles for home automation systems. MOMPES (2010)
Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, Germán Vega
Service specification and validation in the context of the home. ICFI (2009)
Vianney Darmaillacq, Jean-Luc Richier, Roland Groz
Test generation and execution for security rules in temporal logic. ICST Workshops (2008)
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
j-POST: a Java Toolchain for Property-Oriented Software Testing. Electron. Notes Theor. Comput. Sci. 220 (1) (2008)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES (2007)
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Test Calculus Framework Applied to Network Security Policies. FATES/RV (2006)
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
Test Generation for Network Security Rules. TestCom (2006)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. Electron. Notes Theor. Comput. Sci. 88 (2004)
Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
An Environment for Interactive Service Specification. FIW (2003)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Feature interaction detection using a synchronous approach and testing. Comput. Networks 32 (4) (2000)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Lutess: A Specification-Driven Testing Environment for Synchronous Software. ICSE (1999)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier
Expressing and implementing operational profiles for reactive software validation. ISSRE (1998)
Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon
Lutess: a testing environment for synchronous software. Tool Support for System Specification, Development and Verification (1998)
Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
Incremental Feature Validation: a Synchronous Point of View. FIW (1998)
Marc Chérèque, David Powell, Philippe Reynier, Jean-Luc Richier, Jacques Voiron
Active Replication in Delta-4. FTCS (1992)
Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodriguez, Paulo Veríssimo, Jacques Voiron
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol. FORTE (1990)
Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron
ATP: an Algebra for Timed Processes. Programming Concepts and Methods (1990)
Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? Automatic Verification Methods for Finite State Systems (1989)
Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron
Verification in XESAR of the Sliding Window Protocol. PSTV (1987)
Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron
Verification of protocol specificaitons using the CESAR system. PSTV (1985)
Jean-Luc Richier
Distributed Termination in CSP: Symmetric Solutions with Minimal Storage. STACS (1985)