Publications

Export 4 results:
Filters: Keyword is temporal logic  [Clear All Filters]
2011
Kellens, A., C. De Roover, C. Noguera, R. Stevens, and V. Jonckers, "Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions", Proceedings of the 18th Working Conference on Reverse Engineering (WCRE11), 2011.
2009
Herzeel, C., K. Gybels, P. Costanza, C. De Roover, and T. D'Hondt, "Forward Chaining in HALO: An Implementation Strategy for History-based Logic Pointcuts", Elsevier International Journal on Computer Languages, Systems {&} Structures, vol. 35, pp. 31–47, April, 2009.
2006
De Roover, C., I. Michiels, K. Gybels, K. Gybels, and T. D'Hondt, "An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification", Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC06), 2006.
Michiels, I., C. De Roover, J. Brichau, E. Gonzalez Boix, and T. D'Hondt, "Program Testing Using High-Level Property-Driven Models", Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE06), 2006.