 | 2009 |
|---|
| 15 |       | Rui Abreu,
Peter Zoeteweij,
Arjan J. C. van Gemund:
A New Bayesian Approach to Multiple Intermittent Fault Diagnosis.
IJCAI 2009: 653-658 |
| 2008 |
|---|
| 14 | | Rui Abreu,
Alberto González,
Peter Zoeteweij,
Arjan J. C. van Gemund:
Automatic software fault localization using generic program invariants.
SAC 2008: 712-717 |
| 13 | | Rui Abreu,
Peter Zoeteweij,
Arjan J. C. van Gemund:
An observation-based model for fault localization.
WODA 2008: 64-70 |
| 2007 |
|---|
| 12 | | Peter Zoeteweij,
Rui Abreu,
Rob Golsteijn,
Arjan J. C. van Gemund:
Diagnosis of Embedded Software Using Program Spectra.
ECBS 2007: 213-220 |
| 11 | | Krzysztof R. Apt,
Peter Zoeteweij:
An Analysis of Arithmetic Constraints on Integer Intervals.
Constraints 12(4): 429-468 (2007) |
| 2006 |
|---|
| 10 | | Rui Abreu,
Peter Zoeteweij,
Arjan J. C. van Gemund:
An Evaluation of Similarity Coefficients for Software Fault Localization.
PRDC 2006: 39-46 |
| 9 | | Krzysztof R. Apt,
Peter Zoeteweij:
An Analysis of Arithmetic Constraints on Integer Intervals
CoRR abs/cs/0607016: (2006) |
| 8 | | Rui Abreu,
Peter Zoeteweij,
Arjan J. C. van Gemund:
Program Spectra Analysis in Embedded Software: A Case Study
CoRR abs/cs/0607116: (2006) |
| 2004 |
|---|
| 7 | | Peter Zoeteweij,
Farhad Arbab:
A Component-Based Parallel Constraint Solver.
COORDINATION 2004: 307-322 |
| 6 | | Peter Zoeteweij:
Constraining Special-Purpose Domain Types.
CP 2004: 809 |
| 5 | | Krzysztof R. Apt,
Peter Zoeteweij:
A Comparative Study of Arithmetic Constraints on Integer Intervals
CoRR cs.PL/0403016: (2004) |
| 2003 |
|---|
| 4 | | Peter Zoeteweij:
OpenSolver: A Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine.
CP 2003: 1002 |
| 3 | | Krzysztof R. Apt,
Peter Zoeteweij:
A Comparative Study of Arithmetic Constraints on Integer Intervals.
CSCLP 2003: 1-24 |
| 2 |  | Peter Zoeteweij:
Coordination-Based Distributed Constraint Solving in DICE.
SAC 2003: 360-366 |
| 2002 |
|---|
| 1 | | Peter Zoeteweij:
A Coordination-Based Framework for Distributed Constraint Solving.
International Workshop on Constraint Solving and Constraint Logic Programming 2002: 171-184 |
