 | 2008 |
|---|
| 9 |       | Priscilla Kan John,
Alban Grastien:
Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems.
ECAI 2008: 209-213 |
| 8 | | Alban Grastien,
Anbulagan:
Incremental Diagnosis of DES by Satisfiability.
ECAI 2008: 787-788 |
| 2007 |
|---|
| 7 |  | Alban Grastien,
Anbulagan,
Jussi Rintanen,
Elena Kelareva:
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms.
AAAI 2007: 305-310 |
| 6 | | Marie-Odile Cordier,
Alban Grastien:
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis.
IJCAI 2007: 292-297 |
| 5 | | Jussi Rintanen,
Alban Grastien:
Diagnosability Testing with Satisfiability Algorithms.
IJCAI 2007: 532-537 |
| 2005 |
|---|
| 4 | | Alban Grastien,
Marie-Odile Cordier,
Christine Largouët:
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations.
AI*IA 2005: 270-281 |
| 3 | | Alban Grastien,
Marie-Odile Cordier,
Christine Largouët:
First Steps Towards Incremental Diagnosis of Discrete-Event Systems.
Canadian Conference on AI 2005: 170-181 |
| 2 | | Yuhong Yan,
Marie-Odile Cordier,
Yannick Pencolé,
Alban Grastien:
MonitoringWeb Service Networks in a Model-based Approach.
ECOWS 2005: 192-203 |
| 1 | | Alban Grastien,
Marie-Odile Cordier,
Christine Largouët:
Incremental Diagnosis of Discrete-Event Systems.
IJCAI 2005: 1564-1665 |
