Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Automated Modular Verification for Relaxed Communication Protocols. | 0 | 0.34 | 2018 |
| Towards a Session Logic for Communication Protocols | 1 | 0.35 | 2015 |
| Certified Reasoning with Infinity. | 1 | 0.38 | 2015 |
| HIPimm: verifying granular immutability guarantees | 0 | 0.34 | 2014 |