| 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 | 850 | 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 | 546 | 1995 |
| Regular model checking A Bouajjani, B Jonsson, M Nilsson, T Touili Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 386 | 2000 |
| Minimal model generation A Bouajjani, JC Fernandez, N Halbwachs Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991 | 208 | 1991 |
| 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 | 206 | 1998 |
| Abstract regular model checking A Bouajjani, P Habermehl, T Vojnar Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 203 | 2004 |
| 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 | 195 | 2003 |
| 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 | 190 | 2010 |
| 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 | 151 | 2001 |
| 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 |
| Minimal state graph generation A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel Science of Computer Programming 18 (3), 247-269, 1992 | 148 | 1992 |
| Property preserving simulations S Bensalem, A Bouajjani, C Loiseaux, J Sifakis Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993 | 144 | 1993 |
| 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 | 142 | 2000 |
| 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 | 137 | 2006 |
| On-the-fly symbolic model checking for real-time systems A Bouajjani, S Tripakis, S Yovine Proceedings Real-Time Systems Symposium, 25-34, 1997 | 133 | 1997 |
| Checking and enforcing robustness against TSO A Bouajjani, E Derevenetc, R Meyer Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 128 | 2013 |
| 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 | 128 | 2006 |
| 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 | 122 | 1999 |
| Safety for branching time semantics A Bouajjani, JC Fernandez, S Graf, C Rodriguez, J Sifakis International Colloquium on Automata, Languages, and Programming, 76-92, 1991 | 121 | 1991 |
| Context-bounded analysis for concurrent programs with dynamic creation of threads MF Atig, A Bouajjani, S Qadeer Logical Methods in Computer Science 7, 2011 | 120 | 2011 |
Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
