 | 2003 |
|---|
| 9 |       | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu:
Using static analysis to improve automatic test generation.
STTT 4(2): 142-152 (2003) |
| 8 | | Jean-Claude Fernandez,
Marius Bozga,
Lucian Ghirvu:
State space reduction based on live variables analysis.
Sci. Comput. Program. 47(2-3): 203-220 (2003) |
| 2000 |
|---|
| 7 |  | 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 |
| 6 | | Saddek Bensalem,
Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
Yassine Lakhnech:
A Transformational Approach for Generating Non-linear Invariants.
SAS 2000: 58-74 |
| 5 | | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu:
Using Static Analysis to Improve Automatic Test Generation.
TACAS 2000: 235-250 |
| 4 | | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu,
Claude Jard,
Thierry Jéron,
Alain Kerbrat,
Pierre Morel,
Laurent Mounier:
Verification and test generation for the SSCOP protocol.
Sci. Comput. Program. 36(1): 27-52 (2000) |
| 1999 |
|---|
| 3 | | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu:
State Space Reduction Based on Live Variables Analysis.
SAS 1999: 164-178 |
| 2 | | 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 |
| 1 | | 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 |
