2008 |
16 | EE | Yliès Falcone,
Laurent Mounier,
Jean-Claude Fernandez,
Jean-Luc Richier:
j-POST: a Java Toolchain for Property-Oriented Software Testing.
Electr. Notes Theor. Comput. Sci. 220(1): 29-41 (2008) |
2007 |
15 | | Lydie du Bousquet,
Jean-Luc Richier:
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
IOS Press 2007 |
14 | EE | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier,
Jean-Luc Richier:
A Compositional Testing Framework Driven by Partial Specifications.
TestCom/FATES 2007: 107-122 |
2006 |
13 | EE | Yliès Falcone,
Jean-Claude Fernandez,
Laurent Mounier,
Jean-Luc Richier:
A Test Calculus Framework Applied to Network Security Policies.
FATES/RV 2006: 55-69 |
12 | EE | Vianney Darmaillacq,
Jean-Claude Fernandez,
Roland Groz,
Laurent Mounier,
Jean-Luc Richier:
Test Generation for Network Security Rules.
TestCom 2006: 341-356 |
2004 |
11 | EE | Lydie du Bousquet,
Farid Ouabdesselam,
Jean-Luc Richier,
Nicolas Zuanon:
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study.
Electr. Notes Theor. Comput. Sci. 88: 105-121 (2004) |
2003 |
10 | | 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: 25-41 |
2000 |
9 | EE | Lydie du Bousquet,
Farid Ouabdesselam,
Jean-Luc Richier,
Nicolas Zuanon:
Feature interaction detection using a synchronous approach and testing.
Computer Networks 32(4): 419-431 (2000) |
1999 |
8 | EE | Lydie du Bousquet,
Farid Ouabdesselam,
Jean-Luc Richier,
Nicolas Zuanon:
Lutess: A Specification-Driven Testing Environment for Synchronous Software.
ICSE 1999: 267-276 |
1998 |
7 | | Lydie du Bousquet,
Farid Ouabdesselam,
Jean-Luc Richier,
Nicolas Zuanon:
Incremental Feature Validation: a Synchronous Point of View.
FIW 1998: 262-275 |
1992 |
6 | | Marc Chérèque,
David Powell,
Philippe Reynier,
Jean-Luc Richier,
Jacques Voiron:
Active Replication in Delta-4.
FTCS 1992: 28-37 |
1990 |
5 | | M. Baptista,
Susanne Graf,
Jean-Luc Richier,
Luís Rodrigues,
Carlos Rodriguez,
Paulo Veríssimo,
Jacques Voiron:
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.
FORTE 1990: 345-352 |
1989 |
4 | | 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: 275-285 |
1987 |
3 | | Jean-Luc Richier,
Carlos Rodriguez,
Joseph Sifakis,
Jacques Voiron:
Verification in XESAR of the Sliding Window Protocol.
PSTV 1987: 235-248 |
1985 |
2 | | Jean-Claude Fernandez,
Jean-Luc Richier,
Jacques Voiron:
Verification of protocol specificaitons using the CESAR system.
PSTV 1985: 71-90 |
1 | | Jean-Luc Richier:
Distributed Termination in CSP: Symmetric Solutions with Minimal Storage.
STACS 1985: 267-278 |