Ronan Hardouin

According to our database, Ronan Hardouin authored at least 2 papers between 2010 and 2011.

Collaborative distances:

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

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

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