Thierry Villemur

Learn More
Ubiquitous communicating systems have particular characteristics, such as their dynamic nature and the great number of users and heterogeneous devices involved. In our work, we focus on collaborative activities. For such activities, users are organized into groups and communicate in order to achieve a common goal. Therefore, the problem of designing and(More)
Collaborative Browsing has experienced an increasing popularity as a topic for both, academic research and commercial software development, due mainly to the promise that it represents as an enabling technology for distant collaboration. Several areas are adequate for the application of this paradigm. In this paper, we present the results of an overview(More)
Ubiquitous computing environments provide a wide range of new challenges and possibilities in Distributed Systems. Among these, collaborative activities involving several users present some complex issues. These activities are very dynamic and imply heterogeneous communications and devices, and therefore adaptive solutions are required. Moreover, context(More)
The paper discusses an experience in using Unified Modelling Language and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design. AVISPA enabled detecting and fixing security flaws. The TURTLE toolkit enabled saving development time by eliminating design solutions with inappropriate(More)
Ubiquitous computing environments are complex systems containing a great amount of heterogeneous devices and services available to users. Both user needs and services offered to them evolve very fast. This evolution requires the adaptation of the software architectures that support user activities. Moreover, such adaptation must be based on application(More)