| Reachability analysis of pushdown automata: Application to model-checking A Bouajjani, J Esparza, O Maler CONCUR'97: Concurrency Theory: 8th International Conference Warsaw, Poland …, 1997 | 899 | 1997 |
| Property preserving abstractions for the verification of concurrent systems C Loiseaux, S Graf, J Sifakis, A Bouajjani, S Bensalem Formal methods in system design 6 (1), 11-44, 1995 | 562 | 1995 |
| Regular model checking A Bouajjani, B Jonsson, M Nilsson, T Touili Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 401 | 2000 |
| Abstract regular model checking A Bouajjani, P Habermehl, T Vojnar Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 212 | 2004 |
| 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 |
| Minimal model generation A Bouajjani, JC Fernandez, N Halbwachs Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 211 | 1991 |
| On the verification problem for weak memory models MF Atig, A Bouajjani, S Burckhardt, M Musuvathi Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010 | 203 | 2010 |
| A generic approach to the static analysis of concurrent programs with procedures A Bouajjani, J Esparza, T Touili ACM SIGPLAN Notices 38 (1), 62-73, 2003 | 203 | 2003 |
| TReX: A tool for reachability analysis of complex systems A Annichini, A Bouajjani, M Sighireanu Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 155 | 2001 |
| Minimal state graph generation A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel Science of Computer Programming 18 (3), 247-269, 1992 | 151 | 1992 |
| Regular symbolic analysis of dynamic networks of pushdown systems A Bouajjani, M Müller-Olm, T Touili CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005 | 150 | 2005 |
| Symbolic techniques for parametric reasoning about counter and clock systems A Annichini, E Asarin, A Bouajjani Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 144 | 2000 |
| Property preserving simulations S Bensalem, A Bouajjani, C Loiseaux, J Sifakis Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993 | 144 | 1993 |
| Programs with lists are counter automata A Bouajjani, M Bozga, P Habermehl, R Iosif, P Moro, T Vojnar International Conference on Computer Aided Verification, 517-531, 2006 | 141 | 2006 |
| Checking and enforcing robustness against TSO A Bouajjani, E Derevenetc, R Meyer Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 140 | 2013 |
| On-the-fly symbolic model checking for real-time systems A Bouajjani, S Tripakis, S Yovine Proceedings Real-Time Systems Symposium, 25-34, 1997 | 135 | 1997 |
| Abstract regular tree model checking of complex dynamic data structures A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006 | 132 | 2006 |
| Context-bounded analysis for concurrent programs with dynamic creation of threads MF Atig, A Bouajjani, S Qadeer Logical Methods in Computer Science 7, 2011 | 125 | 2011 |
| 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 | 125 | 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 | 125 | 1999 |
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
