Search the dblp DataBase

Publications of Author

1. Olga Kouchnarenko, Arnaud Lanoix
   Verifying Invariants of Component-Based Systems through Refinement. [Citation Graph (0, 0)][DBLP]
   AMAST, 2004, pp:289-303 [Conf]
   
2. Olga Kouchnarenko, Arnaud Lanoix
   Refinement and Verification of Synchronized Component-Based Systems. [Citation Graph (0, 0)][DBLP]
   FME, 2003, pp:341-358 [Conf]
   
3. Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières
   Enhancing Dependability of Component-Based Systems. [Citation Graph (0, 0)][DBLP]
   Ada-Europe, 2007, pp:41-54 [Conf]
   
4. Olga Kouchnarenko, Arnaud Lanoix
   How to Verify and Exploit a Refinement of Component-Based Systems. [Citation Graph (0, 0)][DBLP]
   Ershov Memorial Conference, 2006, pp:297-309 [Conf]
   
5. 
   Towards Validating a Platoon of Cristal Vehicles Using CSP||B. [Citation Graph (, )][DBLP]
   
   
6. 
   Using Event-B to Verify the Kmelia Components and Their Assemblies. [Citation Graph (, )][DBLP]
   
   
7. 
   An Operator-based Approach to Incremental Development of Conform Protocol State Machines. [Citation Graph (, )][DBLP]
   
   
8. 
   Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles. [Citation Graph (, )][DBLP]
   
   
9. 
   Using CSP||B Components: Application to a Platoon of Vehicles. [Citation Graph (, )][DBLP]
   
   
10. 
    Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. [Citation Graph (, )][DBLP]