Diana Toma

According to our database, Diana Toma authored at least 7 papers between 2003 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

The TV-AssistDem Project: A TV-Based Platform for Coping with Mild Cognitive Impairment.

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

Proceedings of the Ambient Assisted Living, 2018

2006

Vérification formelle des systèmes numériques par démonstration de théorèmes: application aux composants cryptographiques. (Formal verification of digital systems using theorem proving: application for cryptographic designs).

Diana Toma

PhD thesis, 2006

2005

Component Reuse in B Using ACL2.

Yann Zimmermann, Diana Toma

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

Formal Verification of a SHA-1 Circuit Core Using ACL2.

Diana Toma, Dominique Borrione

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

2004

TheoSim: combining symbolic simulation and theorem proving for hardware verification.

Ghiath Al Sammane, Julien Schmaltz, Diana Toma, Pierre Ostier, Dominique Borrione

Proceedings of the 17th Annual Symposium on Integrated Circuits and Systems Design, 2004

Combining Several Paradigms for Circuit Validation and Verification.

Diana Toma, Dominique Borrione, Ghiath Al Sammane

Proceedings of the Construction and Analysis of Safe, 2004

2003

Constrained Symbolic Simulation with Mathematica and ACL2.

Ghiath Al Sammane, Diana Toma, Julien Schmaltz, Pierre Ostier, Dominique Borrione

Proceedings of the Correct Hardware Design and Verification Methods, 2003