Hadrien Bride
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2014–2020
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CADE | N-PAT: A Nested Model-Checker - (System Description). | Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gor, Zh Hu, Brendan P. Mahony, Jim McCarthy |
| 2020 | ICECCS | RL: a Language for Formal Engineering. | Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Jim McCarthy |
| 2018 | ICFEM | Towards Dependable and Explainable Machine Learning Using Automated Reasoning. | Hadrien Bride, Jie Dong, Jin Song Dong, Zh Hu |
| 2018 | ICFEM | Towards Trustworthy AI for Autonomous Systems. | Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Martin Oxenham |
| 2017 | VMCAI | Reduction of Workflow Nets for Generalised Soundness Verification. | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |
| 2016 | FMICS | Workflow Nets Verification: SMT or CLP? | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron |
| 2016 | PDP | Using Nested Graphs to Distribute Parallel and Distributed Multi-agent Systems. | Alban Rousset, Bndicte Herrmann, Christophe Lang, Laurent Philippe, Hadrien Bride |
| 2015 | SAC | Tri-modal under-approximation of event systems for test generation. | Hadrien Bride, Jacques Julliand, Pierre-Alain Masson |
| 2014 | IFM | Verifying Modal Workflow Specifications Using Constraint Solving. | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |