![]() | ![]() |
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] |