Morin-Allory, Katell
VIAF ID: 194965348 ( Personal )
Permalink: http://viaf.org/viaf/194965348
Preferred Forms
- 100 1 _ ‡a Morin-Allory, Katell
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Analyse et amélioration de la robustesse des circuits asynchrones QDI | |
Evaluation de la sûreté des systèmes aéronautiques grâce aux plateformes virtuelles | |
Flot de conception pour circuits asynchrones : de la HLS à l'implémentation en FDSOI | |
Generating high level enriched models for heterogeneous and muliphysics systems. | |
Génération de modèles de haut niveau enrichis pour les systèmes hétérogènes et multiphysiques | |
Méthode de modélisation et de raffinement pour les systèmes hétérogènes. Illustration avec le langage System C-AMS | |
Réflexions autour de la méthodologie de vérification des circuits multi-horloges : analyse qualitative et automatisation | |
Robustness analysis and improvement of QDI self-timed circuits. | |
Safe and programmable real-time embedded system. | |
Safety Evaluation of Aircraft Systems using Virtual Platforms. | |
Semi-formal verification and automatic synthesis from PSL to HDL. | |
Study and development of a AMS design-flow in SytemC : semantic, refinement and validation. | |
Synthèse de contrôleurs séquentiels QDI faible consommation prouvés corrects | |
Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones | |
Synthesis of low power QDI sequential controllers proved correct. | |
Systèmes embarqués temps réel fiables et adaptables | |
Toward Floating-Point Run-time Variable Precision in CPU-based Architectures | |
Vérification formelle concluante des propriétés des systèmes multi-horloges. | |
Vérification formelle dans le modèle polyédrique | |
Verification of Control Properties in the Polyhedral Model | |
Vérification semi-formelle et synthèse automatique de circuits à partir de spécifications temporelles écrites en PSL | |
Vers une Précision des Nombres Flottants Ajustable Dynamiquement à l'Exécution. |