Eduardo Mazza

Liability in software engineering: overview of the LISE approach and illustration on a case study

Stéphane Frénot, Valérie Viet Triem Tong, Daniel Le Métayer, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel

Lacramioara Astefanoaei, Gregor Gößler, Daniel Le Métayer, 2014, Tech. Sci. Informatiques.

Designing Log Architectures for Legal Evidence

Daniel Le Métayer, Marie-Laure Potet, Eduardo Mazza, 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

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, Eduardo Mazza, 2012 .

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence

Daniel Le Métayer, Marie-Laure Potet, Eduardo Mazza, 2010, SBMF.

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties

Stéphane Frénot, Valérie Viet Triem Tong, Daniel Le Métayer, 2011, CACM.