Topics

• Keywords : Verification, Static Analysis, Counter Automata, Linear Relation Analysis, Abstract Interpretation, Safety Analysis, Numerical Properties, Synchronous Languages, Embedded Systems, Components, Quality of Service, Optimization, WCET, Polyedra. Verification of model transformations.
• My thesis' page
  . Download the Manuscript here (french).
• Papers. All my publications on HAL server.
• Exposés/Seminars

Synchronous

• Lustre (Verimag synchronous team)
• Signal /polychrony distribution (Irisa expresso team)
• My Master thesis : From Discrete Duration Calculus to Symbolic Automata (in Lustre) report (french, ps)

Formalisation/Analysis of Domain Specific Languages

• Gaspard tool
• Currently writing an ARC proposition.

Polyhedra

• My PHD manuscript on T.E.L. (French)
• The ASPIC (Accelerated Symbolic Polyhedral Invariant Computation) page.
• The Apron project.
• Bertrand Jeannet's page on Polka.

Compilation

• Administor of the Compilation French Community Project : Website
• The Compsys Team.
• WTC toolsuite and benchs