Compositional State Space Generation from Lotos Programs. - Jean-Pierre Krimm; Laurent Mounier (TACAS, 1997)

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier (World Congress on Formal Methods, 1999)

IF: An intermediate representation for SDL and its applications. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier; Joseph Sifakis (SDL Forum, 1999)

IF: A Validation Environment for Timed Asynchronous Systems. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier (CAV, 2000)

Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. - Jean-Pierre Krimm; Laurent Mounier (TACAS, 2000)

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. - Christian Fabre; Iuliana Bacivarov; Ananda Basu; Martino Ruggiero; David Atienza; Eric Flamand; Jean-Pierre Krimm; Julien Mottin; Lars Schor; Pratyush Kumar; Hoeseok Yang; Devesh B. Chokshi; et al. (FMCO, 2011)