| 2007 |
|---|
| 7 | | Alban Grastien,
Anbulagan,
Jussi Rintanen,
Elena Kelareva:
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms.
AAAI 2007: 305-310 |
| 6 | EE | Marie-Odile Cordier,
Alban Grastien:
Exploiting Independence in a Decentralised and Incremental Approach of Diagnosis.
IJCAI 2007: 292-297 |
| 5 | EE | Jussi Rintanen,
Alban Grastien:
Diagnosability Testing with Satisfiability Algorithms.
IJCAI 2007: 532-537 |
| 2005 |
|---|
| 4 | EE | 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 | EE | 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 | EE | Yuhong Yan,
Marie-Odile Cordier,
Yannick Pencolé,
Alban Grastien:
MonitoringWeb Service Networks in a Model-based Approach.
ECOWS 2005: 192-203 |
| 1 | EE | Alban Grastien,
Marie-Odile Cordier,
Christine Largouët:
Incremental Diagnosis of Discrete-Event Systems.
IJCAI 2005: 1564-1665 |
