default search action

combined dblp search
author search
venue search
publication search

ask others

Hadrien Bride

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/apin/ZhangHHSBDG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apin/ZhangHHSBDG23
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): 14371-14382 (2023)
2022
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/CaiSDHBDL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/CaiSDHBDL22
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): 1-31 (2022)
2021
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/eaai/BrideDGHMO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eaai/BrideDGHMO21
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: 104091 (2021)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/BrideCDDHMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/BrideCDDHMS21
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: 114806 (2021)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-02191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-02191
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 abs/2103.02191 (2021)
2020
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BrideCDGHMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BrideCDGHMM20
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: 369-377
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/BrideDHMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/BrideDHMM20
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy:
RL: a Language for Formal Engineering. ICECCS 2020: 31-36
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2005-05520
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-05520
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 abs/2005.05520 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-01380
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-01380
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 abs/1910.01380 (2019)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1910-01382
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-01382
Hadrien Bride, Zhe Hou, Jie Dong, Jin Song Dong, Seyed Mohammad Mirjalili:
Silas: High Performance, Explainable and Verifiable Machine Learning. CoRR abs/1910.01382 (2019)
2018
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/RoussetHLPB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/RoussetHLPB18
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)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BrideKPV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BrideKPV18
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): 467-491 (2018)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BrideDHMO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BrideDHMO18
Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Martin Oxenham:
Towards Trustworthy AI for Autonomous Systems. ICFEM 2018: 407-411
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/BrideDDH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/BrideDDH18
Hadrien Bride, Jie Dong, Jin Song Dong, Zhé Hóu:
Towards Dependable and Explainable Machine Learning Using Automated Reasoning. ICFEM 2018: 412-416
2017
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/BrideKP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/BrideKP17
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux:
Reduction of Workflow Nets for Generalised Soundness Verification. VMCAI 2017: 91-111
2016
[b1]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - details & citations
- export record
  dblp key:
  - phd/hal/Bride16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Bride16
Hadrien Bride:
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). University of Franche-Comté, Besançon, France, 2016
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BrideJM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BrideJM16
Hadrien Bride, Jacques Julliand, Pierre-Alain Masson:
Tri-modal under-approximation for test generation. Sci. Comput. Program. 132: 190-208 (2016)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BrideKPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BrideKPV16
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron:
Workflow Nets Verification: SMT or CLP? FMICS-AVoCS 2016: 39-55
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/pdp/RoussetHLPB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdp/RoussetHLPB16
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: 710-717
2015
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ershov/BrideKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ershov/BrideKP15
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux:
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. Ershov Memorial Conference 2015: 75-90
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BrideJM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BrideJM15
Hadrien Bride, Jacques Julliand, Pierre-Alain Masson:
Tri-modal under-approximation of event systems for test generation. SAC 2015: 1737-1744
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BrideKP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BrideKP14
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux:
Verifying Modal Workflow Specifications Using Constraint Solving. IFM 2014: 171-186

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.