Search the dblp DataBase

Publications of Author

1. Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier
   Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2006, pp:391-400 [Conf]
   
2. Charles Lesire, Catherine Tessier
   Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2005, pp:329-348 [Conf]
   
3. Charles Lesire, Catherine Tessier
   Estimation and Conflict Detection in Human Controlled Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2006, pp:407-420 [Conf]
   
4. 
   Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. [Citation Graph (, )][DBLP]
   
   
5. 
   Incremental Component-Based Construction and Verification of a Robotic System. [Citation Graph (, )][DBLP]
   
   
6. 
   An Iterative A* Algorithm for Planning of Airport Ground Movements. [Citation Graph (, )][DBLP]