Eduardo Mazza

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Context Aware Preferences

Top Venues

Tech. Sci. Informatiques

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Gregor Gößler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel. Tech. Sci. Informatiques 33 (1-2) (2014)
Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Commun. ACM 54 (4) (2011)
Daniel Le Métayer, Manuel Maarek, Valérie Viet Triem Tong, Eduardo Mazza, Marie-Laure Potet, Nicolas Craipeau, Stéphane Frénot, Ronan Hardouin
Liability in software engineering: overview of the LISE approach and illustration on a case study. ICSE (1) (2010)
Eduardo Mazza, Marie-Laure Potet, Daniel Le Métayer
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence. SBMF (2010)
Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet
Designing Log Architectures for Legal Evidence. SEFM (2010)