Jean-Luc Richier

34 papers A* 1A 3C 2Journal 3Unranked 24

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