Concepedia

Vincent Rahli

VR

11

Publications

265

Citations

10

H-Index

2010

Active since

Affiliations

Cornell University(Current)

Laboratoire d'Informatique de Paris-Nord

University of Luxembourg

Heriot-Watt University Malaysia

Vincent Rahli is an author at Cornell University specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationFault ToleranceSystem SoftwareSoftware AnalysisAutomated ReasoningDistributed Systems

Publications per year

2010–2024

11

Publications

11

Formally verified differential dynamic logic

Rose Bohrer, Vincent Rahli, Ivana Vukotic et al. · 2016 · 59 citations · Full text

Engineering, Automated Reasoning, Mechanical Verification +11

Jérémie Decouchant, David Kozhaya, Vincent Rahli et al. · 2022 · 50 citations · Full text

Blockchain, Blockchain Consensus Protocol, Fault-tolerant Network +12

Developing Correctly Replicated Databases Using Formal Tools

Nicolas Schiper, Vincent Rahli, Robbert van Renesse et al. · 2014 · 31 citations · Full text

Engineering, Verification, Fault Tolerance +21

Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML

Vincent Rahli, David Guaspari, Mark Bickford et al. · University of Birmingham Research Portal (University of Birmingham) · 2024 · 23 citations · Full text

Event-driven Architecture, Engineering, Verification +21

A nominal exploration of intuitionism

Vincent Rahli, Mark Bickford · 2016 · 18 citations · Full text

Nuprl Theory, Intuitionistic Logic, Constructive Mathematics +15

Rows per page

1–5 of 11