Lauer, Michaël, 1982-...
VIAF ID: 297714530 ( Personal )
Permalink: http://viaf.org/viaf/297714530
Preferred Forms
Works
Title | Sources |
---|---|
A comprehensive method for the verification of real-time requirements : application to integrated modular avionics. | |
Efficient and adaptive load balancing with temporal constraints for connected vehicles. | |
Equilibrage de charge efficace et adaptatif avec contraintes temporelles pour les véhicules connectés | |
Une méthode globale pour la vérification d’exigences temps réel : application à l’avionique modulaire intégrée | |
Prévention des fautes temporelles sur architectures multicoeur pour les systèmes à criticité mixte | |
Résilience des systèmes informatiques adaptatifs : modélisation, analyse et quantification | |
Systèmes résilients pour l'automobile : d'une approche à composants à une approche à objets de la tolérance aux fautes adaptative sur ROS |