Knowledge Tree

researcher / Florence Maraninchi

Florence Maraninchi

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Argos : un langage graphique pour la conception, la description et la validation des systèmes réactifs

Directed Thesis:

Application des architectures many core dans les systèmes embarqués temps réel

Algorithmes auto-stabilisants pour la construction de structures couvrantes réparties

Programmation synchrone de pilotes de périphériques pour un contrôle global de ressources dans les systèmes embarqués

Contributions to the Transaction-Level Modeling of Systems-on-a-Chip

Modélisations et analyses de réseaux de capteurs

Validation de modèles de systèmes sur puce en présence d’ordonnancements indéterministes et de temps imprécis@

Larissa, un langage aspect pour les systèmes réactifs

Un support de langage pour les modes de fonctionnement des systèmes temps-réel : extension de LUSTRE par des automates de modes

Etude d'un environnement de programmation et de vérification des systèmes réactifs, multi-langages et multi-outils