Rachid Echahed

ORCID

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 29

Top Venues

CoRR

ICGT

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Theor. Comput. Sci.

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier
A Strict Constrained Superposition Calculus for Graphs. FoSSaCS (2023)
Dominique Duval, Rachid Echahed, Frédéric Prost
A Rule-Based Procedure for Graph Query Solving. ICGT (2023)
Dominique Duval, Rachid Echahed, Frédéric Prost
A Rule-based Operational Semantics of Graph Query Languages. CoRR (2022)
Dominique Duval, Rachid Echahed, Frédéric Prost
Querying RDF Databases with Sub-CONSTRUCTs. SCSS (2021)
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier
A Superposition-Based Calculus for Diagrammatic Reasoning. PPDP (2021)
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier
A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond. CoRR (2021)
Dominique Duval, Rachid Echahed, Frédéric Prost
An Algebraic Graph Transformation Approach for RDF and SPARQL. GCM@STAF (2020)
Thierry Boy de la Tour, Rachid Echahed
Parallel Coherent Graph Transformations. WADT (2020)
Thierry Boy de la Tour, Rachid Echahed
Parallel rewriting of attributed graphs. Theor. Comput. Sci. 848 (2020)
Dominique Duval, Rachid Echahed, Frédéric Prost
All You Need Is CONSTRUCT. CoRR (2020)
Thierry Boy de la Tour, Rachid Echahed
Combining Parallel Graph Rewriting and Quotient Graphs. WRLA@ETAPS (2020)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Algebraic graph rewriting with controlled embedding. Theor. Comput. Sci. 802 (2020)
Thierry Boy de la Tour, Rachid Echahed
True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans. CoRR (2019)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
The PBPO graph transformation approach. J. Log. Algebraic Methods Program. 103 (2019)
Dominique Duval, Rachid Echahed, Frédéric Prost
On foundational aspects of RDF and SPARQL. CoRR (2019)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Reasoning Formally About Database Queries and Updates. FM (2019)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
On the Verification of Logically Decorated Graph Transformations. CoRR (2018)
Thierry Boy de la Tour, Rachid Echahed
A Set-Theoretic Framework for Parallel Graph Rewriting. CoRR (2018)
Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad
Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance. IEEE Access 6 (2018)
Rachid Echahed
Foreword: special issue on term and graph rewriting. Math. Struct. Comput. Sci. 28 (8) (2018)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Verifying Graph Transformations with Guarded Logics. TASE (2018)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Verifying Graph Transformation Systems with Description Logics. ICGT (2018)
Rachid Echahed, Aude Maignan
Parallel Graph Rewriting with Overlapping Rules. LPAR (2017)
Rachid Echahed, Aude Maignan
Parallel Graph Rewriting with Overlapping Rules. CoRR (2017)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
The Pullback-Pushout Approach to Algebraic Graph Transformation. ICGT (2017)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions. SCSS (2017)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
On the Closure of Description Logics under Substitutions. Description Logics (2016)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Proving Correctness of Logically Decorated Graph Rewriting Systems. FSCD (2016)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
Ensuring Correctness of Model Transformations While Remaining Decidable. ICTAC (2016)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
AGREE - Algebraic Graph Rewriting with Controlled Embedding. ICGT (2015)
Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran
Provably Correct Graph Transformations with Small-tALC. ICTERI (2015)
Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
AGREE - Algebraic Graph Rewriting with Controlled Embedding. CoRR (2014)
Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Transformation of Attributed Structures with Cloning (Long Version). CoRR (2014)
Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro
Transformation of Attributed Structures with Cloning. FASE (2014)
Rachid Echahed, Annegret Habel, Mohamed Mosbah
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71 (2014)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
SROIQsigma is decidable. CoRR (2014)
Jon Haël Brenas, Rachid Echahed, Martin Strecker
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs. IFIP TCS (2014)
Rachid Echahed, Annegret Habel, Mohamed Mosbah
Graph Computation Models 2012. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)
Mohamed Chaabani, Rachid Echahed, Martin Strecker
Logical Foundations for Reasoning about Transformations of Knowledge Bases. ICTERI (2013)
Mohamed Chaabani, Rachid Echahed, Martin Strecker
Logical Foundations for Reasoning about Transformations of Knowledge Bases. Description Logics (2013)
Dominique Duval, Rachid Echahed, Frédéric Prost
Graph Transformation with Focus on Incident Edges. ICGT (2012)
Rachid Echahed, Annegret Habel, Mohamed Mosbah
Graph Computation Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 39 (2011)
Dominique Duval, Rachid Echahed, Frédéric Prost
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation CoRR (2011)
Dominique Duval, Rachid Echahed, Frédéric Prost
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 41 (2011)
Philippe Balbiani, Rachid Echahed, Andreas Herzig
A Modal Logic for Termgraph Rewriting CoRR (2010)
Philippe Balbiani, Rachid Echahed, Andreas Herzig
A Dynamic Logic for Termgraph Rewriting. ICGT (2010)
Dominique Duval, Rachid Echahed, Frédéric Prost
Graph rewriting with polarized cloning CoRR (2009)
Dominique Duval, Rachid Echahed, Frédéric Prost
A Heterogeneous Pushout Approach to Term-Graph Transformation. RTA (2009)
Rachid Echahed, Nicolas Peltier
A Needed Rewriting Strategy for Data-Structures with Pointers. RTA (2008)
Rachid Echahed
On Term-Graph Rewrite Strategies. Electron. Notes Theor. Comput. Sci. 204 (2008)
Dominique Duval, Rachid Echahed, Frédéric Prost
A Cloning Pushout Approach to Term-Graph Transformation CoRR (2008)
Rachid Echahed
Inductively Sequential Term-Graph Rewrite Systems. ICGT (2008)
Rachid Echahed
Preface. Electron. Notes Theor. Comput. Sci. 216 (2008)
Dominique Duval, Rachid Echahed, Frédéric Prost
Modeling Pointer Redirection as Cyclic Term-graph Rewriting. Electron. Notes Theor. Comput. Sci. 176 (1) (2007)
Dominique Duval, Rachid Echahed, Frédéric Prost
Adjunction for Garbage Collection with Application to Graph Rewriting. RTA (2007)
Rachid Echahed, Nicolas Peltier
Non Strict Confluent Rewrite Systems for Data-Structures with Pointers. RTA (2007)
Rachid Echahed, Nicolas Peltier
Narrowing Data-Structures with Pointers. ICGT (2006)
Ricardo Caferra, Rachid Echahed, Nicolas Peltier
Rewriting term-graphs with priority. PPDP (2006)
Rachid Echahed, Frédéric Prost
Handling declared information leakage: extended abstract. WITS (2005)
Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost
Specializing Narrowing for Timetable Generation: A Case Study. PADL (2005)
Dominique Duval, Rachid Echahed, Frédéric Prost
Data-Structure Rewriting CoRR (2005)
Rachid Echahed, Frédéric Prost
Security policy in a declarative style. PPDP (2005)
Rachid Echahed, Frédéric Prost, Wendelin Serwe
Statically assuring secrecy for dynamic concurrent processes. PPDP (2003)
Jérémie Blanc, Rachid Echahed
A generic operator over discrete time intervals. PPDP (2002)
María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas
Redundancy of Arguments Reduced to Induction. Electron. Notes Theor. Comput. Sci. 76 (2002)
Jérémie Blanc, Rachid Echahed
On the Operational Semantics of Timed Rewrite Systems. TIME (2002)
Rachid Echahed, Wendelin Serwe
Defining Actions in Concurrent Declarative Programming. Electron. Notes Theor. Comput. Sci. 64 (2002)
Rachid Echahed, Wendelin Serwe
Combining Mobile Processes and Declarative Programming. Computational Logic (2000)
Sergio Antoy, Rachid Echahed, Michael Hanus
A needed narrowing strategy. J. ACM 47 (4) (2000)
Rachid Echahed, Jean-Christophe Janodet
Admissible Graph Rewriting and Narrowing. IJCSLP (1998)
Rachid Echahed, Jean-Christophe Janodet
Parallel Admissible Graph Rewriting. WADT (1998)
Sergio Antoy, Rachid Echahed, Michael Hanus
Parallel Evaluation Strategies for Functional Logic Languages. ICLP (1997)
Didier Bert, Rachid Echahed, Kamel Adi
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. AMAST (1996)
Didier Bert, Rachid Echahed
Abstraction of Conditional Term Rewriting Systems. ILPS (1995)
Ahmed Bouajjani, Rachid Echahed, Peter Habermehl
Verifying Infinite State Processes with Sequential and Parallel Composition. POPL (1995)
Ahmed Bouajjani, Rachid Echahed, Peter Habermehl
On the Verification Problem of Nonregular Properties for Nonregular Processes LICS (1995)
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
Verification of Nonregular Temporal Properties for Context-Free Processes. CONCUR (1994)
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures. Hybrid Systems (1994)
Sergio Antoy, Rachid Echahed, Michael Hanus
A Needed Narrowing Strategy. POPL (1994)
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
Verfying Invariance Properties of Timed Systems with Duration Variables. FTRTFT (1994)
Didier Bert, Rachid Echahed
On the Operational Semantics of the Algebraic and Logic Programming Language LPG. COMPASS/ADT (1994)
Didier Bert, Rachid Echahed
Integrating Disequations in the Algebraic and Logic Programming Language LPG. ICLP Workshop: Integration of Declarative Paradigms (1994)
Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
Verification of Context-Free Timed Systems Using Linear Hybrid Observers. CAV (1994)
Didier Bert, Rachid Echahed, Bjarte M. Østvold
Abstract Rewriting. WSA (1993)
Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis
On Model Checking for Real-Time Properties with Durations LICS (1993)
Rachid Echahed
Uniform Narrowing Strategies. ALP (1992)
Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA (1991)
Rachid Echahed
On Completeness of Narrowing Strategies. Theor. Comput. Sci. 72 (2&3) (1990)
Rachid Echahed
On Comleteness of Narrowing Strategies. CAAP (1988)
Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier
LPG: A Generic, Logic and Functional Programming Language. ESOP (1988)
Didier Bert, Pascal Drabik, Rachid Echahed
LPG: A Generic, Logic and Functional Programming Language. STACS (1987)
Didier Bert, Rachid Echahed
Design and Implementation of a Generic, Logic and Functional Programming Language. ESOP (1986)

Rachid Echahed.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rachid Echahed