Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Blaise Genest
conf.researchr.org general profile
ATVA 2025 profile
FSE 2024 profile
MODELS 2024 profile
MODELS 2025 profile
Not registered as user
Name:
Blaise Genest
Country:
France
Affiliation:
IPAL - CNRS - CNRS@CREATE
Contributions
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
Sat 25 Oct 00:10