Projects
Supported by National Programs
- SKYDATA: A new data paradigm: Intelligent and Autonomous Data - 2022-2026, ANR
Other Projects
- 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 provides a set of modeling and testing tools that helps managing complexity inherent to developing state of the art communicating systems. PragmaDev Studio integrates different tools based on international standards. The tools target architects/system engineers, developers, and testers. PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency. The (…)
Browsing
