| |
| 2004 | ||
|---|---|---|
| 2 | EE | Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione: TheoSim: combining symbolic simulation and theorem proving for hardware verification. SBCCI 2004: 60-65 |
| 2003 | ||
| 1 | EE | Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione: Constrained Symbolic Simulation with Mathematica and ACL2. CHARME 2003: 150-157 |
| 1 | Dominique Borrione | [1] [2] |
| 2 | Ghiath Al Sammane | [1] [2] |
| 3 | Julien Schmaltz | [1] [2] |
| 4 | Diana Toma | [1] [2] |