Login / Signup
Yann Le Guyadec
Publication Activity (10 Years)
Years Active: 1994-2015
Publications (10 Years): 0
Top Topics
Autonomous Robots
Formal Language
Robotic Tasks
Multi Agent Architecture
Top Venues
CoRR
</>
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)