| 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 | 617 | 1996 |
| Verifying programs with unreliable channels PA Abdulla, B Jonsson information and computation 127 (2), 91-101, 1996 | 494 | 1996 |
| 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 | 281 | 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 | 270 | 2000 |
| Optimal dynamic partial order reduction P Abdulla, S Aronis, B Jonsson, K Sagonas ACM SIGPLAN Notices 49 (1), 373-384, 2014 | 235 | 2014 |
| Timed petri nets and bqos PA Abdulla, A Nylén International Conference on Application and Theory of Petri Nets, 53-70, 2001 | 214 | 2001 |
| On-the-fly analysis of systems with unbounded, lossy FIFO channels PA Abdulla, A Bouajjani, B Jonsson Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 211 | 1998 |
| A survey of regular model checking PA Abdulla, B Jonsson, M Nilsson, M Saksena International Conference on Concurrency Theory, 35-48, 2004 | 189 | 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 | 184 | 2017 |
| When Simulation Meets Antichains: (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata) PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar International Conference on Tools and Algorithms for the Construction and …, 2010 | 155 | 2010 |
| Undecidable verification problems for programs with unreliable channels PA Abdulla, B Jonsson Information and Computation 130 (1), 71-90, 1996 | 150 | 1996 |
| 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 | 134 | 2006 |
| 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 | 126 | 2014 |
| 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 | 125 | 2007 |
| 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 | 124 | 1999 |
| 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 | 123 | 2004 |
| Regular tree model checking PA Abdulla, B Jonsson, P Mahata, J d’Orso Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 114 | 2002 |
| 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 | 109 | 1999 |
| Norn: An SMT solver for string constraints PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman International conference on computer aided verification, 462-469, 2015 | 108 | 2015 |
| 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 | 99 | 2007 |
Bengt JonssonProfessor of Computer Systems, Uppsala University在 it.uu.se 的电子邮件经过验证
