Jean-Pierre Krimm

Publication Activity (10 Years)

Years Active: 1997-2011
Publications (10 Years): 0

Publications

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, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano
PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. FMCO (2011)
Jean-Pierre Krimm, Laurent Mounier
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. TACAS (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: A Validation Environment for Timed Asynchronous Systems. CAV (2000)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
IF: An intermediate representation for SDL and its applications. SDL Forum (1999)
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods (1999)
Jean-Pierre Krimm, Laurent Mounier
Compositional State Space Generation from Lotos Programs. TACAS (1997)