עקוב אחר
Ahmed Bouajjani
Ahmed Bouajjani
Professor Computer Science, Université Paris Cité
כתובת אימייל מאומתת בדומיין irif.fr - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
9131997
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‏
5691995
Regular model checking‏
A Bouajjani, B Jonsson, M Nilsson, T Touili‏
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000‏
4102000
Abstract regular model checking‏
A Bouajjani, P Habermehl, T Vojnar‏
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004‏
2152004
Minimal model generation‏
A Bouajjani, JC Fernandez, N Halbwachs‏
Computer-Aided Verification: 2nd International Conference, CAV'90 New …, 1991‏
2111991
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‏
2102003
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‏
2091998
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‏
2082010
TReX: A tool for reachability analysis of complex systems‏
A Annichini, A Bouajjani, M Sighireanu‏
International Conference on Computer Aided Verification, 368-372, 2001‏
1622001
Minimal state graph generation‏
A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel‏
Science of Computer Programming 18 (3), 247-269, 1992‏
1531992
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‏
1522005
Property preserving simulations‏
S Bensalem, A Bouajjani, C Loiseaux, J Sifakis‏
Computer Aided Verification: Fourth International Workshop, CAV'92 Montreal …, 1993‏
1461993
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
Checking and enforcing robustness against TSO‏
A Bouajjani, E Derevenetc, R Meyer‏
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013‏
1432013
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‏
1432006
On-the-fly symbolic model checking for real-time systems‏
A Bouajjani, S Tripakis, S Yovine‏
Proceedings Real-Time Systems Symposium, 25-34, 1997‏
1371997
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‏
1342006
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‏
1292004
Context-bounded analysis for concurrent programs with dynamic creation of threads‏
MF Atig, A Bouajjani, S Qadeer‏
Logical Methods in Computer Science 7, 2011‏
1282011
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‏
1281991
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20