Vincent Rahli

University of Birmingham - Birmingham / United Kingdom

Others

AD Scientific Index ID: 4323949

Registration, Add Profile,
Premium Membership

Print Your Certificate

Vincent Rahli's MOST POPULAR ARTICLES

1-) Formally verified differential dynamic logicB Bohrer, V Rahli, I Vukotic, M Völp, A PlatzerProceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017642017

2-) DAMYSUS: streamlined BFT consensus leveraging trusted componentsJ Decouchant, D Kozhaya, V Rahli, J YuProceedings of the Seventeenth European Conference on Computer Systems, 1-16, 2022642022

3-) Velisarios: Byzantine fault-tolerant protocols powered by CoqV Rahli, I Vukotic, M Völp, P Esteves-VerissimoProgramming Languages and Systems: 27th European Symposium on Programming …, 2018592018

4-) Towards a formally verified proof assistantA Anand, V RahliInteractive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014552014

5-) Developing correctly replicated databases using formal toolsN Schiper, V Rahli, R Van Renesse, M Bickford, RL Constable2014 44th Annual IEEE/IFIP International Conference on Dependable Systems …, 2014472014

ARTICLES

Add your articles