47 citations · 134 across the 31 of their papers we have counts for
3 papers · 1 filter
Adding Time to Pushdown Automata
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman
In this tutorial, we illustrate through examples how we can combine two classical models, namely those of pushdown automata (PDA) and timed automata, in order to obtain timed pushd…
Model-Checking of Ordered Multi-Pushdown Automata
Mohamed Faouzi Atig
We address the verification problem of ordered multi-pushdown automata: A multi-stack extension of pushdown automata that comes with a constraint on stack transitions such that a p…
Model checking Branching-Time Properties of Multi-Pushdown Systems is Hard
Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar +1
We address the model checking problem for shared memory concurrent programs modeled as multi-pushdown systems. We consider here boolean programs with a finite number of threads and…