Verifying Modal Workflow Specifications Using Constraint Solving. - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux (IFM, 2014)

Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux (Ershov Memorial Conference, 2015)

Tri-modal under-approximation of event systems for test generation. - Hadrien Bride; Jacques Julliand; Pierre-Alain Masson (SAC, 2015)

Workflow Nets Verification: SMT or CLP? - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux; Guillaume Voiron (FMICS-AVoCS, 2016)

Using Nested Graphs to Distribute Parallel and Distributed Multi-agent Systems. - Alban Rousset; Bénédicte Herrmann; Christophe Lang; Laurent Philippe 001; Hadrien Bride (PDP, 2016)

Tri-modal under-approximation for test generation. - Hadrien Bride; Jacques Julliand; Pierre-Alain Masson (Sci. Comput. Program., 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)

Reduction of Workflow Nets for Generalised Soundness Verification. - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux (VMCAI, 2017)

Towards Dependable and Explainable Machine Learning Using Automated Reasoning. - Hadrien Bride; Jie Dong; Jin Song Dong; Zhé Hóu (ICFEM, 2018)

Towards Trustworthy AI for Autonomous Systems. - Hadrien Bride; Jin Song Dong; Zhé Hóu; Brendan P. Mahony; Martin Oxenham (ICFEM, 2018)

Nested graphs: A model to efficiently distribute multi-agent systems on HPC clusters. - Alban Rousset; Bénédicte Herrmann; Christophe Lang; Laurent Philippe 001; Hadrien Bride (Concurr. Comput. Pract. Exp., 2018)

Assessing SMT and CLP approaches for workflow nets verification. - Hadrien Bride; Olga Kouchnarenko; Fabien Peureux; Guillaume Voiron (Int. J. Softw. Tools Technol. Transf., 2018)

Silas: High Performance, Explainable and Verifiable Machine Learning. - Hadrien Bride; Zhe Hou; Jie Dong; Jin Song Dong; Seyed Mohammad Mirjalili (CoRR, 2019)

N-PAT: A Nested Model-Checker - (System Description). - Hadrien Bride; Cheng-Hao Cai; Jin Song Dong; Rajeev Goré; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (IJCAR (2), 2020)

RL: a Language for Formal Engineering. - Hadrien Bride; Jin Song Dong 001; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (ICECCS, 2020)

N-PAT: A Nested Model-Checker. - Hadrien Bride; Cheng-Hao Cai; Jin Song Dong; Rajeev Goré; Zhé Hóu; Brendan P. Mahony; Jim McCarthy (CoRR, 2020)

Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning. - Gelin Zhang; Zhe Hou; Yanhong Huang; Jianqi Shi; Hadrien Bride; Jin Song Dong; Yongsheng Gao 001 (CoRR, 2021)

GRAVITAS: A model checking based planning and goal reasoning framework for autonomous systems. - Hadrien Bride; Jin Song Dong; Ryan Green; Zhé Hóu; Brendan P. Mahony; Martin Oxenham (Eng. Appl. Artif. Intell., 2021)

Silas: A high-performance machine learning foundation for logical reasoning and verification. - Hadrien Bride; Cheng-Hao Cai; Jie Dong; Jin Song Dong; Zhé Hóu; Seyedali Mirjalili; Jing Sun 002 (Expert Syst. Appl., 2021)

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. - Cheng-Hao Cai; Jing Sun 002; Gillian Dobbie; Zhé Hóu; Hadrien Bride; Jin Song Dong 001; Scott Uk-Jin Lee (Formal Aspects Comput., 2022)

Extracting optimal explanations for ensemble trees via automated reasoning. - Gelin Zhang; Zhé Hóu; Yanhong Huang; Jianqi Shi; Hadrien Bride; Jin Song Dong; Yongsheng Gao 001 (Appl. Intell., 2023)