| 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 | EE | 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 | EE | 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 |
