2003 |
9 | EE | Marius Bozga,
Jean-Claude Fernandez,
Lucian Ghirvu:
Using static analysis to improve automatic test generation.
STTT 4(2): 142-152 (2003) |
8 | EE | 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 | EE | 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 | EE | 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 | 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 |