dblp.uni-trier.dewww.uni-trier.de

Jean-Pierre Krimm

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
5 Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier: IF: A Validation Environment for Timed Asynchronous Systems. CAV 2000: 543-547
4EEJean-Pierre Krimm, Laurent Mounier: Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. TACAS 2000: 266-282
1999
3 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: 423-440
2EEMarius 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: 307-327
1997
1 Jean-Pierre Krimm, Laurent Mounier: Compositional State Space Generation from Lotos Programs. TACAS 1997: 239-258

Coauthor Index

1Marius Bozga [2] [3] [5]
2Jean-Claude Fernandez [2] [3] [5]
3Lucian Ghirvu [2] [3] [5]
4Susanne Graf [2] [3] [5]
5Laurent Mounier [1] [2] [3] [4] [5]
6Joseph Sifakis [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)