My research interests include the definition of models, algorithms and tools for distributed and pervasive applications. These applications are dynamic and evolve in large-scale environments. These characteristics need new design, deployment and running techniques that allow verification, variability and adaptability management of applications.
The methodology of my team consists in approaching research issues of distributed and pervasive applications from the applications layer to the network layer while using competencies in data and knowledge management (modeling, ontologies, reasoning, etc.), business process management (workflow, model checking, services composition, etc.), softwar...