Diana Toma

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 1

Top Topics

Top Venues

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Gabriella Cortellessa, Francesca Fracasso, Alessandro Umbrico, Amedeo Cesta, Fermin Mayoral, Pilar Barnestein-Fonseca, Elisa Vera García, Diana Toma, Flavia Boghiu, Rodolphe Dewarrat, Valentina Triantafyllidou, Javier Herrero, Miguel Ángel Pérez, Elena Tamburini, Pietro Dionisio, Lorenzo Ciucci, Fabrizio Di Guardo
The TV-AssistDem Project: A TV-Based Platform for Coping with Mild Cognitive Impairment. ForItAAL (2018)
Yann Zimmermann, Diana Toma
Component Reuse in B Using ACL2. ZB (2005)
Diana Toma, Dominique Borrione
Formal Verification of a SHA-1 Circuit Core Using ACL2. TPHOLs (2005)
Diana Toma, Dominique Borrione, Ghiath Al Sammane
Combining Several Paradigms for Circuit Validation and Verification. CASSIS (2004)
Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione
TheoSim: combining symbolic simulation and theorem proving for hardware verification. SBCCI (2004)
Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione
Constrained Symbolic Simulation with Mathematica and ACL2. CHARME (2003)