Véronique Delebarre

According to our database, Véronique Delebarre authored at least 2 papers between 2015 and 2016.

Collaborative distances:

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

2016

Automatic proof of freedom from interference with IFFree.

Christèle Faure, Véronique Delebarre

Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

2015

Improving Predictability, Efficiency and Trust of Model-Based Proof Activity.

Jean-Frédéric Étienne, Manuel Maarek, Florent Anseaume, Véronique Delebarre

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015