 | 2011 |
| 14 |  | Daniel Damir Harabor,
Alban Grastien:
Online Graph Pruning for Pathfinding On Grid Maps.
AAAI 2011 |
| 13 |  | Alban Grastien,
Gianluca Torta:
A Theory of Abstraction for Diagnosis of Discrete-Event Systems.
SARA 2011 |
| 12 |  | Alban Grastien,
Gianluca Torta:
Reformulation for the Diagnosis of Discrete-Event Systems.
SARA 2011 |
| 2010 |
| 11 |  | Alban Grastien,
Anbulagan:
Diagnostic de systèmes à événements discrets à base de cohérence par SAT.
Revue d'Intelligence Artificielle 24(6): 757-786 (2010) |
| 2009 |
| 10 |  | Anbulagan,
Alban Grastien:
Importance of Variables Semantic in CNF Encoding of Cardinality Constraints.
SARA 2009 |
| 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 |