IRT M2P

🇫🇷 FR

Papers

5

Total Citations

62

H-Index

4

Researchers

4

About

No biography available yet.

Research Focus

Computer science4 · 33 citations
Programming language3 · 30 citations
Formal verification3 · 30 citations
Chemistry1 · 29 citations
Composite material1 · 29 citations
Supercritical fluid1 · 29 citations
Extrusion1 · 29 citations
Materials science1 · 29 citations
Life-critical system2 · 21 citations
Formal methods2 · 21 citations

Key Achievements

4
H-Index
5
Papers
62
Total Citations
4
Faculty & Researchers
🏆 Most Cited Paper
Proceedings of the 20th European Conference on Composite Materials - Composites Meet Sustainability (Vol 1-6)
29 citations · 2022
📊 Avg Citations/Paper: 12
📈 Most Prolific Year: 2017 (2)
🔬 Research Focus: Computer science, Programming language, Formal verification, Chemistry, Composite material, Supercritical fluid

Top Papers

  1. 1
    Proceedings of the 20th European Conference on Composite Materials - Composites Meet Sustainability (Vol 1-6)
    29 citations · 2022
  2. 2
    Integrated formal verification of safety-critical software
    13 citations · 2017
  3. 3
    Correct‐by‐construction specification to verified code
    9 citations · 2018
  4. 4
    Formal development process of safety-critical embedded human machine interface systems
    8 citations · 2017
  5. 5
    Exploring AI-Based Satellite Pose Estimation: from Novel Synthetic Dataset to In-Depth Performance Evaluation
    3 citations · 2024

Faculty & Researchers

…

Not generated yet