Yann Le Guyadec

Publication Activity (10 Years)

Years Active: 1994-2015
Publications (10 Years): 1

Top Topics

Autonomous Robots

Formal Language

Multi Agent Architecture

Top Venues

Publications

Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo
Formal requirement and architecture specifications of a multi-agent robotic system. CoRR (2015)
Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo
Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study. ICAART (2009)
Dominique Duhaut, Yann Le Guyadec, Michel Dubois
Using Horocol to program a society of agents or teams of robots. CIRA (2005)
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) (1997)
Yann Le Guyadec, Bernard Virot
Sequential-like Proofs of Data-Parallel Programs. Parallel Process. Lett. 6 (3) (1996)
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)
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)
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)
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)