Research Topics

Specification and Verification of Real-Time Systems

Timed Automata

Extensions of the formalism of Timed Automata

New techniques of verification based of non-interference

Abstract Interpretation Applications

Java Virtual Machine Bytecode Verifier Improvement by Abstract Interpretation

Object Calculus Checking by Abstract Interpretation