-
Scenario automata : theory and applications
Partial order automata are more known under their standardized name "'Message Sequence Charts (MSCs). They have met a considerable interest during the last 15 years.... -
Enabling High-Level Application Development for the Internet of Things
Application development in the Internet of Things (IoT) is challenging because it involves dealing with a wide range of related issues such as lack of separation of... -
Computational Science of Computer Systems
Despite their major impact on our modern societies, large scale distributed systems remain extremely challenging to study and assess as they aggregate million of... -
Designing Adaptive Replication Schemes for Efficient Content Delivery in Edge...
Content availability has become increasingly important for the Internet delivery chain. In order to enhance availability, content distribution network (CDN) providers... -
Consistency in Distributed Systems
International audience -
Non-Monotonic Snapshot Isolation: scalable and strong consistency for geo-rep...
International audience -
On the Scalability of Snapshot Isolation
International audience -
Incremental Stream Processing using Computational Conflict-free Replicated Da...
International audience -
Adding Virtualization Capabilities to the Grid'5000 Testbed
International audience -
Distributed system dependability evaluation: a case study on a pilot thermal ...
The aim of this paper is to test and validate a methodology for the design of distributed systems by evaluating performances and dependability (more specially... -
Distributed Implementations of Component-based Systems with Prioritized Multi...
Distributed software is often required for new systems, because of efficiency and physical distribution and sensors and actuators. Ensuring correctness of a... -
Evaluating Software Merge Quality
International audience -
Merging OT and CRDT Algorithms
International audience -
Development of an energy efficient, robust and modular multicore wireless sen...
The wireless sensor network is a key technology in the 21st century because it has multitude applications and it becomes the new way of interaction between physical... -
Minotor: Monitoring Timing and Behavioral Properties for Dependable Distribut...
International audience -
On fault tolerance and worst-case response time analysis in CAN
Colloque avec actes et comité de lecture. -
RenPar'10
Ouvrage (auteur). -
Private Peer-to-peer similarity computation in personalized collaborative pla...
In this thesis, we consider a distributed collaborative platform in which each peer hosts his private information, such as the URLs he liked or the news articles that... -
An Object-Oriented Modeling of Co-operative Multimedia Systems
Colloque avec actes et comité de lecture. internationale.
