Parosh Aziz Abdulla
Identifiers
- name variant Parosh Aziz Abdulla 0.60 · backfill
Papers (14)
- On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix) cs.LO · 2026 · author #1
- Optimal Stateless Model Checking under the Release-Acquire Semantics cs.PL · 2018 · author #1
- Universal Safety for Timed Petri Nets is PSPACE-complete cs.LO · 2018 · author #1
- Communicating Timed Processes with Perfect Timed Channels cs.FL · 2017 · author #1
- Stateless Model Checking for POWER cs.LO · 2016 · author #1
- Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version) cs.DB · 2016 · author #1
- Qualitative Analysis of VASS-Induced MDPs cs.LO · 2015 · author #1
- Stochastic Parity Games on Lossy Channel Systems cs.LO · 2014 · author #1
- Infinite-State Energy Games cs.GT · 2014 · author #1
- Solving Parity Games on Integer Vectors cs.LO · 2013 · author #1
- Stochastic Parity Games on Lossy Channel Systems cs.GT · 2013 · author #1
- Computing Optimal Coverability Costs in Priced Timed Petri Nets cs.LO · 2011 · author #1
- Decisive Markov Chains cs.LO · 2007 · author #1
- Better Quasi-Ordered Transition Systems cs.LO · 2004 · author #1
Mentions
Frequent Coauthors
- Richard Mayr 8 shared papers
- Mohamed Faouzi Atig 7 shared papers
- Arnaud Sangnier 2 shared papers
- Bengt Jonsson 2 shared papers
- Jeremy Sproston 2 shared papers
- Lorenzo Clemente 2 shared papers
- Patrick Totzke 2 shared papers
- Radu Ciobanu 2 shared papers
- Sven Sandberg 2 shared papers
- Aletta Nylen 1 shared papers
- C. Aiswarya 1 shared papers
- Carl Leonardsson 1 shared papers
- Govind Rajanbabu 1 shared papers
- K. Narayan Kumar 1 shared papers
- Marco Montali 1 shared papers
- Noomene Ben Henda 1 shared papers
- Othmane Rezine 1 shared papers
- Piotr Hofman 1 shared papers
- S. Krishna 1 shared papers
- Stephan Spengler 1 shared papers