| 2007 |
|---|
| 7 | EE | Charlotte Herzeel,
Kris Gybels,
Pascal Costanza,
Coen De Roover,
Theo D'Hondt:
Forward chaining in HALO: an implementation strategy for history-based logic pointcuts.
ICDL 2007: 157-182 |
| 6 | EE | Coen De Roover,
Theo D'Hondt,
Johan Brichau,
Carlos Noguera,
Laurence Duchien:
Behavioral similarity matching using concrete source code templates in logic queries.
PEPM 2007: 92-101 |
| 5 | EE | Johan Brichau,
Coen De Roover,
Kim Mens:
Open Unification for Program Query Languages.
SCCC 2007: 92-101 |
| 2006 |
|---|
| 4 | EE | Coen De Roover,
Isabel Michiels,
Kim Gybels,
Kris Gybels,
Theo D'Hondt:
An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification.
ICPC 2006: 202-211 |
| 3 | EE | Coen De Roover,
Johan Brichau,
Theo D'Hondt:
Combining fuzzy logic and behavioral similarity for non-strict program validation.
PPDP 2006: 15-26 |
| 2 | | Isabel Michiels,
Coen De Roover,
Johan Brichau,
Elisa Gonzalez Boix,
Theo D'Hondt:
Program Testing Using High-Level Property-Driven Models.
SEKE 2006: 489-494 |
| 2005 |
|---|
| 1 | EE | Coen De Roover,
Kris Gybels,
Theo D'Hondt:
Towards Abstract Interpretation for Recovering Design Information.
Electr. Notes Theor. Comput. Sci. 131: 15-25 (2005) |
