| 2007 | ||
|---|---|---|
| 2 | EE | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko: Precise Thread-Modular Verification. SAS 2007: 218-232 |
| 2006 | ||
| 1 | EE | Alexander Malkis, Andreas Podelski, Andrey Rybalchenko: Thread-Modular Verification Is Cartesian Abstract Interpretation. ICTAC 2006: 183-197 |
| 1 | Andreas Podelski | [1] [2] |
| 2 | Andrey Rybalchenko | [1] [2] |