Ahmed Bouajjani
Ahmed Bouajjani
Professor Computer Science, University of Paris
確認したメール アドレス: irif.fr - ホームページ
タイトル
引用先
引用先
Reachability analysis of pushdown automata: Application to model-checking
A Bouajjani, J Esparza, O Maler
International Conference on Concurrency Theory, 135-150, 1997
8011997
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
5251995
Regular model checking
A Bouajjani, B Jonsson, M Nilsson, T Touili
International Conference on Computer Aided Verification, 403-418, 2000
3552000
A generic approach to the static analysis of concurrent programs with procedures
A Bouajjani, J Esparza, T Touili
International Journal of Foundations of Computer Science 14 (04), 551-582, 2003
1992003
On-the-fly analysis of systems with unbounded, lossy FIFO channels
PA Abdulla, A Bouajjani, B Jonsson
International Conference on Computer Aided Verification, 305-318, 1998
1991998
Abstract regular model checking
A Bouajjani, P Habermehl, T Vojnar
International Conference on Computer Aided Verification, 372-386, 2004
1942004
Minimal model generation
A Bouajjani, JC Fernandez, N Halbwachs
International Conference on Computer Aided Verification, 197-203, 1990
1911990
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
1622010
TReX: A tool for reachability analysis of complex systems
A Annichini, A Bouajjani, M Sighireanu
International Conference on Computer Aided Verification, 368-372, 2001
1502001
Regular symbolic analysis of dynamic networks of pushdown systems
A Bouajjani, M Müller-Olm, T Touili
International Conference on Concurrency Theory, 473-487, 2005
1442005
Minimal state graph generation
A Bouajjani, JC Fernandez, N Halbwachs, P Raymond, C Ratel
Science of Computer Programming 18 (3), 247-269, 1992
1411992
Symbolic techniques for parametric reasoning about counter and clock systems
A Annichini, E Asarin, A Bouajjani
International Conference on Computer Aided Verification, 419-434, 2000
1392000
Property preserving simulations
S Bensalem, A Bouajjani, C Loiseaux, J Sifakis
International Conference on Computer Aided Verification, 260-273, 1992
1351992
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
1332006
Abstract regular tree model checking of complex dynamic data structures
A Bouajjani, P Habermehl, A Rogalewicz, T Vojnar
International Static Analysis Symposium, 52-70, 2006
1312006
On-the-fly symbolic model checking for real-time systems
A Bouajjani, S Tripakis, S Yovine
Proceedings Real-Time Systems Symposium, 25-34, 1997
1291997
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 (1), 39-65, 2004
1132004
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
1131991
Handling global conditions in parametrized system verification
PA Abdulla, A Bouajjani, B Jonsson, M Nilsson
International Conference on Computer Aided Verification, 134-145, 1999
1121999
Checking timed Büchi automata emptiness efficiently
S Tripakis, S Yovine, A Bouajjani
Formal Methods in System Design 26 (3), 267-292, 2005
1092005
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20