Constrained Symbolic Simulation with Mathematica and ACL2. - Ghiath Al Sammane; Diana Toma; Julien Schmaltz; Pierre Ostier; Dominique Borrione (CHARME, 2003)

Combining Several Paradigms for Circuit Validation and Verification. - Diana Toma; Dominique Borrione; Ghiath Al Sammane (CASSIS, 2004)

TheoSim: combining symbolic simulation and theorem proving for hardware verification. - Ghiath Al Sammane; Julien Schmaltz; Diana Toma; Pierre Ostier; Dominique Borrione (SBCCI, 2004)

Formal Verification of a SHA-1 Circuit Core Using ACL2. - Diana Toma; Dominique Borrione (TPHOLs, 2005)

Component Reuse in B Using ACL2. - Yann Zimmermann; Diana Toma (ZB, 2005)

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 (2006)

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; et al. (ForItAAL, 2018)