dblp.uni-trier.dewww.uni-trier.de

Coen De Roover

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
7EECharlotte 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
6EECoen 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
5EEJohan Brichau, Coen De Roover, Kim Mens: Open Unification for Program Query Languages. SCCC 2007: 92-101
2006
4EECoen 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
3EECoen 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
1EECoen De Roover, Kris Gybels, Theo D'Hondt: Towards Abstract Interpretation for Recovering Design Information. Electr. Notes Theor. Comput. Sci. 131: 15-25 (2005)

Coauthor Index

1Elisa Gonzalez Boix [2]
2Johan Brichau [2] [3] [5] [6]
3Pascal Costanza [7]
4Theo D'Hondt [1] [2] [3] [4] [6] [7]
5Laurence Duchien [6]
6Kim Gybels [4]
7Kris Gybels [1] [4] [7]
8Charlotte Herzeel [7]
9Kim Mens [5]
10Isabel Michiels [2] [4]
11Carlos Noguera [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)