Parosh Abdulla

Identifiers

• name variant Parosh Abdulla 0.60 · backfill

Papers (3)

1. The complexity of verifying the release-acquire semantics over register machines cs.PL · 2025 · author #1
2. Stateless Model Checking for TSO and PSO cs.LO · 2015 · author #1
3. Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness cs.LO · 2006 · author #1

Mentions

• 2506.08238 #1 · arxiv_oai · confidence 0.70 Parosh Abdulla
• 1501.02069 #1 · backfill · confidence 0.70 Parosh Abdulla

Frequent Coauthors

• Bengt Jonsson 1 shared papers
• Carl Leonardsson 1 shared papers
• Elli Anastasiadi 1 shared papers
• Konstantinos Sagonas 1 shared papers
• L\'eo Exibard 1 shared papers
• Mohamed Faouzi Atig 1 shared papers
• Mohammed Faouzi Atig 1 shared papers
• Pritha Mahata 1 shared papers
• Richard Mayr 1 shared papers
• Samuel Grahn 1 shared papers
• Stavros Aronis 1 shared papers