Liability in software engineering: overview of the LISE approach and illustration on a case study. - Daniel Le Métayer; Manuel Maarek; Valérie Viet Triem Tong; Eduardo Mazza; Marie-Laure Potet; Nicolas Craipeau; Stéphane Frénot; Ronan Hardouin (ICSE (1), 2010)

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence. - Eduardo Mazza; Marie-Laure Potet; Daniel Le Métayer (SBMF, 2010)

Designing Log Architectures for Legal Evidence. - Daniel Le Métayer; Eduardo Mazza; Marie-Laure Potet (SEFM, 2010)

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. - Daniel Le Métayer; Manuel Maarek; Eduardo Mazza; Marie-Laure Potet; Stéphane Frénot; Valérie Viet Triem Tong; Nicolas Craipeau; Ronan Hardouin (Commun. ACM, 2011)

A Formal Framework for specifying and Analyzing Liabilities Using Log as Digital Evidence. (Un cadre formel pour spécifier et analyser les responsabilités, basé sur les logs comme preuve électronique). - Eduardo Mazza (2012)

Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. - Gregor Gößler; Daniel Le Métayer; Eduardo Mazza; Marie-Laure Potet; Lacramioara Astefanoaei (Tech. Sci. Informatiques, 2014)