Recherche avancée
Créer alerte
Sponsorisé
The Institut Laue-Langevin (ILL), situated in Grenoble, France, is Europe's leading research facility for fundamental research using neutrons. The ILL operates the brightest neutron source in the world, reliably delivering intense neutron beams to 40 unique scientific...
Sponsorisé
PsD-DRT-20-0094
DOMAINE DE RECHERCHE
Cybersécurité : hardware et software
RÉSUMÉ DU SUJET
Frama-C est une plateforme d'analyse de code C. E-ACSL est le greffon de Frama-C dédié à la vérification à l'exécution. Il convertit un programme C étendu avec...
Sponsorisé
PsD-DRT-20-0095
DOMAINE DE RECHERCHE
Cybersécurité : hardware et software
RÉSUMÉ DU SUJET
Frama-C est une plateforme d'analyse de code C. Dans le contexte du projet européen H2020 ENSURESEC (2020-2022) qui vise à protéger le e-commerce, nous planifions...
Sponsorisé
PsD-DRT-20-0094
RESEARCH FIELD
Cyber security : hardware and sofware
ABSTRACT
Frama-C is a framework for code analysis of C code. E-ACSL is the Frama-C plug-in dedicated to runtime assertion checking. It converts a C program extended with formal annotations...
Sponsorisé
PsD-DRT-20-0095
RESEARCH FIELD
Cyber security : hardware and sofware
ABSTRACT
Frama-C is a framework for code analysis of C code. In the context of the newly accepted H2020 European project ENSURESEC (2020-2022) that aims at protecting e-commerce, we plan to...
Sponsorisé
PsD-DRT-20-0082
DOMAINE DE RECHERCHE
Usine du futur dont robotique et contrôle non destructif
RÉSUMÉ DU SUJET
La manipulation et l’assemblage robotique de haute précision pour saisir ou construire des objets est un enjeu majeur pour l'industrie. Cependant,...
Sponsorisé
PsD-DRT-20-0082
RESEARCH FIELD
Factory of the future incl. robotics and non destructive testing
ABSTRACT
High precision robotic assembly that handles high product variability is a key part of an agile and a flexible manufacturing automation system. To date...
Sponsorisé
SL-DRT-20-1088
DOMAINE DE RECHERCHE
Cybersécurité : hardware et software
RÉSUMÉ DU SUJET
Le but de la thèse est de développer une analyse statique automatique (basée sur l'interprétation abstraite) permettant de vérifier l'absence d'erreurs mémoire...
Sponsorisé
SL-DRT-20-1088
RESEARCH FIELD
Cyber security : hardware and sofware
ABSTRACT
The goal of the thesis is to develop an automated static analysis (based on abstract interpretation) to verify absence of memory errors in compiled, low-level languages (C, C++,...
Sponsorisé
SL-DRT-20-0791
RESEARCH FIELD
New computing paradigms, circuits and technologies, incl. quantum
ABSTRACT
Quantum computing sounds promising to solve computational problems that classical computing cannot address practically because of their complexity....
RECHERCHE RAPIDE PAR DOMAINE
France
Choisissez un pays
