| No. |
Title |
Author |
Year |
| 1 |
On the Separability Problem of String Constraints |
Abdulla, Parosh Aziz et al. |
2020 |
| 2 |
Universal Safety for Timed Petri Nets is PSPACE-complete |
Abdulla, Parosh Aziz et al. |
2018 |
| 3 |
Verification of Timed Asynchronous Programs |
Abdulla, Parosh Aziz et al. |
2018 |
| 4 |
Data Multi-Pushdown Automata |
Abdulla, Parosh Aziz et al. |
2017 |
| 5 |
The Benefits of Duality in Verifying Concurrent Programs under TSO |
Abdulla, Parosh Aziz et al. |
2016 |
| 6 |
What's Decidable about Availability Languages? |
Abdulla, Parosh Aziz et al. |
2015 |
| 7 |
Verification of Dynamic Register Automata |
Abdulla, Parosh Aziz et al. |
2014 |
| 8 |
Timed Lossy Channel Systems |
Abdulla, Parosh Aziz et al. |
2012 |
| 9 |
06081 Abstracts Collection -- Software Verification: Infinite-State Model Checking and Static Program Analysis |
Abdulla, Parosh Aziz et al. |
2006 |
| 10 |
06081 Executive Summary -- Software Verification: Infinite-State Model Checking and Static Program Analysis |
Abdulla, Parosh Aziz et al. |
2006 |
