Jean-Pierre Krimm

Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems

Laurent Mounier, Jean-Pierre Krimm, L. Mounier, 2000, TACAS.

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems

Marius Bozga, Susanne Graf, Laurent Mounier, 1999, World Congress on Formal Methods.

Compositional State Space Generation from Lotos Programs

Laurent Mounier, Jean-Pierre Krimm, L. Mounier, 1997, TACAS.

IF: An intermediate representation for SDL and its applications

Joseph Sifakis, Marius Bozga, Susanne Graf, 1999, SDL Forum.

IF: A Validation Environment for Timed Asynchronous Systems

Marius Bozga, Susanne Graf, Laurent Mounier, 2000, CAV.

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status

Luca Benini, Yusuf Leblebici, Giovanni De Micheli, 2011, FMCO.