Vincent Rahli - Concepedia

Author

Vincent Rahli

Cornell University ORCID

Also Known As

Rahli, Vincent, Rahli, Vincent (author), VINCENT RAHLI, Vincent Rahli

Publications

475

Citations

H-Index

Concepts

All Affiliations

Cornell University Laboratoire d'Informatique de Paris-Nord University of Luxembourg Heriot-Watt University Malaysia

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	8	8	225
2	Management	1	1	31
3	Social Sciences	1	1	18
4	Cognitive Science	1	1	18
5	Computer Engineering	1	1	14

Vincent Rahli

Publications

265

Citations

H-Index

Page 1

	Year	Citations
Formally verified differential dynamic logic Rose Bohrer, Vincent Rahli, Ivana Vukotic, EngineeringAutomated ReasoningMechanical VerificationVerificationDifferential Dynamic Logic	2016	59
DAMYSUS Jérémie Decouchant, David Kozhaya, Vincent Rahli, BlockchainBlockchain Consensus ProtocolFault-tolerant NetworkEngineeringStreamlined Protocols	2022	50
Developing Correctly Replicated Databases Using Formal Tools Nicolas Schiper, Vincent Rahli, Robbert van Renesse, EngineeringVerificationFault ToleranceSemantic WebFault-tolerant Messaging	2014	31
Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML Vincent Rahli, David Guaspari, Mark Bickford, University of Birmingham Research Portal (University of Birmingham) Event-driven ArchitectureEngineeringVerificationSoftware EngineeringFault Tolerance	2024	23
A nominal exploration of intuitionism Vincent Rahli, Mark Bickford Nuprl TheoryIntuitionistic LogicConstructive MathematicsCognitive ScienceEngineering	2016	18
The Logic of Events, a framework to reason about distributed systems Mark Bickford, Robert L. Constable, Vincent Rahli eCommons (Cornell University) Event-driven ArchitectureEngineeringVerificationSoftware EngineeringSoftware Analysis	2012	15
A constraint system for a SML type error slicer Vincent Rahli, J. B. Wells, Fairouz Kamareddine Open Repository and Bibliography (University of Luxembourg)	2010	15
Interfacing with Proof Assistants for Domain Specific Programming Using EventML Vincent Rahli Open Repository and Bibliography (University of Luxembourg)	2012	15
EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems Vincent Rahli, David Guaspari, Mark Bickford, Science of Computer Programming EngineeringFault-tolerant MessagingByzantine FaultVerificationFormal Methods	2017	15
Skalpel: A Type Error Slicer for Standard ML Vincent Rahli, J. B. Wells, John Pirie, Electronic Notes in Theoretical Computer Science Mathematical ProgrammingEngineeringCompiler TechnologyPresent SkalpelType Error	2015	14

Page 1