Search the dblp DataBase
Jean-Pierre Krimm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: A Validation Environment for Timed Asynchronous Systems. [Citation Graph (0, 0)][DBLP]
CAV, 2000, pp:543-547 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
World Congress on Formal Methods, 1999, pp:307-327 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
SDL Forum, 1999, pp:423-440 [Conf] - Jean-Pierre Krimm, Laurent Mounier
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. [Citation Graph (0, 0)][DBLP]
TACAS, 2000, pp:266-282 [Conf] - Jean-Pierre Krimm, Laurent Mounier
Compositional State Space Generation from Lotos Programs. [Citation Graph (0, 0)][DBLP]
TACAS, 1997, pp:239-258 [Conf]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002