• Published

  Constraint-Based Abstract Semantics for Temporal Logic : A Direct Approach to Design and Implementation

  Publication: Research - peer-review › Article in proceedings

• Published

  Modelling and Analysis of Real Time Systems with Logic Programming and Constraints

  Publication: Research › Ph.d. thesis

• Published

  Analysis of Linear Hybrid Systems in CLP

  Publication: Research - peer-review › Conference article

View all »