Search the dblp DataBase

Publications of Author

1. Susanne Graf, Jean-Luc Richier, Carlos Rodriguez, Jacques Voiron
   What are the Limits of Model Checking Methods for the Verification of Real Life Protocols? [Citation Graph (0, 0)][DBLP]
   Automatic Verification Methods for Finite State Systems, 1989, pp:275-285 [Conf]
   
2. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
   A Test Calculus Framework Applied to Network Security Policies. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:55-69 [Conf]
   
3. Karim Berkani, Rémy Cave, Sophie Coudert, Francis Klay, Pascale Le Gall, Farid Ouabdesselam, Jean-Luc Richier
   An Environment for Interactive Service Specification. [Citation Graph (0, 0)][DBLP]
   FIW, 2003, pp:25-41 [Conf]
   
4. Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
   Incremental Feature Validation: a Synchronous Point of View. [Citation Graph (0, 0)][DBLP]
   FIW, 1998, pp:262-275 [Conf]
   
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. [Citation Graph (0, 0)][DBLP]
   FORTE, 1990, pp:345-352 [Conf]
   
6. Marc Chérèque, David Powell, Philippe Reynier, Jean-Luc Richier, Jacques Voiron
   Active Replication in Delta-4. [Citation Graph (0, 0)][DBLP]
   FTCS, 1992, pp:28-37 [Conf]
   
7. Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
   Lutess: A Specification-Driven Testing Environment for Synchronous Software. [Citation Graph (0, 0)][DBLP]
   ICSE, 1999, pp:267-276 [Conf]
   
8. Jean-Claude Fernandez, Jean-Luc Richier, Jacques Voiron
   Verification of protocol specificaitons using the CESAR system. [Citation Graph (0, 0)][DBLP]
   PSTV, 1985, pp:71-90 [Conf]
   
9. Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron
   Verification in XESAR of the Sliding Window Protocol. [Citation Graph (0, 0)][DBLP]
   PSTV, 1987, pp:235-248 [Conf]
   
10. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
    Test Generation for Network Security Rules. [Citation Graph (0, 0)][DBLP]
    TestCom, 2006, pp:341-356 [Conf]
    
11. Jean-Luc Richier
    Distributed Termination in CSP: Symmetric Solutions with Minimal Storage. [Citation Graph (0, 0)][DBLP]
    STACS, 1985, pp:267-278 [Conf]
    
12. Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon
    Feature interaction detection using a synchronous approach and testing. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2000, v:32, n:4, pp:419-431 [Journal]
    
13. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
    A Compositional Testing Framework Driven by Partial Specifications. [Citation Graph (0, 0)][DBLP]
    TestCom/FATES, 2007, pp:107-122 [Conf]
    
14. 
    Testing Against Some Eventuality Properties of Synchronous Software: A Case Study. [Citation Graph (, )][DBLP]
    
    
15. 
    j-POST: a Java Toolchain for Property-Oriented Software Testing. [Citation Graph (, )][DBLP]