-
Modeling the resilience of large and evolving systems
International audience -
TOWARDS RESILIENT AND PRIVATE MOBIQUITOUS SYSTEMS
The works presented in this dissertation are representative of my activities in the field of resilience and privacy for ubiquitous mobile systems. They are organized... -
Connectivity dynamics in vehicular freeway scenarios
International audience -
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
Colloque avec actes et comité de lecture. internationale.
