Parosh Abdulla
Parosh Abdulla
Professor of Computer Science, Uppsala University
Geverifieerd e-mailadres voor it.uu.se - Homepage
Geciteerd door
Geciteerd door
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
Verifying programs with unreliable channels
PA Abdulla, B Jonsson
information and computation 127 (2), 91-101, 1996
Symbolic reachability analysis based on SAT-solvers
PA Abdulla, P Bjesse, N Eén
Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000
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
Timed petri nets and bqos
PA Abdulla, A Nylén
Applications and Theory of Petri Nets 2001: 22nd International Conference …, 2001
Optimal dynamic partial order reduction
P Abdulla, S Aronis, B Jonsson, K Sagonas
ACM SIGPLAN Notices 49 (1), 373-384, 2014
On-the-fly analysis of systems with unbounded, lossy FIFO channels
PA Abdulla, A Bouajjani, B Jonsson
CAV 98, 305-318, 1998
A survey of regular model checking
PA Abdulla, B Jonsson, M Nilsson, M Saksena
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
Stateless model checking for TSO and PSO
PA Abdulla, S Aronis, MF Atig, B Jonsson, C Leonardsson, K Sagonas
Acta Informatica 54, 789-818, 2017
Undecidable verification problems for programs with unreliable channels
PA Abdulla, B Jonsson
Information and Computation 130 (1), 71-90, 1996
When Simulation Meets Antichains: (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata)
PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
Designing safe, reliable systems using scade
PA Abdulla, J Deneux, G Stålmarck, H Ågren, O Åkerlund
Leveraging Applications of Formal Methods: First International Symposium …, 2006
Regular model checking without transducers (on efficient verification of parameterized systems)
PA Abdulla, G Delzanno, NB Henda, A Rezine
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
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, 39-65, 2004
Handling global conditions in parametrized system verification
PA Abdulla, A Bouajjani, B Jonsson, M Nilsson
Computer Aided Verification: 11th International Conference, CAV’99 Trento …, 1999
Regular tree model checking
PA Abdulla, B Jonsson, P Mahata, J d’Orso
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
Symbolic verification of lossy channel systems: Application to the bounded retransmission protocol
P Abdulla, A Annichini, A Bouajjani
Tools and Algorithms for the Construction and Analysis of Systems: 5th …, 1999
String constraints for verification
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
Model checking of systems with many identical timed processes
PA Abdulla, B Jonsson
Theoretical Computer Science 290 (1), 241-264, 2003
Parameterized verification of infinite-state processes with global conditions
PA Abdulla, G Delzanno, A Rezine
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20