Hadrien Bride

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 20

Top Venues

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

Gelin Zhang, Zhé Hóu, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
Extracting optimal explanations for ensemble trees via automated reasoning. Appl. Intell. 53 (11) (2023)
Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. Formal Aspects Comput. 34 (2) (2022)
Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning. CoRR (2021)
Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun
Silas: A high-performance machine learning foundation for logical reasoning and verification. Expert Syst. Appl. 176 (2021)
Hadrien Bride, Jin Song Dong, Ryan Green, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. Eng. Appl. Artif. Intell. 97 (2021)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker - (System Description). IJCAR (2) (2020)
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
RL: a Language for Formal Engineering. ICECCS (2020)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
N-PAT: A Nested Model-Checker. CoRR (2020)
Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Seyed Mohammad Mirjalili
Silas: High Performance, Explainable and Verifiable Machine Learning. CoRR (2019)
Hadrien Bride, Jin Song Dong, Ryan Green, Zhe Hou, Brendan P. Mahony, Martin Oxenham
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems. CoRR (2019)
Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu
Towards Dependable and Explainable Machine Learning Using Automated Reasoning. ICFEM (2018)
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham
Towards Trustworthy AI for Autonomous Systems. ICFEM (2018)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
Assessing SMT and CLP approaches for workflow nets verification. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Alban Rousset, Bénédicte Herrmann, Christophe Lang, Laurent Philippe, Hadrien Bride
Nested graphs: A model to efficiently distribute multi-agent systems on HPC clusters. Concurr. Comput. Pract. Exp. 30 (7) (2018)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
Reduction of Workflow Nets for Generalised Soundness Verification. VMCAI (2017)
Alban Rousset, Bénédicte Herrmann, Christophe Lang, Laurent Philippe, Hadrien Bride
Using Nested Graphs to Distribute Parallel and Distributed Multi-agent Systems. PDP (2016)
Hadrien Bride, Jacques Julliand, Pierre-Alain Masson
Tri-modal under-approximation for test generation. Sci. Comput. Program. 132 (2016)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
Workflow Nets Verification: SMT or CLP? FMICS-AVoCS (2016)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. Ershov Memorial Conference (2015)
Hadrien Bride, Jacques Julliand, Pierre-Alain Masson
Tri-modal under-approximation of event systems for test generation. SAC (2015)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
Verifying Modal Workflow Specifications Using Constraint Solving. IFM (2014)

Hadrien Bride.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hadrien Bride