 | 2009 |
|---|
| 7 |       | Anika Schumann,
Martin Sachenbacher,
Jinbo Huang:
Constraint-Based Optimal Testing Using DNNF Graphs.
CP 2009: 731-745 |
| 6 | | Anika Schumann,
Martin Sachenbacher,
Jinbo Huang:
Computing Optimal Tests for Non-deterministic Systems Using DNNF Graphs.
Electr. Notes Theor. Comput. Sci. 253(2): 87-99 (2009) |
| 2008 |
|---|
| 5 |  | Anika Schumann,
Jinbo Huang:
A Scalable Jointree Algorithm for Diagnosability.
AAAI 2008: 535-540 |
| 4 | | Anika Schumann,
Wolfgang Mayer,
Markus Stumptner:
Distributed Repair of Nondiagnosability.
ECAI 2008: 795-796 |
| 2007 |
|---|
| 3 | | Anika Schumann,
Yannick Pencolé,
Sylvie Thiébaux:
A Spectrum of Symbolic On-line Diagnosis Approaches.
AAAI 2007: 335-340 |
| 2 | | Anika Schumann,
Yannick Pencolé:
Scalable Diagnosability Checking of Event-Driven Systems.
IJCAI 2007: 575-580 |
| 2004 |
|---|
| 1 | | Anika Schumann,
Yannick Pencolé,
Sylvie Thiébaux:
Symbolic Models for Diagnosing Discrete-Event Systems.
ECAI 2004: 1085-1086 |
