Search the dblp DataBase

Publications of Author

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