Search
EPHYL proposes to evaluate and experiment improvements to the new cellular networks that have been emerging in the context of the internet of things (IoT). The project will be based on the extremely active standardization in the field of Cellular IoT that will be closely followed by the industrial p
The exponential growth of connected devices has lead to a new kind of networks called machine to machine (M2M) and Internet of Things (IoT) networks. Future scenarios in mobile communications envisage a huge number of wireless devices located in physical proximity, generating multiple information fl
Billion of connected devices are announced in 2020. This could cause a major revolution in ambiant intelligence if we can formulate appropriate architectures to process the massive data that will be produced or required by these devices. These last years, the question of the most adequate archite
Thanks to the exponential growth of Internet, citizens have become more and more exposed to personal information leakages in their digital lives. This trend began with web tracking when surfing the Internet with our computers. Then the advent of smartphones, our personal assistants always connected
Big Data evolution, the introduction of cloud computing and the success of the MapReduce model have fostered new types of data-intensive applications where obtaining fast and timely results is a must (i.e., stream data applications). Stream data applications are emerging as first-class citizens in
Software systems are everywhere: they support most of the human activities and are becoming the backbone of our society. They form a more and more distributed and interconnected structure, where information is exchanged, stored and processed at an ever-increasing rate. Naturally, it is extremely imp
The availability of wireless communications has tremendously increased in recent years. Such evolution brings new usages, and with them a wealth of practical and theoretical problems. It mandates to design new applications that make various communicating agents and terminals interact together, mos
The omnipresence of connected objects and the new habits of numerical services consumption have caused an ever-expanding need for high data rates. Today, most long haul transmission systems and an increasing part of home Internet services rely on optical fibers. During the past decades, researchers
FORmal MEthods for the Development and the engIneering of Critical Interactive Systems – FORMEDICIS
We believe that a significant part of these difficulties can be attributed to the lack of a well-defined, domain- specific language. Such a language will provide greater flexibility in the development process by facilitating iterations between its different phases but also by allowing the automati
The overall objective of PARDI is the formal, machine-supported verification of parameterized distributed systems. A parameterized system specification is a specification for a whole class of systems, parameterized by the number of entities and the properties of the interaction, such as the communic
The pervasive deployment and reliability of wireless systems for Internet of Things (IoT) and Machine to Machine (M2M) applications are intrinsically limited by the radio propagation conditions in the use-cases scenarios. Radio systems will need to ensure robust communication in harsh environments,
Associating wireless information to certain physical locations is an interesting feature that many applications can benefit from. This capability is known as geocasting. Just like pictures are tagged with the location where they have been clicked, geocasting enables to tag a real physical location b
RainbowFS proposes a “just-right” approach to storage and consistency, for developing distributed, cloud-scale applications. Existing approaches shoehorn the application design to some predefined consistency model, but no single model is appropriate for all uses. Instead, we propose tools to co-de
Imagine designing and deploying a distributed application on millions of machines simply by posting a link on Twitter or by buying a word on Google Adwords. Imagine doing this without relying on a cloud or a central authority, just through a decentralized execution environment composed of users’ bro
Large, real-world software must continually change, to keep up with evolving requirements, fix bugs, and improve performance, maintainability, and security. This rate of change can pose difficulties for clients, whose code cannot always evolve at the same rate. This project will target the problems
This project addresses one fundamental challenge of our time: the construction of effective programming models and compilation techniques for the correct and efficient exploitation of big and linked data. We will focus on high-level specifications of pipelines of data transformations and extraction