2023 - Research.com Computer Science in France Leader Award
Ahmed Bouajjani mostly deals with Theoretical computer science, Model checking, Automaton, Reachability and Algorithm. Ahmed Bouajjani combines subjects such as Programming language and Computation with his study of Theoretical computer science. Ahmed Bouajjani works mostly in the field of Model checking, limiting it down to topics relating to Data structure and, in certain cases, Linked list and Heap.
His Automaton research is multidisciplinary, relying on both Program analysis, Word, Temporal logic and Symbolic trajectory evaluation. His study in Reachability is interdisciplinary in nature, drawing from both Finite-state machine and Discrete mathematics. His work in Algorithm addresses issues such as Lossy compression, which are connected to fields such as Regular expression, Time complexity, Vector addition and Computation tree logic.
His scientific interests lie mostly in Theoretical computer science, Reachability, Decidability, Model checking and Algorithm. In his study, Pointer is strongly linked to Data structure, which falls under the umbrella field of Theoretical computer science. The Reachability study combines topics in areas such as Discrete mathematics, Petri net, Concurrency, Finite-state machine and Computation.
As part of the same scientific family, Ahmed Bouajjani usually focuses on Decidability, concentrating on Correctness and intersecting with Distributed computing. As a part of the same scientific family, Ahmed Bouajjani mostly works in the field of Model checking, focusing on Temporal logic and, on occasion, Timed automaton and Linear temporal logic. His Tree study in the realm of Algorithm interacts with subjects such as Parametric statistics.
Ahmed Bouajjani mainly focuses on Theoretical computer science, Reachability, Reachability problem, Correctness and Decidability. Ahmed Bouajjani incorporates Theoretical computer science and Bounded function in his research. In his research on the topic of Reachability, Reduction and Automaton is strongly related with Programming language.
His work in Correctness covers topics such as Distributed computing which are related to areas like Event and Static program analysis. His Decidability research incorporates elements of Semantics, State, Task and Extension. His Model checking study combines topics from a wide range of disciplines, such as Abstract interpretation, Optimistic replication and Feature.
The scientist’s investigation covers issues in Theoretical computer science, Reachability, Correctness, Bounded function and Decidability. His Theoretical computer science study combines topics in areas such as Memory model, Thread and Concurrency. His biological study spans a wide range of topics, including Distributed computing and Shared memory.
Ahmed Bouajjani studied Correctness and Data structure that intersect with Reference implementation, Mathematical proof and Consistency. His Decidability study integrates concerns from other disciplines, such as Semantics and State. His work focuses on many connections between Reachability problem and other disciplines, such as Model checking, that overlap with his field of interest in Causal consistency.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Reachability Analysis of Pushdown Automata: Application to Model-Checking
Ahmed Bouajjani;Javier Esparza;Oded Maler.
international conference on concurrency theory (1997)
Property preserving abstractions for the verification of concurrent systems
C. Loiseaux;S. Graf;J. Sifakis;A. Bouajjani.
computer aided verification (1995)
Regular model checking
A. Bouajjani;B. Jonsson;M. Nilsson;T. Touili.
Lecture Notes in Computer Science (2000)
Abstract regular model checking
Ahmed Bouajjani;Peter Habermehl;Tomas Vojnar.
Lecture Notes in Computer Science (2004)
A generic approach to the static analysis of concurrent programs with procedures
Ahmed Bouajjani;Javier Esparza;Tayssir Touili.
symposium on principles of programming languages (2003)
On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels
Parosh Aziz Abdulla;Ahmed Bouajjani;Bengt Jonsson.
computer aided verification (1998)
Minimal Model Generation
Ahmed Bouajjani;Jean-Claude Fernandez;Nicolas Halbwachs.
computer aided verification (1990)
On the verification problem for weak memory models
Mohamed Faouzi Atig;Ahmed Bouajjani;Sebastian Burckhardt;Madanlal Musuvathi.
symposium on principles of programming languages (2010)
Abstract regular tree model checking of complex dynamic data structures
Ahmed Bouajjani;Peter Habermehl;Adam Rogalewicz;Tomáš Vojnar.
static analysis symposium (2006)
TReX: A Tool for Reachability Analysis of Complex Systems
Aurore Annichini;Ahmed Bouajjani;Mihaela Sighireanu.
computer aided verification (2001)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Uppsala University
Technical University of Munich
Verimag
Facebook (United States)
Uppsala University
Grenoble Alpes University
University of Liège
Université Catholique de Louvain
Grenoble Alpes University
Grenoble Alpes University
Aalto University
University of Münster
University of Oklahoma
Hong Kong Polytechnic University
University of Massachusetts Lowell
University of Siena
Weizmann Institute of Science
University of L'Aquila
McGill University
Russian Academy of Sciences
University of Cambridge
State University of Campinas
University of Massachusetts Amherst
University of Sussex
University of Miami
Hebrew University of Jerusalem