Search the dblp DataBase

Publications of Author

1. Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot
   Formal Validation of Data Parallel Programs: Introducting the Assertional Approach. [Citation Graph (0, 0)][DBLP]
   The Data Parallel Programming Model, 1996, pp:252-281 [Conf]
   
2. Luc Bougé, Yann Le Guyadec, Gil Utard, Bernard Virot
   A Proofe System for a Simple Data-Parallel Programming Language. [Citation Graph (0, 0)][DBLP]
   Applications in Parallel and Distributed Computing, 1994, pp:63-72 [Conf]
   
3. Luc Bougé, Yann Le Guyadec, Gil Utard, Bernard Virot
   On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language. [Citation Graph (0, 0)][DBLP]
   CONPAR, 1994, pp:100-111 [Conf]
   
4. Yann Le Guyadec, Emmanuel Melin, Bruno Raffin, Xavier Rebeuf, Bernard Virot
   A Loosely Synchronized Execution Model for a Simple Data-Parallel Language (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   Euro-Par, Vol. I, 1996, pp:732-741 [Conf]
   
5. Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot
   Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1997, v:189, n:1-2, pp:71-107 [Journal]
   
6. 
   Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. [Citation Graph (, )][DBLP]