| Formally verified differential dynamic logic B Bohrer, V Rahli, I Vukotic, M Völp, A Platzer Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and …, 2017 | 43 | 2017 |
| Towards a formally verified proof assistant A Anand, V Rahli International Conference on Interactive Theorem Proving, 27-44, 2014 | 40 | 2014 |
| Towards a formally verified proof assistant A Anand, V Rahli International Conference on Interactive Theorem Proving, 27-44, 2014 | 40 | 2014 |
| Developing correctly replicated databases using formal tools N Schiper, V Rahli, R Van Renesse, M Bickford, RL Constable 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems …, 2014 | 35 | 2014 |
| Formal specification, verification, and implementation of fault-tolerant systems using EventML V Rahli, D Guaspari, M Bickford, RL Constable Electronic Communications of the EASST 72, 2015 | 25 | 2015 |
| Velisarios: Byzantine fault-tolerant protocols powered by Coq V Rahli, I Vukotic, M Völp, P Esteves-Verissimo European Symposium on Programming, 619-650, 2018 | 23 | 2018 |
| A nominal exploration of intuitionism V Rahli, M Bickford Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016 | 23 | 2016 |
| Formal program optimization in Nuprl using computational equivalence and partial types V Rahli, M Bickford, A Anand International Conference on Interactive Theorem Proving, 261-278, 2013 | 20 | 2013 |
| Logic of events, a framework to reason about distributed systems M Bickford, RL Constable, V Rahli | 19 | 2012 |
| Logic of events, a framework to reason about distributed systems M Bickford, RL Constable, V Rahli | 19 | 2012 |
| A constraint system for a SML type error slicer V Rahli, JB Wells, F Kamareddine Heriot-Watt University, MACS, ULTRA group, 2010 | 18 | 2010 |
| Skalpel: A type error slicer for standard ML V Rahli, J Wells, J Pirie, F Kamareddine Electronic Notes in Theoretical Computer Science 312, 197-213, 2015 | 17 | 2015 |
| Interfacing with proof assistants for domain specific programming using EventML V Rahli | 15 | 2012 |
| A type theory with partial equivalence relations as types A Anand, M Bickford, RL Constable, V Rahli | 12 | 2014 |
| Uniform circuits, & boolean proof nets V Mogbil, V Rahli International Symposium on Logical Foundations of Computer Science, 401-421, 2007 | 12 | 2007 |
| A diversified and correct-by-construction broadcast service V Rahli, N Schiper, R Van Renesse, M Bickford, RL Constable 2012 20th IEEE International Conference on Network Protocols (ICNP), 1-6, 2012 | 11 | 2012 |
| Shadowdb: A replicated database on a synthesized consensus core N Schiper, V Rahli, R Van Renesse, M Bickford, RL Constable Presented as part of the Eighth Workshop on Hot Topics in System Dependability, 2012 | 10 | 2012 |
| EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems V Rahli, D Guaspari, M Bickford, RL Constable Science of Computer Programming 148, 26-48, 2017 | 9 | 2017 |
| Coq as a metatheory for Nuprl with bar induction V Rahli, M Bickford | 9 | 2015 |
| Validating Brouwer's continuity principle for numbers using named exceptions V Rahli, M Bickford Mathematical Structures in Computer Science 28 (6), 942-990, 2018 | 8 | 2018 |
Fairouz KamareddineHeriot-Watt UniversityGeverifieerd e-mailadres voor hw.ac.uk
