Article-Journal

Formal analysis of the compact position reporting algorithm

A constraint-based language for modelling intelligent environments

A program analysis framework for tccp based on abstract interpretation

Abstract Diagnosis for tccp using a Linear Temporal Logic

An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages

Abstract Diagnosis for Timed Concurrent Constraint programs