Encrenaz, Emmanuelle, 1969-....
VIAF ID: 217438354 ( Personal )
Permalink: http://viaf.org/viaf/217438354
Preferred Forms
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Assistance au raffinement dans la conception des systèmes embarqués | |
Assisting formal refinement and verification in embedded system design. | |
Data mining and modeling of poorly structured or unstructured data. | |
Deadlock detection in networks on chip. | |
Design of a virtual prototyping framework for composable heterogeneous systems. | |
Détection des interblocages dans les réseaux sur puces | |
Évaluation et considération de la sécurité dans les systèmes de gestion d’architectures multi-coeurs. | |
Exploitation of dynamic symmetries for solving SAT problems. | |
Exploration et modélisation de données peu ou pas structurées | |
Fuzzing et méthodes symboliques pour la détection de vulnérabilités à large échelle. | |
Une methode de verification de proprietes de programmes VHDL basee sur des modeles formels de reseaux de PETRI | |
Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents. | |
Principes et réalisation d'un environnement de prototypage virtuel de systèmes hétérogènes composables | |
Programmation spatio-temporelle : un langage synchrone par contraintes pour l'exploration combinatoire. | |
Quantification of the security of applications in the presence of physical attacks and detection of attack paths. | |
Reactive Web Programming in a Static Typing Context for Rich Multimedias Content Orchestration. | |
Réflexions autour de la méthodologie de vérification des circuits multi-horloges : analyse qualitative et automatisation | |
Securing access to and from devices in a RISC-V multicore architecture used for virtualization. | |
Sécurisation de programmes assembleur face aux attaques visant les processeurs embarqués | |
Sécurisation des accès aux périphériques et depuis les périphériques dans une architecture multicœur RISC-V utilisée pour la virtualisation | |
Sécurité et confiance du matériel analogique. | |
Security of assembly programs against fault attacks on embedded processors. | |
Software security : combining fuzzing and symbolic methods for vulnerability detection | |
Spacetime programming : a synchronous language for constraint search | |
Spécifier et vérifier des stratégies d’application de politiques de sécurité s’appuyant sur des mécanismes matériels. | |
Specifying and Verifying Hardware-based Security Enforcement Mechanisms | |
Study of the resistance of symmetric-key algorithms against modern cryptanalysis. | |
Synthèse d'architectures de circuits FPGA tolérants aux défauts | |
Vérification compositionnelle pour la conception sûre de systèmes embarqués | |
Vérification de la latence dans les traces d'exécution de modèle de partitionnement logiciel | |
Virtualisation efficace d'architectures NUMA | |
Zip-CNN. |