Ahmed Bouajjani

Cited by

	All	Since 2018
Citations	8654	1693
h-index	51	23
i10-index	111	52

500

250

125

375

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202328 32 36 47 78 79 114 117 180 252 211 269 266 323 386 464 424 425 389 318 483 375 378 339 402 397 378 321 265 357 263 109

Public access

View all

19 articles

1 article

available

not available

Based on funding mandates

Co-authors

Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Peter HabermehlAssistant Professor of Computer Science, IRIF, University Paris CitéVerified email at irif.fr
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Tayssir TouiliSenior researcher, CNRSVerified email at lipn.fr
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Mihaela SighireanuAssociate Professor in Computer Science, IRIF, Université de ParisVerified email at irif.fr
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
Michael EmmiAmazon Web ServicesVerified email at amazon.com
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Bengt JonssonProfessor of Computer Systems, Uppsala UniversityVerified email at it.uu.se
Rachid EchahedResearch Fellow CNRS, GrenobleVerified email at imag.fr
Saddek BensalemUniversité Grenoble Alpes, VERIMAGVerified email at univ-grenoble-alpes.fr
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
Jad HamzaLARA, EPFLVerified email at epfl.ch
Narayan KumarProfessor, Chennai Mathematical InstituteVerified email at cmi.ac.in
Prakash SaivasanInstitute of Mathematical SciencesVerified email at imsc.res.in
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Sergio YovineUniversidad ORT UruguayVerified email at ort.edu.uy
Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz

Ahmed Bouajjani

Professor Computer Science, Université Paris Cité

Verified email at irif.fr - Homepage

Verification program verification concurrency concurrency theory automata


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	856	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	554	1995
Regular model checking A Bouajjani, B Jonsson, M Nilsson, T Touili Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	385	2000
Minimal model generation A Bouajjani, JC Fernandez, N Halbwachs Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991	213	1991
On-the-fly analysis of systems with unbounded, lossy FIFO channels PA Abdulla, A Bouajjani, B Jonsson CAV 98, 305-318, 1998	209	1998
Abstract regular model checking A Bouajjani, P Habermehl, T Vojnar Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	205	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	197	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	188	2010
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	152	2005
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
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
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. A Annichini, E Asarin, A Bouajjani CAV 1855, 419-434, 2000	143	2000
Property preserving simulations S Bensalem, A Bouajjani, C Loiseaux, J Sifakis Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993	141	1993
Programs with lists are counter automata A Bouajjani, M Bozga, P Habermehl, R Iosif, P Moro, T Vojnar Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006	136	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
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	122	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	122	1999
Safety for branching time semantics A Bouajjani, JC Fernandez, S Graf, C Rodriguez, J Sifakis Automata, Languages and Programming: 18th International Colloquium Madrid …, 2005	120	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors