Christine Rizkallah

 

Website: https://www.mpi-inf.mpg.de/~crizkall/

 

Entries

2016

November 29: COMPLX: A Verification Framework for Concurrent Imperative Programs

June 28: Compositional Security-Preserving Refinement for Concurrent Imperative Programs

June 25: A Dependent Security Type System for Concurrent Imperative Programs

 

2013

May 22: An Axiomatic Characterization of the Single-Source Shortest Path Problem

 

2011

July 21: Maximum Cardinality Matching