Dealing with Priorities and Locks for Concurrent Programs. - Marcio Diaz; Tayssir Touili (ATVA, 2017)

Reachability Analysis of Pushdown Systems with an Upper Stack. - Adrien Pommellet; Marcio Diaz; Tayssir Touili (LATA, 2017)

Reachability Analysis of Dynamic Pushdown Networks with Priorities. - Marcio Diaz; Tayssir Touili (NETYS, 2017)

Model Checking Dynamic Pushdown Networks with Locks and Priorities. - Marcio Diaz; Tayssir Touili (NETYS, 2018)