Multi-pushdown systems with budgets. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Othmane Rezine; Jari Stenman (FMCAD, 2012)

The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Jari Stenman (LATA, 2012)

Dense-Timed Pushdown Automata. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Jari Stenman (LICS, 2012)

Adding Time to Pushdown Automata - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Jari Stenman (QFM, 2012)

Zenoness for Timed Pushdown Automata. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Jari Stenman (INFINITY, 2013)

String Constraints for Verification. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen 001; Lukás Holík; Ahmed Rezine; Philipp Rümmer; Jari Stenman (CAV, 2014)

Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automata. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Jari Stenman (LATA, 2014)

Budget-bounded model-checking pushdown systems. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Othmane Rezine; Jari Stenman (Formal Methods Syst. Des., 2014)

Norn: An SMT Solver for String Constraints. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Yu-Fang Chen 001; Lukás Holík; Ahmed Rezine; Philipp Rümmer; Jari Stenman (CAV (1), 2015)