Hadrien Bride

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