Concepedia

Rachid Echahed

RE

Statistics

Publications

8

Citations

227

H-Index

8

Active since

1990

Affiliations

Verimag(Current)

University of Pisa

Universidade Federal do Rio Grande do Sul

Laboratoire d'Informatique de Grenoble

Translational Innovation in Medicine and Complexity

Rachid Echahed is an author at Verimag specializing in computing, computer science, and formal methods.

Publications per year

1990–2019

8

Publications

8

On the verification problem of nonregular properties for nonregular processes

Ahmed Bouajjani, Rachid Echahed, Peter Habermehl · 2002 · 58 citations

Computing, Computer Science, Formal Methods +16

Admissible graph rewriting and narrowing

Rachid Echahed, Jean-Christophe Janodet · 1998 · 44 citations

Computing, Computer Science, Algorithms +13

On model checking for real-time properties with durations

Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis · 2002 · 32 citations

Computing, Computer Science, Formal Methods +12

Security policy in a declarative style

Rachid Echahed, Frédéric Prost · 2005 · 28 citations

Computing, Computer Science, Computer Systems +16

The PBPO graph transformation approach

Andrea Corradini, Dominique Duval, Rachid Echahed et al. · Journal of Logical and Algebraic Methods in Programming · 2018 · 22 citations

Computing, Computer Science, Digital Transformation +4

1–5 of 8