Nuno Gaspar

According to our database, Nuno Gaspar authored at least 4 papers between 2013 and 2015.

Collaborative distances:

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

2015

Painless Support for Static and Runtime Verification of Component-Based Applications.

Nuno Gaspar, Ludovic Henrio, Eric Madelaine

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015

2014

Mechanized support for the formal specification, verification and deployment of component-based applications. (Support mécanisé pour la spécification formelle, la vérification et le déploiement d'applications à base de composants).

Nuno Gaspar

PhD thesis, 2014

Bringing Coq into the World of GCM Distributed Applications.

Nuno Gaspar, Ludovic Henrio, Eric Madelaine

Int. J. Parallel Program., 2014

2013

Formally Reasoning on a Reconfigurable Component-Based System - A Case Study for the Industrial World.

Nuno Gaspar, Ludovic Henrio, Eric Madelaine

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013