Searching for authors named "Ahmed Bouajjani" – sorted by Relevance.
-
Languages, Rewriting systems, and Verification of Infinite-State Systems
- Languages, Rewriting systems, and Verification of Infinite-State Systems Ahmed Bouajjani Liafa
- Cited by 3 (0 self) – Add To MetaCart
-
Logics vs. Automata: The Hybrid Case (Extended Abstract)
- Logics vs. Automata: The Hybrid Case (Extended Abstract) Ahmed Bouajjani 1 Yassine Lakhnech 2? 1
- Add To MetaCart
-
Verification of Infinite-state Systems
- Verication of Innite-state Systems 02.04.{07.04.2000 organized by Ahmed Bouajjani, Javier Esparza
- Add To MetaCart
-
Temporal Logic + Timed Automata: Expressiveness and Decidability
- Temporal Logic + Timed Automata : Expressiveness and Decidability Ahmed Bouajjani 1 Yassine
- Cited by 12 (8 self) – Add To MetaCart
-
Perturbed Turing Machines and Hybrid Systems
- Perturbed Turing Machines and Hybrid Systems Eugene Asarin Ahmed Bouajjani VERIMAG, LIAFA
- Cited by 12 (1 self) – Add To MetaCart
-
Symbolic Reachability Analysis of Higher-Order Context-Free Processes
- Symbolic Reachability Analysis of Higher-Order Context-Free Processes Ahmed Bouajjani and Antoine
- Cited by 6 (0 self) – Add To MetaCart
-
Symbolic Reachability Analysis of FIFO-Channel Systems with Nonregular Sets of Configurations
- Bouajjani 1 Peter Habermehl VERIMAG, Centre ' Equation, 2 av. de Vignate, 38610 Gi`eres, France Abstract
- Cited by 48 (11 self) – Add To MetaCart
-
Extrapolating Tree Transformations
- Extrapolating Tree Transformations # Ahmed Bouajjani and Tayssir Touili Liafa, Univ. of Paris 7
- Cited by 14 (3 self) – Add To MetaCart
-
Model Checking Lossy Vector Addition Systems
- Model Checking Lossy Vector Addition Systems Ahmed Bouajjani z Richard Mayr yz Abstract Lossy
- Cited by 36 (7 self) – Add To MetaCart
-
Constrained Properties, Semilinear Systems, and Petri Nets
- Constrained Properties, Semilinear Systems, and Petri Nets Ahmed Bouajjani Peter Habermehl Verimag
- Cited by 17 (0 self) – Add To MetaCart

