Vincent Rahli
TitleCited byYear
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
302017
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
282014
Towards a formally verified proof assistant
A Anand, V Rahli
International Conference on Interactive Theorem Proving, 27-44, 2014
272014
Towards a formally verified proof assistant
A Anand, V Rahli
International Conference on Interactive Theorem Proving, 27-44, 2014
272014
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
192013
A nominal exploration of intuitionism
V Rahli, M Bickford
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and …, 2016
182016
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
182015
Logic of events, a framework to reason about distributed systems
M Bickford, RL Constable, V Rahli
182012
Logic of events, a framework to reason about distributed systems
M Bickford, RL Constable, V Rahli
182012
A constraint system for a SML type error slicer
V Rahli, JB Wells, F Kamareddine
Heriot-Watt University, MACS, ULTRA group, 2010
182010
Interfacing with proof assistants for domain specific programming using EventML
V Rahli
132012
Uniform circuits, & boolean proof nets
V Mogbil, V Rahli
International Symposium on Logical Foundations of Computer Science, 401-421, 2007
122007
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
112015
A type theory with partial equivalence relations as types
A Anand, M Bickford, RL Constable, V Rahli
102014
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
92018
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
92012
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
82012
Coq as a metatheory for Nuprl with bar induction
V Rahli, M Bickford
72015
Bar induction: The good, the bad, and the ugly
V Rahli, M Bickford, RL Constable
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer …, 2017
62017
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
52017
The system can't perform the operation now. Try again later.
Articles 1–20