Seguir
Rachid Echahed
Rachid Echahed
Research Fellow CNRS, Grenoble
Dirección de correo verificada de imag.fr - Página principal
Título
Citado por
Citado por
Año
A needed narrowing strategy
S Antoy, R Echahed, M Hanus
Journal of the ACM (JACM) 47 (4), 776-822, 2000
5302000
Design and implementation of a generic, logic and functional programming language
D Bert, R Echahed
European Symposium on Programming, 119-132, 1986
881986
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
Admissible Graph Rewriting and Narrowing.
R Echahed, JC Janodet
IJCSLP, 325-342, 1998
791998
On the automatic verification of systems with continuous variables and unbounded discrete data structures
A Bouajjani, R Echahed, R Robbana
International Hybrid Systems Workshop, 64-85, 1994
791994
Measurement of the X branching ratio
D Buskulic, SW Snow, SL Cartwright, K Kleinknecht, P Hanke, ...
Phys. Lett. B 298 (CERN-PPE-92-184), 479-491, 1992
721992
Parallel Evaluation Strategies for Functional Logic Languages.
S Antoy, R Echahed, M Hanus
ICLP, 138-152, 1997
691997
On completeness of narrowing strategies
R Echahed
Colloquium on Trees in Algebra and Programming, 89-101, 1988
661988
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
461993
AGREE–algebraic graph rewriting with controlled embedding
A Corradini, D Duval, R Echahed, F Prost, L Ribeiro
International Conference on Graph Transformation, 35-51, 2015
452015
On constructor-based graph rewriting systems
R Echahed, JC Janodet
Research Report 985-I, IMAG, 1997
431997
Security policy in a declarative style
R Echahed, F Prost
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
382005
Verifying invariance properties of timed systems with duration variables
A Bouajjani, R Echahed, R Robbana
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 1994
341994
Uniform narrowing strategies
R Echahed
International Conference on Algebraic and Logic Programming, 259-275, 1992
321992
Inductively sequential term-graph rewrite systems
R Echahed
International Conference on Graph Transformation, 84-98, 2008
312008
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
311995
The PBPO graph transformation approach
A Corradini, D Duval, R Echahed, F Prost, L Ribeiro
Journal of Logical and Algebraic Methods in Programming 103, 213-231, 2019
302019
Abstract rewriting
D Bert, R Echahed, BM Østvold
Static Analysis: Third International Workshop, WSA'93 Padova, Italy …, 1993
301993
Abstraction of conditional term rewriting systems
D Bert, R Echahed
IMAG, 1995
291995
A dynamic logic for termgraph rewriting
P Balbiani, R Echahed, A Herzig
International Conference on Graph Transformation, 59-74, 2010
232010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20