| 2008 |
|---|
| 5 | EE | 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 |
| 2007 |
|---|
| 4 | | 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 |
| 2006 |
|---|
| 3 | EE | Charles Lesire,
Catherine Tessier:
Estimation and Conflict Detection in Human Controlled Systems.
HSCC 2006: 407-420 |
| 2 | EE | Olivier Bonnet-Torrés,
Patrice Domenech,
Charles Lesire,
Catherine Tessier:
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets.
ICATPN 2006: 391-400 |
| 2005 |
|---|
| 1 | EE | Charles Lesire,
Catherine Tessier:
Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty.
ICATPN 2005: 329-348 |
