Concepedia

Christine Rizkallah

CR

6

Publications

206

Citations

6

H-Index

2013

Active since

Affiliations

UNSW Sydney(Current)

The University of Melbourne

California University of Pennsylvania

Christine Rizkallah is an author at UNSW Sydney specializing in formal methods, formal verification, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceFormal VerificationProgram AnalysisSoftware AnalysisSystem SoftwareAutomated ReasoningSoftware Engineering

Publications per year

2013–2021

6

Publications

6

Cogent

Sidney Amani, Alex Hixon, Zilin Chen et al. · 2016 · 67 citations · Full text

Program Checking, Engineering, Verification +16

Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference

Toby Murray, Robert Sison, Edward Pierzchalski et al. · 2016 · 50 citations

Engineering, Verification, Software Engineering +21

Refinement through restraint: bringing down the cost of verification

Liam O’Connor, Zilin Chen, Christine Rizkallah et al. · 2016 · 26 citations · Full text

Program Checking, Engineering, Verification +20

A Framework for the Verification of Certifying Computations

Eyad Alkassar, Sascha Böhme, Kurt Mehlhorn et al. · Journal of Automated Reasoning · 2013 · 23 citations

Engineering, Automated Reasoning, Certifying Computations +7

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)

Joachim Breitner, Antal Spector-Zabusky, Yao Li et al. · Proceedings of the ACM on Programming Languages · 2018 · 22 citations · Full text

Haskell Code, Engineering, Program Analysis +15

Rows per page

1–5 of 6