Searching for authors named "Ahmed Bouajjani" – sorted by Relevance.
42 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
