Jean-Pierre Krimm

	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
4		Jean-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
2		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: 307-327
	1997
1		Jean-Pierre Krimm, Laurent Mounier: Compositional State Space Generation from Lotos Programs. TACAS 1997: 239-258

Coauthor Index

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

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page