Vincent Rahli
Publications by Year
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Distributed systems and fault tolerance, Formal Methods in Verification, Security and Verification in Computing
Most-Cited Works
- → Formally verified differential dynamic logic(2016)59 cited
- → DAMYSUS(2022)50 cited
- → Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq(2018)34 cited
- → Developing Correctly Replicated Databases Using Formal Tools(2014)31 cited
- → Towards a Formally Verified Proof Assistant(2014)31 cited
- → Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML(2024)23 cited
- → A nominal exploration of intuitionism(2016)18 cited
- Interfacing with Proof Assistants for Domain Specific Programming Using EventML(2012)
- The Logic of Events, a framework to reason about distributed systems(2012)
- → EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems(2017)15 cited