Yann Le Guyadec

According to our database, Yann Le Guyadec authored at least 9 papers between 1994 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Formal requirement and architecture specifications of a multi-agent robotic system.

Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo

CoRR, 2015

2009

Formal Specification and Verification of Multi-Agent Robotics Software Systems - A Case Study.

Nadeem Akhtar, Yann Le Guyadec, Flávio Oquendo

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

2005

Using Horocol to program a society of agents or teams of robots.

Dominique Duhaut, Yann Le Guyadec, Michel Dubois

Proceedings of the CIRA 2005, 2005

1997

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

1996

Sequential-like Proofs of Data-Parallel Programs.

Yann Le Guyadec, Bernard Virot

Parallel Process. Lett., 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

Proceedings of the Euro-Par '96 Parallel Processing, 1996

Formal Validation of Data Parallel Programs: Introducting the Assertional Approach.

Luc Bougé, David Cachera, Yann Le Guyadec, Gil Utard, Bernard Virot

Proceedings of the Data Parallel Programming Model: Foundations, 1996

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

Proceedings of the Parallel Processing: CONPAR 94, 1994

A Proofe System for a Simple Data-Parallel Programming Language.

Luc Bougé, Yann Le Guyadec, Gil Utard, Bernard Virot

Proceedings of the Applications in Parallel and Distributed Computing, 1994