Search the dblp DataBase

Publications of Author

1. Sami Evangelista, Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre, Pierre Rousseau
   Dynamic Tasks Verification with Quasar. [Citation Graph (0, 0)][DBLP]
   Ada-Europe, 2005, pp:91-104 [Conf]
   
2. Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
   Quasar: A New Tool for Concurrent Ada Programs Analysis. [Citation Graph (0, 0)][DBLP]
   Ada-Europe, 2003, pp:168-181 [Conf]
   
3. Pierre Rousseau
   A New Approach for Concurrent Program Slicing. [Citation Graph (0, 0)][DBLP]
   FORTE, 2006, pp:228-242 [Conf]
   
4. Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
   Verifying linear time temporal logic properties of concurrent Ada programs with quasar. [Citation Graph (0, 0)][DBLP]
   SIGAda, 2003, pp:17-24 [Conf]
   
5. Pierre Rousseau, Vincent Jolivet, Djamchid Ghazanfarpour
   Realistic real-time rain rendering. [Citation Graph (0, 0)][DBLP]
   Computers & Graphics, 2006, v:30, n:4, pp:507-518 [Journal]
   
6. 
   Adapting Petri Nets Reductions to Promela Specifications. [Citation Graph (, )][DBLP]
   
   
7. 
   High-Speed Private Information Retrieval Computation on GPU. [Citation Graph (, )][DBLP]