| |
| 2009 | ||
|---|---|---|
| 4 | EE | Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer: Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads. TACAS 2009: 107-123 |
| 2008 | ||
| 3 | EE | Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili: On the Reachability Analysis of Acyclic Networks of Pushdown Systems. CONCUR 2008: 356-371 |
| 2 | EE | Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl: Emptiness of Multi-pushdown Automata Is 2ETIME-Complete. Developments in Language Theory 2008: 121-133 |
| 1 | EE | Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili: Analyzing Asynchronous Programs with Preemption. FSTTCS 2008 |
| 1 | Benedikt Bollig | [2] |
| 2 | Ahmed Bouajjani | [1] [3] [4] |
| 3 | Peter Habermehl | [2] |
| 4 | Shaz Qadeer | [4] |
| 5 | Tayssir Touili | [1] [3] |