| No. |
Title |
Author |
Year |
| 1 |
Program Analysis (Dagstuhl Seminar 99151) |
Hanne, Riis Nielson et al. |
2021 |
| 2 |
Programs with Recursively Defined Data Structures (Dagstuhl Seminar 98161) |
Schwartzbach, Michael I. et al. |
2021 |
| 3 |
On the Automated Verification of Web Applications with Embedded SQL |
Itzhaky, Shachar et al. |
2017 |
| 4 |
Simple Invariants for Proving the Safety of Distributed Protocols (Invited Talk) |
Sagiv, Mooly |
2016 |
| 5 |
New Directions for Network Verification |
Panda, Aurojit et al. |
2015 |
| 6 |
09301 Abstracts Collection -- Typing, Analysis, and Verification of Heap-Manipulating Programs |
Sagiv, Mooly et al. |
2010 |
| 7 |
09301 Executive Summary -- Typing, Analysis, and Verification of Heap-Manipulating Programs |
Sagiv, Mooly et al. |
2010 |
