Godary, Karen, 1976-....
VIAF ID: 189604931 (Personal)
Permalink: http://viaf.org/viaf/189604931
Preferred Forms
-
100 1 _ ‡a Godary, Karen ‡d 1976-...
-
100 1 _ ‡a Godary, Karen, ‡d 1976-....
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
AMSA, a framework dedicated to simulation of control laws for racing sailboats. |
![]() |
AMSA, un framework dédié à la simulation des lois de contrôle pour des voiliers de compétition |
![]() |
Automatisation de la mise au point de lois de contrôle de systèmes cyber-physiques évoluant en environnement incertain |
![]() |
Bioinspired navigation and planning in large indoor environments with a mobile robot. |
![]() |
Design methodology for complex digital systems : from formalism to implementation through formal analysis, preservation of the compliance. Practical application to neuroprosthetics. |
![]() |
Diagnostic de plateformes robotisées. Méthode hybride évolutive intégrant une interaction avec un opérateur expert. |
![]() |
Étude et prototypage d'une nouvelle méthode d'accès aléatoire multi-canal multi-saut pour les réseaux locaux sans fil |
![]() |
Incremental modeling of embedded CPU-GPU systems for feature estimation and monitoring. |
![]() |
Méthodologie de conception d'architectures numériques complexes : du formalisme à l'implémentation en passant par l'analyse, préservation de la conformité. Application aux neuroprothèses |
![]() |
Model-checking pour l'agriculture de précision |
![]() |
Modeling, analysis and design of multi-channel MAC protocols in wireless networks. |
![]() |
Modélisation, analyse et conception de protocoles MAC multi-canaux dans les réseaux sans fil |
![]() |
Modélisation incrémentale des processeurs embarqués pour l'estimation des caractéristiques et le diagnostic |
![]() |
Navigation bio-inspirée pour un robot mobile autonome dans de grands environnements intérieurs |
![]() |
Study and prototyping of a new multi-channel and multi-hop random MAC layer for WSN. |
![]() |
Système robotisé semi-autonome pour l'observation des espèces marines |
![]() |
Test de systèmes temps réel à l'aide du forçage en ligne |
![]() |
Test generation and analysis for autonomous systems. |
![]() |
Testing real-time Systems using runtime enforcement. |
![]() |
Tolérance aux fautes multi-niveaux pour des robots autonomes - Application à un robot sous-marin. |
![]() |
Validation formelle des systèmes numériques critiques : génération de l'espace d'états de réseaux de Petri exécutés en synchrone |
![]() |
Validation temporelle de réseaux embarqués critiques et fiables pour l'automobiles = emporal validation of reliable and critical embedded networks for the automotive domain |
![]() |