Title: Mechanized support for the formal specification, verification and deployment of component-based applications. Jury composition: ———————————— Advisors: Eric Madelaine (INRIA) Ludovic Henrio (CNRS) reviewers: Frédéric Loulergue (Université d’Orléans) Alan Schmitt (INRIA) examiners: Luis Barbosa (Universidade do Minho) …
Category: Uncategorized
Soutenance de thèse de Yanwen CHEN// Phd Defense on the 30th of November 2014 at 3.00 pm at SHANGHAI, EAST CHINA NORMAL UNIVERSITY
Un modèle de comportement temporisé pour les systèmes distribué communicants A timed Communication behaviour model for Distributed systems
Soutenance de thèse de Laurent Pellegrino // PhD defence
Jeudi 3 Avril à 13h30 salle Euler Violet de l’INRIA Sophia Antipolis. Titre : Un intergiciel gérant des événements pour permettre l’émergence d’interactions dynamiques et ubiquitaires dans l’Internet des services. Le jury est composé de : Ioana MANOLESCU, Inria Saclay – Île-de-France (rapporteur) Etienne RIVIÈRE, Université de Neuchâtel (rapporteur) Johan MONTAGNAT, CNRS (examinateur) Ester PACITTI, …