Ahmed Bouajjani
Centre National de la Recherche Scientifique(FR)Université Paris Cité(FR)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Distributed systems and fault tolerance, Software Testing and Debugging Techniques, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Reachability analysis of pushdown automata: Application to model-checking(1997)647 cited
- → Property preserving abstractions for the verification of concurrent systems(1995)352 cited
- → Regular Model Checking(2000)287 cited
- → A generic approach to the static analysis of concurrent programs with procedures(2003)146 cited
- → Abstract Regular Model Checking(2004)143 cited
- → On the verification problem for weak memory models(2010)135 cited
- → On-the-fly analysis of systems with unbounded, lossy FIFO channels(1998)