-
Building flexible data download schedules for Agile Earth-observing satellites
International audience -
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... -
Proposition of an "active" monitoring architecture based on smart agents for ...
Over the last two decades, embedded systems have been introduced in several application areas (transportation, industry, housing, medical...). These systems have... -
Towards a flexible and secure runtime for embedded devices
International audience -
Proposal for a test platform for the development of autonomous vehicles
International audience -
Planning and tracking trajectories of land vehicles based on the direction co...
International audience -
A Quest for Exactness: Program Transformation for Reliable Real Numbers
This thesis presents an algorithm that eliminates square root and division operations in some straight-line programs used in embedded systems while preserving the... -
Design of Reliable Real-Time Applications Distributed over CAN (Controller Ar...
Colloque avec actes et comité de lecture. -
Controller Area Network: CANs use within automobiles
Article dans revue scientifique avec comité de lecture. -
Modélisation de composants matériels et exécutifs en vue de la validation d'a...
Rapport de contrat. -
Worst-Case Deadline Failure Probability in Real-Time Applications Distributed...
Article dans revue scientifique avec comité de lecture. -
Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'e...
Rapport de contrat. -
Definition of language for automotive embedded electronic architecture descri...
Rapport de contrat. -
Definition of language for automotive embedded electronic architecture descri...
Rapport de contrat. -
Stochastic Battery Model for Embedded Systems
Colloque avec actes et comité de lecture. internationale.
