The paper "Compositional Invariant Generation for Timed Systems" by UJF/Verimag team members Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga and Jacques Combaz has been presented at TACAS 2014, in Grenoble, France.  The paper presents a novel method for obtaining invariants for timed systems by combining local invariants, computed locally from components, with global invariants, derived from the composition glue.  The method is fully compositional and avoid the well known state explosion problem in verification.  See more details in the full paper.