Hadrien Bride

According to our database, Hadrien Bride authored at least 21 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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

Appl. Intell., June, 2023

2022

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.

Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee

Formal Aspects Comput., 2022

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

Expert Syst. Appl., 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

Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning.

Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao

CoRR, 2021

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

RL: a Language for Formal Engineering.

Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy

Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020

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

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Silas: High Performance, Explainable and Verifiable Machine Learning.

Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Seyed Mohammad Mirjalili

CoRR, 2019

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

Nested graphs: A model to efficiently distribute multi-agent systems on HPC clusters.

Alban Rousset, Bénédicte Herrmann, Christophe Lang, Laurent Philippe, Hadrien Bride

Concurr. Comput. Pract. Exp., 2018

Towards Trustworthy AI for Autonomous Systems.

Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham

Proceedings of the Formal Methods and Software Engineering, 2018

Towards Dependable and Explainable Machine Learning Using Automated Reasoning.

Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu

Proceedings of the Formal Methods and Software Engineering, 2018

2017

Reduction of Workflow Nets for Generalised Soundness Verification.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

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

PhD thesis, 2016

Tri-modal under-approximation for test generation.

Hadrien Bride, Jacques Julliand, Pierre-Alain Masson

Sci. Comput. Program., 2016

Using Nested Graphs to Distribute Parallel and Distributed Multi-agent Systems.

Alban Rousset, Bénédicte Herrmann, Christophe Lang, Laurent Philippe, Hadrien Bride

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Workflow Nets Verification: SMT or CLP?

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015

Tri-modal under-approximation of event systems for test generation.

Hadrien Bride, Jacques Julliand, Pierre-Alain Masson

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux

Proceedings of the Perspectives of System Informatics, 2015

2014

Verifying Modal Workflow Specifications Using Constraint Solving.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014