FOCETA European project URL

[October 2023 - until now] - FETLAS Team, Verimag Laboratory, France
Mission: rigorous design of intelligent systems
Partner: Tsukuba University, Japan

Main actions:

• Malware analysis based on representative digital images using neural networks.
• Building, testing and monitoring of deep learning systems for medical images.

MODWIN UGA Project

[October 2022 - Septembre 2023] - VASCO Team, Grenoble Computer Science Laboratory, France
Mission: coordination and composition of DSLs (Domain Specific Languages)
Partner: INRIA (CONVECS Team)

Main actions:

• Development of a platform for modeling and verification of inter-DSL collaboration using BPMN, CSP and B languages
• Design and verification of collaborative DSLs (configuration management DSL and security risk assessment DSL) for management of smart grid infrastructure from RTE

CPS4EU European Project URL

[April 2022- September 2022] - Ctrl-A Team, INRIA Grenoble - Rhone-Alpes, France
Mission: design and security of self-adaptive cyber-physical and IoT systems
Partner: French Power Transmission Company (RTE)

Main actions:

• Design of a platform based on constraint programming for modeling and security of self-adaptive cyber-physical systems (Smart-Grid Infrastructure from RTE)

BRAIN-IoT European project URL

[May 2019 - Mars 2022] - RSD Team, Verimag Laboratory, France
Mission: design, formal verification, development and security of Cyber-physical and IoT systems
Partners: LINKS Foundation, CEA, Airbus CyberSecurity SAS, STM-GNB, SIEMENS, ECLIPSE, PAREMUS, Improving Metrics, IDATE, Robotnik Automation S.L.L, EMALCSA

Main actions:

• Prediction on IoT sensor data from a dam using machine learning and deep learning
• Development of a tool that integrates formal methods and machine learning for learning and analyzing system behavior from data traces
• Participation in the development of an integrated platform (BRAIN-IoT platform) for modeling, implementing, validating, operating and monitoring IoT systems
• Design and verification of IoT systems for the management of dams and collaborative robots for warehouse logistics
• Specification and management of requirements, and security risk assessment in IoT systems

ANR MODMED project URL

[March 2018 - April 2019] - VASCO Team, Grenoble Computer Science Laboratory, France. Mission: analyze the execution traces of Medical Cyber-Physical Systems
Partners: BlueOrtho, MinMaxMedical

Main actions:

• Building a DSL (ParTraP) for specifying properties on execution traces adapted to Medical Cyber-Physical Systems
• Application to Total Knee Arthroplasty system (designed by BlueOrtho manufacturer) that helps a surgeon replace parts of the knee joint with a prosthesis

PHD Project URL

[2014 - 2016] - VASCO Team, Grenoble Computer Science Laboratory, France
Mission: specification and verification of access control policies

Main actions:

• Extension of UML activity diagram for specifying access control policies. Formal verification after transformation of UML diagrams into the B language
• Development of tools supporting extensions and transformations using the Eclipse Modeling Framework (Papyrus, Ecore Tools, QVTo and B4MSecure)