| 2005 |
|---|
| 5 | EE | Diana Toma,
Dominique Borrione:
Formal Verification of a SHA-1 Circuit Core Using ACL2.
TPHOLs 2005: 326-341 |
| 4 | EE | Yann Zimmermann,
Diana Toma:
Component Reuse in B Using ACL2.
ZB 2005: 279-298 |
| 2004 |
|---|
| 3 | EE | Diana Toma,
Dominique Borrione,
Ghiath Al Sammane:
Combining Several Paradigms for Circuit Validation and Verification.
CASSIS 2004: 229-249 |
| 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 |
