 | 2009 |
|---|
| 7 |       | Nadeem Akhtar,
Yann Le Guyadec,
Flávio Oquendo:
Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study.
ICAART 2009: 475-482 |
| 1997 |
|---|
| 6 |  | 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.
Theor. Comput. Sci. 189(1-2): 71-107 (1997) |
| 1996 |
|---|
| 5 | | Yann Le Guyadec,
Emmanuel Melin,
Bruno Raffin,
Xavier Rebeuf,
Bernard Virot:
A Loosely Synchronized Execution Model for a Simple Data-Parallel Language (Extended Abstract).
Euro-Par, Vol. I 1996: 732-741 |
| 4 | | Luc Bougé,
David Cachera,
Yann Le Guyadec,
Gil Utard,
Bernard Virot:
Formal Validation of Data Parallel Programs: Introducting the Assertional Approach.
The Data Parallel Programming Model 1996: 252-281 |
| 3 | | Yann Le Guyadec,
Bernard Virot:
Sequential-like Proofs of Data-Parallel Programs.
Parallel Processing Letters 6(3): 415-426 (1996) |
| 1994 |
|---|
| 2 | | Luc Bougé,
Yann Le Guyadec,
Gil Utard,
Bernard Virot:
A Proofe System for a Simple Data-Parallel Programming Language.
Applications in Parallel and Distributed Computing 1994: 63-72 |
| 1 | | Luc Bougé,
Yann Le Guyadec,
Gil Utard,
Bernard Virot:
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.
CONPAR 1994: 100-111 |
