Automatic Hardware Synthesis for a Hybrid Reconfigurable CPU Featuring Philips CPLDs
Automatic Modular Abstractions for Linear Constraints
Automatic modular abstractions for template numerical constraints
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
Automation of a Commercial Astronomical Telescope