Parosh Aziz Abdulla
Uppsala University(SE)Mälardalen University(SE)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Distributed systems and fault tolerance, Software Testing and Debugging Techniques, Petri Nets in System Modeling
Most-Cited Works
- → Stochastic Games with Lossy Channels(2008)563 cited
- → General decidability theorems for infinite-state systems(2002)404 cited
- → Verifying Programs with Unreliable Channels(1996)350 cited
- → Algorithmic Analysis of Programs with Well Quasi-ordered Domains(2000)199 cited
- → Symbolic Reachability Analysis Based on SAT-Solvers(2000)184 cited
- → Optimal dynamic partial order reduction(2014)176 cited
- → Timed Petri Nets and BQOs(2001)150 cited