Rachid Echahed

According to our database, Rachid Echahed authored at least 88 papers between 1986 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Rule-Based Procedure for Graph Query Solving.

Dominique Duval, Rachid Echahed, Frédéric Prost

Proceedings of the Graph Transformation - 16th International Conference, 2023

A Strict Constrained Superposition Calculus for Graphs.

Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier

Proceedings of the Foundations of Software Science and Computation Structures, 2023

2022

A Rule-based Operational Semantics of Graph Query Languages.

Dominique Duval, Rachid Echahed, Frédéric Prost

CoRR, 2022

2021

Querying RDF Databases with Sub-CONSTRUCTs.

Dominique Duval, Rachid Echahed, Frédéric Prost

Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, 2021

A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond.

Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier

CoRR, 2021

A Superposition-Based Calculus for Diagrammatic Reasoning.

Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

Parallel rewriting of attributed graphs.

Thierry Boy de la Tour, Rachid Echahed

Theor. Comput. Sci., 2020

Algebraic graph rewriting with controlled embedding.

Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

Theor. Comput. Sci., 2020

An Algebraic Graph Transformation Approach for RDF and SPARQL.

Dominique Duval, Rachid Echahed, Frédéric Prost

Proceedings of the Eleventh International Workshop on Graph Computation Models, 2020

All You Need Is CONSTRUCT.

Dominique Duval, Rachid Echahed, Frédéric Prost

CoRR, 2020

Combining Parallel Graph Rewriting and Quotient Graphs.

Thierry Boy de la Tour, Rachid Echahed

Proceedings of the Rewriting Logic and Its Applications - 13th International Workshop, 2020

Parallel Coherent Graph Transformations.

Thierry Boy de la Tour, Rachid Echahed

Proceedings of the Recent Trends in Algebraic Development Techniques, 2020

2019

The PBPO graph transformation approach.

Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

J. Log. Algebraic Methods Program., 2019

On foundational aspects of RDF and SPARQL.

Dominique Duval, Rachid Echahed, Frédéric Prost

CoRR, 2019

True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans.

Thierry Boy de la Tour, Rachid Echahed

CoRR, 2019

Reasoning Formally About Database Queries and Updates.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Foreword: special issue on term and graph rewriting.

Rachid Echahed

Math. Struct. Comput. Sci., 2018

A Set-Theoretic Framework for Parallel Graph Rewriting.

Thierry Boy de la Tour, Rachid Echahed

CoRR, 2018

On the Verification of Logically Decorated Graph Transformations.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

CoRR, 2018

Applied Graph Transformation and Verification With Use Cases in Malaria Surveillance.

Jon Haël Brenas, Martin Strecker, Rachid Echahed, Arash Shaban-Nejad

IEEE Access, 2018

Verifying Graph Transformations with Guarded Logics.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Verifying Graph Transformation Systems with Description Logics.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the Graph Transformation - 11th International Conference, 2018

2017

C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the SCSS 2017, 2017

Parallel Graph Rewriting with Overlapping Rules.

Rachid Echahed, Aude Maignan

Proceedings of the LPAR-21, 2017

The Pullback-Pushout Approach to Algebraic Graph Transformation.

Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

Proceedings of the Graph Transformation - 10th International Conference, 2017

2016

Proving Correctness of Logically Decorated Graph Rewriting Systems.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Ensuring Correctness of Model Transformations While Remaining Decidable.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

On the Closure of Description Logics under Substitutions.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Provably Correct Graph Transformations with Small-tALC.

Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran

Proceedings of the 11th International Conference on ICT in Education, 2015

AGREE - Algebraic Graph Rewriting with Controlled Embedding.

Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Preface.

Rachid Echahed, Annegret Habel, Mohamed Mosbah

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

Transformation of Attributed Structures with Cloning (Long Version).

Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

CoRR, 2014

SROIQsigma is decidable.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

CoRR, 2014

A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs.

Jon Haël Brenas, Rachid Echahed, Martin Strecker

Proceedings of the Theoretical Computer Science, 2014

Transformation of Attributed Structures with Cloning.

Dominique Duval, Rachid Echahed, Frédéric Prost, Leila Ribeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Graph Computation Models 2012.

Rachid Echahed, Annegret Habel, Mohamed Mosbah

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

Logical Foundations for Reasoning about Transformations of Knowledge Bases.

Mohamed Chaabani, Rachid Echahed, Martin Strecker

Proceedings of the 9th International Conference on ICT in Education, 2013

2012

Graph Transformation with Focus on Incident Edges.

Dominique Duval, Rachid Echahed, Frédéric Prost

Proceedings of the Graph Transformations - 6th International Conference, 2012

2011

Graph Computation Models.

Rachid Echahed, Annegret Habel, Mohamed Mosbah

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

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation.

Dominique Duval, Rachid Echahed, Frédéric Prost

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

2010

A Modal Logic for Termgraph Rewriting

Philippe Balbiani, Rachid Echahed, Andreas Herzig

CoRR, 2010

A Dynamic Logic for Termgraph Rewriting.

Philippe Balbiani, Rachid Echahed, Andreas Herzig

Proceedings of the Graph Transformations - 5th International Conference, 2010

2009

Graph rewriting with polarized cloning

Dominique Duval, Rachid Echahed, Frédéric Prost

CoRR, 2009

A Heterogeneous Pushout Approach to Term-Graph Transformation.

Dominique Duval, Rachid Echahed, Frédéric Prost

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

A Cloning Pushout Approach to Term-Graph Transformation

Dominique Duval, Rachid Echahed, Frédéric Prost

CoRR, 2008

A Needed Rewriting Strategy for Data-Structures with Pointers.

Rachid Echahed, Nicolas Peltier

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

Inductively Sequential Term-Graph Rewrite Systems.

Rachid Echahed

Proceedings of the Graph Transformations, 4th International Conference, 2008

2007

Preface.

Rachid Echahed

Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming, 2007

On Term-Graph Rewrite Strategies.

Rachid Echahed

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Non Strict Confluent Rewrite Systems for Data-Structures with Pointers.

Rachid Echahed, Nicolas Peltier

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

Adjunction for Garbage Collection with Application to Graph Rewriting.

Dominique Duval, Rachid Echahed, Frédéric Prost

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006

Modeling Pointer Redirection as Cyclic Term-graph Rewriting.

Dominique Duval, Rachid Echahed, Frédéric Prost

Proceedings of the Third International Workshop on Term Graph Rewriting, 2006

Rewriting term-graphs with priority.

Ricardo Caferra, Rachid Echahed, Nicolas Peltier

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Narrowing Data-Structures with Pointers.

Rachid Echahed, Nicolas Peltier

Proceedings of the Graph Transformations, Third International Conference, 2006

2005

Data-Structure Rewriting

Dominique Duval, Rachid Echahed, Frédéric Prost

CoRR, 2005

Security policy in a declarative style.

Rachid Echahed, Frédéric Prost

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Handling declared information leakage: extended abstract.

Rachid Echahed, Frédéric Prost

Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, 2005

Specializing Narrowing for Timetable Generation: A Case Study.

Nadia Brauner, Rachid Echahed, Gerd Finke, Hanns Gregor, Frédéric Prost

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

2003

Statically assuring secrecy for dynamic concurrent processes.

Rachid Echahed, Frédéric Prost, Wendelin Serwe

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2002

Redundancy of Arguments Reduced to Induction.

María Alpuente, Rachid Echahed, Santiago Escobar, Salvador Lucas

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

On the Operational Semantics of Timed Rewrite Systems.

Jérémie Blanc, Rachid Echahed

Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

A generic operator over discrete time intervals.

Jérémie Blanc, Rachid Echahed

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

2001

Defining Actions in Concurrent Declarative Programming.

Rachid Echahed, Wendelin Serwe

Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

2000

A needed narrowing strategy.

Sergio Antoy, Rachid Echahed, Michael Hanus

J. ACM, 2000

Combining Mobile Processes and Declarative Programming.

Rachid Echahed, Wendelin Serwe

Proceedings of the Computational Logic, 2000

1998

Parallel Admissible Graph Rewriting.

Rachid Echahed, Jean-Christophe Janodet

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Admissible Graph Rewriting and Narrowing.

Rachid Echahed, Jean-Christophe Janodet

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

1997

Parallel Evaluation Strategies for Functional Logic Languages.

Sergio Antoy, Rachid Echahed, Michael Hanus

Proceedings of the Logic Programming, 1997

1996

Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation.

Didier Bert, Rachid Echahed, Kamel Adi

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Abstraction of Conditional Term Rewriting Systems.

Didier Bert, Rachid Echahed

Proceedings of the Logic Programming, 1995

Verifying Infinite State Processes with Sequential and Parallel Composition.

Ahmed Bouajjani, Rachid Echahed, Peter Habermehl

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

On the Verification Problem of Nonregular Properties for Nonregular Processes

Ahmed Bouajjani, Rachid Echahed, Peter Habermehl

Proceedings of the Proceedings, 1995

1994

Integrating Disequations in the Algebraic and Logic Programming Language LPG.

Didier Bert, Rachid Echahed

Proceedings of the Integration of Declarative Paradigms, 1994

On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the Hybrid Systems II, 1994

Verfying Invariance Properties of Timed Systems with Duration Variables.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Verification of Nonregular Temporal Properties for Context-Free Processes.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the CONCUR '94, 1994

On the Operational Semantics of the Algebraic and Logic Programming Language LPG.

Didier Bert, Rachid Echahed

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

Verification of Context-Free Timed Systems Using Linear Hybrid Observers.

Ahmed Bouajjani, Rachid Echahed, Riadh Robbana

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

Abstract Rewriting.

Didier Bert, Rachid Echahed, Bjarte M. Østvold

Proceedings of the Static Analysis, Third International Workshop, 1993

On Model Checking for Real-Time Properties with Durations

Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis

Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1992

Uniform Narrowing Strategies.

Rachid Echahed

Proceedings of the Algebraic and Logic Programming, 1992

1991

Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation.

Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

1990

Sur l'intégration des langages algébriques et logique. (On the integration of algebraic and logic programming languages).

Rachid Echahed

PhD thesis, 1990

On Completeness of Narrowing Strategies.

Rachid Echahed

Theor. Comput. Sci., 1990

1988

LPG: A Generic, Logic and Functional Programming Language.

Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier

Proceedings of the ESOP '88, 1988

On Comleteness of Narrowing Strategies.

Rachid Echahed

Proceedings of the CAAP '88, 1988

1987

LPG: A Generic, Logic and Functional Programming Language.

Didier Bert, Pascal Drabik, Rachid Echahed

Proceedings of the STACS 87, 1987

1986

Design and Implementation of a Generic, Logic and Functional Programming Language.

Didier Bert, Rachid Echahed

Proceedings of the ESOP 86, 1986