| 2009 | ||
|---|---|---|
| 2 | Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederberg, Ran Ji: Automated Analysis of Data-Dependent Programs with Dynamic Memory. ATVA 2009: 197-212 | |
| 2008 | ||
| 1 | Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine: Monotonic Abstraction for Programs with Dynamic Memory Heaps. CAV 2008: 341-354 | |
| 1 | Parosh Aziz Abdulla | [1] [2] |
| 2 | Muhsin Atto | [2] |
| 3 | Ahmed Bouajjani | [1] |
| 4 | Frédéric Haziza | [1] |
| 5 | Ran Ji | [2] |
| 6 | Ahmed Rezine | [1] |