Concepedia

Steven Ramsay

SR

10

Publications

320

Citations

10

H-Index

1989

Active since

Affiliations

University of Oxford(Current)

University of Bristol

Steven Ramsay is an author at University of Oxford specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisFormal SpecificationSatisfiability

Publications per year

1989–2018

10

Publications

10

Verifying higher-order functional programs with pattern-matching algebraic data types

C.-H. Luke Ong, Steven Ramsay · ACM SIGPLAN Notices · 2011 · 74 citations

Pmrs Verification Problem, Engineering, Verification +20

Verifying higher-order functional programs with pattern-matching algebraic data types

C.-H. Luke Ong, Steven Ramsay · 2011 · 62 citations

Program Checking, Engineering, Verification +16

A type-directed abstraction refinement approach to higher-order model checking

Steven Ramsay, Robin P. Neatherway, C.-H. Luke Ong · 2014 · 50 citations · Full text

Program Checking, Engineering, Verification +17

A traversal-based algorithm for higher-order model checking

Robin P. Neatherway, Steven Ramsay, C.-H. Luke Ong · 2012 · 35 citations

Traversal-based Algorithm, Formal Specification, Engineering +14

Higher-order constrained horn clauses for verification

Toby Cathcart Burn, C.-H. Luke Ong, Steven Ramsay · Proceedings of the ACM on Programming Languages · 2017 · 24 citations · Full text

Decision Procedure, Refinement Types, Constraint Solving +14

Rows per page

1–5 of 10