You are here


Structuring an Abstract Interpreter through Value and State Abstractions: EVA, an Evolved Value Analysis for Frama-C

Elle sera effectuée en français, et sera suivie d'un pot en salle Sein auquel vous êtes chaleureusement conviés.

Résumé :

David Bühler (Celtique)

Microclouds: An Approach for a Network-Aware Energy-Efficient Decentralized Cloud

The traditional datacenter-centralized architecture collides with the latest trend of ubiquity of Cloud computing, as it confines the cloud computation to the location of the datacenters, generally far from the user. In this thesis, we focus on two drawbacks of datacenter-centralized Clouds: energy consumption and quality of service. On the one hand, due to its centralized nature, energy consumption in networks is affected by the traditional vision of the Cloud.


Algorithms and optimization for QoE aware routing in wireless networks: from centralized to decentralized solutions

Wireless and mobile networks have become an important part in our modern society. Thanks to ubiquitous wireless connectivity, people can connect to the Internet anytime and anywhere. Video streaming is one of the most popular services on the Internet and it covers from 70% to 82% of all Internet traffic. Modern infrastructure networks, such as Long-Term Evolution (LTE), are prospective solutions for video streaming because of their high data rates.

Quang Pham Tran An (DIONYSOS)

Intelligent Supervision of Flexible Optical Networks

The presentation will be in French (Slides in English).

In order to get authorization to enter the building of IRT b<>com, please register online via this link:

Matthieu KANJ (AdopNet)

Leveraging Software Product Line Engineering in the Construction of Domain Specific Languages

The use of domain-specific languages (DSLs) has become a successful technique in the development of complex systems because it furnishes abstraction, separation of concerns and much more. Nowadays, we can find a large variety of DSLs providing support in various domains. However, the construction of these languages is an expensive task (requires important amount of time and efforts in the definition of formal specifications and tooling to meet requirements).


Self-adaptation for Internet of Things applications / Auto-adaptation pour les applications de l’Internet des Objets

La reconfiguration logicielle des nœuds dans l’Internet des objets est une préoccupation majeure dans plusieurs domaines d’application. En particulier, la distribution du code pour fournir des nouvelles fonctionnalités ou mettre à jour le logiciel déjà installé afin de l’adapter aux nouvelles exigences, a un impact énorme sur la consommation d’énergie.


Composition and Interoperability for External Domain-Specific Language Engineering

Development and evolution of Domain-Specific Languages (DSLs) is becoming recurrent in the development of complex software-intensive systems. However, despite many advances in Software Language Engineering (SLE), DSLs and their tooling still suffer from substantial development costs which hamper their successful adoption in the industry.


Real-time tracking of deformable targets in 3D ultrasound sequences

De nos jours, les traitements mini-invasifs, tels que l’ablation par radiofréquence, sont de plus en plus utilisés car ils permettent d’éliminer localement les tumeurs à partir de l’insertion d’une aiguille. Cependant, le succès de ces procédures dépend de la précision du positionnement de l’aiguille par rapport aux structures anatomiques. Afin de garantir un placement correct, l’imagerie échographique est souvent utilisée car elle a l’avantage d’être temps-réel, bas coût, et non-invasive.



Subscribe to RSS - Thesis