 | 2009 |
|---|
| 7 |       | Mohamed Faouzi Atig,
Tayssir Touili:
Verifying Parallel Programs with Dynamic Communication Structures.
CIAA 2009: 145-154 |
| 6 | | Mohamed Faouzi Atig,
Ahmed Bouajjani:
On the Reachability Problem for Dynamic Networks of Concurrent Pushdown Systems.
RP 2009: 1-2 |
| 5 | | Mohamed Faouzi Atig,
Peter Habermehl:
On Yen's Path Logic for Petri Nets.
RP 2009: 51-63 |
| 4 | | Mohamed Faouzi Atig,
Ahmed Bouajjani,
Shaz Qadeer:
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads.
TACAS 2009: 107-123 |
| 2008 |
|---|
| 3 | | Mohamed Faouzi Atig,
Ahmed Bouajjani,
Tayssir Touili:
On the Reachability Analysis of Acyclic Networks of Pushdown Systems.
CONCUR 2008: 356-371 |
| 2 | | Mohamed Faouzi Atig,
Benedikt Bollig,
Peter Habermehl:
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete.
Developments in Language Theory 2008: 121-133 |
| 1 | | Mohamed Faouzi Atig,
Ahmed Bouajjani,
Tayssir Touili:
Analyzing Asynchronous Programs with Preemption.
FSTTCS 2008 |
