Votre recherche
Vérification de systèmes distribués paramétrés – PARDI
L'objectif du projet PARDI est la vérification formelle et assistée de systèmes distribués paramétrés. Une spécification de système paramétré est en fait la spécification d'une large classe de système
Vérification de propriétés d'indistinguabilité – VIP
1. Modélisation de protocoles et des propriétés du type «respect de la vie privée«.<br />2. Algorithmes pour vérifier les propriétés d'équivalence.<br />3. Modularité.
Vérification de l'information dans le journalisme, sur internet et dans l'espace public – VIJIE
PROJET VIJIE : VERIFICATION DE L'INFORMATION DANS LE JOURNALISME, SUR INTERNET ET DANS L'ESPACE PUBLIC Les fausses informations (ou fake news) font l’objet d’interrogations renouvelées en raison d
Vérification de Machines Abstraites pour les Systèmes d’Exploitation – VeriAMOS
Les Systèmes d'Exploitation généralistes comme Linux sont de plus en plus utilisés dasn des systèmes embarqués critiques, dans l'automobile, le secteur médical et les systèmes cyber-physiques. Tout
Vérification automatisée de systèmes logiciels – AVERISS
La vérification de programmes est une tˆache difficile qui repr´esente un th`eme de recherche important. L'objectif de ce projet est de fournir des techniques avanc´ees pour la v´erification automati
Vérification Formelle de Composants Distribués – PiCoq
L'utilisation croissante de systèmes informatiques rend nécessaire une analyse rigoureuse de leurs propriétés, pour spécifier et prouver des garanties sur leurs comportements. De nombreux systèmes é
Vélocimétrie intraventriculaire 4-D par écho-Doppler – 4D-iVFM
Le vortex sanguin intracardiaque se formant durant la diastole, mesuré par CMR-4D (résonance magnétique cardiaque, 4-D = 3-D + temps), reflète la capacité de remplissage du cœur. L’imagerie de flux pa
Vélocimétrie Instantanée Volumique pour les Ecoulements Tridimensionnels – VIVE3D
La majorité des écoulements qui font aujourd'hui l'objet d'études académiques ou de l'intérêt des industriels présentent un caractère fortement tridimensionnel et très souvent instationnaire. Bien que
Véhicules pour les Transports Terrestres (VTT)
Consultez la liste des projets financés ainsi que leurs résumés Le programme VTT s'inscrit dans la lignée des conclusions du Grenelle de l'environnement et dans la logique de travaux du PR
