Concepedia

Ahmed Bouajjani

AB

48

Publications

2.3K

Citations

26

H-Index

1992

Active since

Affiliations

Université Paris Cité(Current)

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Centre National de la Recherche Scientifique

Délégation Paris 7

Ahmed Bouajjani is an author at Université Paris Cité specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningVerificationSoftware AnalysisProgram AnalysisSystems EngineeringParallel Programming

Publications per year

1992–2021

48

Publications

48

Property preserving abstractions for the verification of concurrent systems

Claire Loiseaux, Susanne Graf, Joseph Sifakis et al. · Formal Methods in System Design · 1995 · 352 citations

Engineering, Automated Reasoning, Property Preserving Abstractions +7

A generic approach to the static analysis of concurrent programs with procedures

Ahmed Bouajjani, Javier Esparza, Tayssir Touili · 2003 · 146 citations

Engineering, Verification, Generic Approach +24

On the verification problem for weak memory models

Mohamed Faouzi Atig, Ahmed Bouajjani, Sebastian Burckhardt et al. · 2010 · 135 citations

Engineering, Verification, Computer Architecture +21

Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems

Ahmed Bouajjani, Markus Müller-Olm, Tayssir Touili · Lecture notes in computer science · 2005 · 115 citations

Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations

Ahmed Bouajjani, Peter Habermehl · Theoretical Computer Science · 1999 · 100 citations

Reachability Analysis, Engineering, Reachability Problem +9

Rows per page

1–5 of 48