Follow
Rachid Echahed
Rachid Echahed
Research Fellow CNRS, Grenoble
Verified email at imag.fr - Homepage
Title
Cited by
Cited by
Year
A needed narrowing strategy
S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
5032000
Design and implementation of a generic, logic and functional programming language
D Bert, R Echahed
ESOP 86: European Symposium on Programming Saarbrücken, Federal Republic of …, 2005
842005
On the verification problem of nonregular properties for nonregular processes
A Bouajjani, R Echahed, P Habermehl
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 123-133, 1995
821995
On the automatic verification of systems with continuous variables and unbounded discrete data structures
A Bouajjani, R Echahed, R Robbana
Hybrid Systems II, 64-85, 2005
792005
Admissible Graph Rewriting and Narrowing.
R Echahed, JC Janodet
IJCSLP, 325-342, 1998
761998
Parallel Evaluation Strategies for Functional Logic Languages.
S Antoy, R Echahed, M Hanus
ICLP, 138-152, 1997
691997
Measurement of the branching ratio
D Buskulic, D Decamp, C Goy, JP Lees, MN Minard, B Mours, R Alemany, ...
Physics Letters B 298, 479-491, 1993
651993
On completeness of narrowing strategies
R Echahed
CAAP'88: 13th Colloquium on Trees in Algebra and Programming Nancy, France …, 1988
621988
On model checking for real-time properties with durations
A Bouajjani, R Echahed, J Sifakis
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993
471993
On constructor-based graph rewriting systems
R Echahed, JC Janodet
Research Report 985-I, IMAG, 1997
421997
Security policy in a declarative style
R Echahed, F Prost
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
372005
AGREE–algebraic graph rewriting with controlled embedding
A Corradini, D Duval, R Echahed, F Prost, L Ribeiro
Graph Transformation: 8th International Conference, ICGT 2015, Held as Part …, 2015
352015
Verifying invariance properties of timed systems with duration variables
A Bouajjani, R Echahed, R Robbana
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 1994
341994
Inductively sequential term-graph rewrite systems
R Echahed
ICGT 8, 84-98, 2008
302008
Verifying infinite state processes with sequential and parallel composition
A Bouajjani, R Echahed, P Habermehl
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
301995
Uniform narrowing strategies
R Echahed
Algebraic and Logic Programming: Third International Conference Volterra …, 2005
292005
Abstraction of conditional term rewriting systems
D Bert, R Echahed
IMAG, 1995
291995
Abstract rewriting
D Bert, R Echahed, BM Ĝstvold
Static Analysis: Third International Workshop, WSA'93 Padova, Italy …, 1993
291993
Combining mobile processes and declarative programming
R Echahed, W Serwe
Computational Logic—CL 2000: First International Conference London, UK …, 2000
262000
A Dynamic Logic for Termgraph Rewriting.
P Balbiani, R Echahed, A Herzig
ICGT 6372, 59-74, 2010
222010
The system can't perform the operation now. Try again later.
Articles 1–20