Matthieu Gallien (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis: Incremental Component-Based Construction and Verification of a Robotic System. ECAI 2008: 631-635

3 Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell: Fault Tolerant Planning for Critical Robots. DSN 2007: 144-153

2 Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu: Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. ICAPS 2007: 2-9

1 Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell: Planning with Diversified Models for Fault-Tolerant Robots. ICAPS 2007: 216-223

Selection of 4 from 4 records - Matthieu Gallien has 13 coauthors

4		Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis: Incremental Component-Based Construction and Verification of a Robotic System. ECAI 2008: 631-635
3		Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell: Fault Tolerant Planning for Critical Robots. DSN 2007: 144-153
2		Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu: Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. ICAPS 2007: 2-9
1		Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell: Planning with Diversified Models for Fault-Tolerant Robots. ICAPS 2007: 216-223