Suivre
Ahmed Bouajjani
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
Adresse e-mail validée de irif.fr - Page d'accueil
Titre
Citée par
Citée par
Année
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
9031997
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
5641995
Regular model checking
A Bouajjani, B Jonsson, M Nilsson, T Touili
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
4032000
Minimal model generation
A Bouajjani, JC Fernandez, N Halbwachs
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991
2131991
Abstract regular model checking
A Bouajjani, P Habermehl, T Vojnar
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
2122004
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
2111998
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
2062010
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
2042003
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
1552001
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
1512005
Minimal state graph generation
A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel
Science of Computer Programming 18 (3), 247-269, 1992
1511992
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
1442000
Property preserving simulations
S Bensalem, A Bouajjani, C Loiseaux, J Sifakis
Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993
1441993
Checking and enforcing robustness against TSO
A Bouajjani, E Derevenetc, R Meyer
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
1422013
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
1412006
On-the-fly symbolic model checking for real-time systems
A Bouajjani, S Tripakis, S Yovine
Proceedings Real-Time Systems Symposium, 25-34, 1997
1351997
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
1322006
Context-bounded analysis for concurrent programs with dynamic creation of threads
MF Atig, A Bouajjani, S Qadeer
Logical Methods in Computer Science 7, 2011
1252011
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
1252004
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
1251999
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20