Accueil > Verimag > Projets > Projets

Projets

Projets en cours

Projets Nationaux

SKYDATA : A new data paradigm : Intelligent and Autonomous Data - 2022-2026, ANR

Autres projets

BVSec - Binary Vision for Security testing
BVSec develops cutting-edge artificial intelligence solutions for the automatic detection of software vulnerabilities and malware. Situated at the intersection of scientific research and industrial applications, the project leverages innovative binary file analysis techniques coupled with deep learning to enhance information system security. BVSec enables large-scale analysis efficiently, without the need to execute or decompile the code.

Coopération Argosim - 2013-...
The Argosim company, hosted in Verimag between 2013 and 2015, designed an industrial version of Lutin.

Cooperation PragmaDev - 2006-...
PragmaDev est un éditeur de logiciel Français qui propose différents outils intégrés au sein de deux environnements : 1) PragmaDev Process permet de décrire ou d’importer un processus métier avec la notation BPMN et de vérifier qu’il est correct. 2) PragmaDev Studio permet de décrire : l’architecture, la spécification fonctionnelle, la conception, les tests de conformité, des systèmes temps réel embarqués. Il intègre plusieurs outils basés sur des standards internationaux qui s’adressent (…)