Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Blaise Genest
conf.researchr.org general profile
ATVA 2025 profile
FM 2026 profile
FSE 2024 profile
ICSE 2026 profile
MODELS 2024 profile
MODELS 2025 profile
MODELS 2026 profile
Not registered as user
Name:
Blaise Genest
Country:
France
Affiliation:
IPAL - CNRS - CNRS@CREATE
Contributions
2026
EDTconf
Author of Building real-time digital twin instances with Function+Data Flow: user evaluation and extension for iterative pipelines within the SoSyM Journal Track-track
FM
Author of Formal Reasoning About Confidence and Automated Verification of Neural Networks within the Workshop: AIPV-track
Author of Formal Reasoning About Confidence and Automated Verification of Neural Networks within the Research Track-track
ICSE
Author of Repairing LLM Executions for Secure Automatic Programming within the Research Track-track
2025
ATVA
Author of Solution-aware vs global ReLU selection: partial MILP strikes back for DNN verification within the ATVA Papers-track
MODELS
Author of DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins within the Posters-track
EDTconf
Author of DesCartes Builder: A Tool to Develop Machine-Learning Based Digital Twins within the Technical Track-track
2024
AIware
Author of Function+Data Flow: A Framework to Specify Machine Learning Pipelines for Digital Twinning within the Main Track-track
Share
x
Fri 16 Oct 18:39