A Proofe System for a Simple Data-Parallel Programming Language. - Luc Bougé; Yann Le Guyadec; Gil Utard; Bernard Virot (Applications in Parallel and Distributed Computing, 1994)

On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language. - Luc Bougé; Yann Le Guyadec; Gil Utard; Bernard Virot (CONPAR, 1994)

Formal Validation of Data Parallel Programs: Introducting the Assertional Approach. - Luc Bougé; David Cachera; Yann Le Guyadec; Gil Utard; Bernard Virot (The Data Parallel Programming Model, 1996)

A Loosely Synchronized Execution Model for a Simple Data-Parallel Language (Extended Abstract). - Yann Le Guyadec; Emmanuel Melin; Bruno Raffin; Xavier Rebeuf; Bernard Virot (Euro-Par, Vol. I, 1996)

Sequential-like Proofs of Data-Parallel Programs. - Yann Le Guyadec; Bernard Virot (Parallel Process. Lett., 1996)

Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language. - Luc Bougé; David Cachera; Yann Le Guyadec; Gil Utard; Bernard Virot (Theor. Comput. Sci., 1997)

Using Horocol to program a society of agents or teams of robots. - Dominique Duhaut; Yann Le Guyadec; Michel Dubois (CIRA, 2005)

Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. - Nadeem Akhtar; Yann Le Guyadec; Flávio Oquendo (ICAART, 2009)

Formal requirement and architecture specifications of a multi-agent robotic system. - Nadeem Akhtar; Yann Le Guyadec; Flávio Oquendo (CoRR, 2015)