Parosh Abdulla
Parosh Abdulla
Professor of Computer Science, Uppsala University
Verified email at it.uu.se - Homepage
Title
Cited by
Cited by
Year
General decidability theorems for infinite-state systems
PA Abdulla, K Cerans, B Jonsson, YK Tsay
Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEEá…, 1996
5441996
Verifying programs with unreliable channels
PA Abdulla, B Jonsson
information and computation 127 (2), 91-101, 1996
4501996
Symbolic reachability analysis based on SAT-solvers
PA Abdulla, P Bjesse, N EÚn
International Conference on Tools and Algorithms for the Construction andá…, 2000
2652000
Algorithmic analysis of programs with well quasi-ordered domains
PA Abdulla, K Čerāns, B Jonsson, YK Tsay
Information and Computation 160 (1), 109-127, 2000
2362000
Timed petri nets and bqos
PA Abdulla, A NylÚn
International Conference on Application and Theory of Petri Nets, 53-70, 2001
1952001
On-the-fly analysis of systems with unbounded, lossy FIFO channels
PA Abdulla, A Bouajjani, B Jonsson
International Conference on Computer Aided Verification, 305-318, 1998
1931998
Optimal dynamic partial order reduction
P Abdulla, S Aronis, B Jonsson, K Sagonas
ACM SIGPLAN Notices 49 (1), 373-384, 2014
1582014
A survey of regular model checking
PA Abdulla, B Jonsson, M Nilsson, M Saksena
International Conference on Concurrency Theory, 35-48, 2004
1572004
Undecidable verification problems for programs with unreliable channels
PA Abdulla, B Jonsson
Information and Computation 130 (1), 71-90, 1996
1471996
When simulation meets antichains
PA Abdulla, YF Chen, L HolÝk, R Mayr, T Vojnar
International Conference on Tools and Algorithms for the Construction andá…, 2010
1262010
Designing safe, reliable systems using scade
PA Abdulla, J Deneux, G Stňlmarck, H ┼gren, O ┼kerlund
International Symposium On Leveraging Applications of Formal Methodsá…, 2004
1212004
Handling global conditions in parametrized system verification
PA Abdulla, A Bouajjani, B Jonsson, M Nilsson
International Conference on Computer Aided Verification, 134-145, 1999
1191999
Stateless model checking for TSO and PSO
PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas
Acta Informatica 54 (8), 789-818, 2017
1092017
Regular model checking without transducers (on efficient verification of parameterized systems)
PA Abdulla, G Delzanno, NB Henda, A Rezine
International Conference on Tools and Algorithms for the Construction andá…, 2007
1092007
Regular tree model checking
PA Abdulla, B Jonsson, P Mahata, J d’Orso
International Conference on Computer Aided Verification, 555-568, 2002
1082002
Using forward reachability analysis for verification of lossy channel systems
PA Abdulla, A Collomb-Annichini, A Bouajjani, B Jonsson
Formal Methods in System Design 25 (1), 39-65, 2004
1072004
Symbolic verification of lossy channel systems: Application to the bounded retransmission protocol
P Abdulla, A Annichini, A Bouajjani
International Conference on Tools and Algorithms for the Construction andá…, 1999
1031999
Model checking of systems with many identical timed processes
PA Abdulla, B Jonsson
Theoretical Computer Science 290 (1), 241-264, 2003
932003
Parameterized verification of infinite-state processes with global conditions
PA Abdulla, G Delzanno, A Rezine
International Conference on Computer Aided Verification, 145-157, 2007
902007
Verifying networks of timed processes
PA Abdulla, B Jonsson
International Conference on Tools and Algorithms for the Construction andá…, 1998
871998
The system can't perform the operation now. Try again later.
Articles 1–20