Jean-Pierre Krimm

According to our database, Jean-Pierre Krimm authored at least 6 papers between 1997 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

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, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

2000

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

Jean-Pierre Krimm, Laurent Mounier

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

IF: A Validation Environment for Timed Asynchronous Systems.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

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

Proceedings of the SDL '99 The Next Millennium, 1999

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

Proceedings of the FM'99 - Formal Methods, 1999

1997

Compositional State Space Generation from Lotos Programs.

Jean-Pierre Krimm, Laurent Mounier

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997