Eduardo Mazza

According to our database, Eduardo Mazza authored at least 6 papers between 2010 and 2014.

Collaborative distances:

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

2014

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

2012

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

PhD thesis, 2012

2011

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

2010

Designing Log Architectures for Legal Evidence.

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

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence.

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

Proceedings of the Formal Methods: Foundations and Applications, 2010

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

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010