Hélène Kirchner

According to our database, Hélène Kirchner authored at least 108 papers between 1981 and 2019.

Collaborative distances:

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

2019

Strategic port graph rewriting: an interactive modelling framework.

Maribel Fernández, Hélène Kirchner, Bruno Pinaud

Math. Struct. Comput. Sci., 2019

2018

Labelled graph strategic rewriting for social networks.

Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet

J. Log. Algebraic Methods Program., 2018

2017

Labelled Port Graph - A Formal Structure for Models and Computations.

Maribel Fernández, Hélène Kirchner, Bruno Pinaud

Proceedings of the 12th Workshop on Logical and Semantic Frameworks, with Applications, 2017

PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting.

Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet

Proceedings of the 17ème Journées Francophones Extraction et Gestion des Connaissances, 2017

2016

Labelled Graph Rewriting Meets Social Networks.

Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

2015

A Visual Analytics Approach to Compare Propagation Models in Social Networks.

Jason Vallet, Hélène Kirchner, Bruno Pinaud, Guy Melançon

Proceedings of the Proceedings Graphs as Models, 2015

Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended Abstract (Invited Talk).

Hélène Kirchner

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Rewriting Strategies and Strategic Rewrite Programs.

Hélène Kirchner

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Equational Logic and Rewriting.

Claude Kirchner, Hélène Kirchner

Proceedings of the Computational Logic, 2014

Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework.

Maribel Fernández, Hélène Kirchner, Bruno Pinaud

Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY.

Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2013

Secure interoperation design in multi-domains environments based on colored Petri nets.

Hejiao Huang, Hélène Kirchner

Inf. Sci., 2013

A rewriting point of view on strategies

Hélène Kirchner

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

Narrowing Based Inductive Proof Search.

Claude Kirchner, Hélène Kirchner, Fabrice Nahon

Proceedings of the Programming Logics - Essays in Memory of Harald Ganzinger, 2013

2011

Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets.

Hejiao Huang, Hélène Kirchner

IEEE Trans. Dependable Secur. Comput., 2011

Proving weak properties of rewriting.

Isabelle Gnaedig, Hélène Kirchner

Theor. Comput. Sci., 2011

Runtime Verification for Biochemical Programs.

Oana Andrei, Hélène Kirchner

Proceedings of the First Workshop on Hybrid Autonomous Systems, 2011

PORGY: Strategy-Driven Interactive Transformation of Graphs

Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

A Strategy Language for Graph Rewriting.

Maribel Fernández, Hélène Kirchner, Olivier Namet

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Formal Specification and Validation of Security Policies.

Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner

Proceedings of the Foundations and Practice of Security, 2011

2010

Combination of convex theories: Modularity, deduction completeness, and explanation.

Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner

J. Symb. Comput., 2010

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction.

Clément Hurlin, Hélène Kirchner

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

2009

Termination of rewriting under strategies.

Isabelle Gnaedig, Hélène Kirchner

ACM Trans. Comput. Log., 2009

Handling inheritance violation for secure interoperation of heterogeneous systems.

Hejiao Huang, Hélène Kirchner, Songyun Liu, Weili Wu

Int. J. Secur. Networks, 2009

A Port Graph Calculus for Autonomic Computing and Invariant Verification.

Oana Andrei, Hélène Kirchner

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

Extensional and Intensional Strategies

Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner

Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009

Inductive proof search modulo.

Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner

Ann. Math. Artif. Intell., 2009

Constraint Based Strategies.

Claude Kirchner, Florent Kirchner, Hélène Kirchner

Proceedings of the Functional and Constraint Logic Programming, 2009

Policy Composition Based on Petri Nets.

Hejiao Huang, Hélène Kirchner

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Component-Based Security Policy Design with Colored Petri Nets.

Hejiao Huang, Hélène Kirchner

Proceedings of the Semantics and Algebraic Specification, 2009

A Higher-Order Graph Calculus for Autonomic Computing.

Oana Andrei, Hélène Kirchner

Proceedings of the Graph Theory, 2009

2008

Analysis of Rewrite-Based Access Control Policies.

Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira

Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

2007

A Rewriting Calculus for Multigraphs with Ports.

Oana Andrei, Hélène Kirchner

Proceedings of the Eighth International Workshop on Rule Based Programming, 2007

Graph Rewriting and Strategies for Modeling Biochemical Networks.

Oana Andrei, Hélène Kirchner

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Modular Access Control Via Strategic Rewriting.

Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira

Proceedings of the Computer Security, 2007

Weaving rewrite-based access control policies.

Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations.

Isabelle Gnaedig, Hélène Kirchner

Proceedings of the Rewriting, 2007

2006

Computing constructor forms with non terminating rewrite programs.

Isabelle Gnaedig, Hélène Kirchner

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

Automatic Combinability of Rewriting-Based Satisfiability Procedures.

Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Proceedings of the Logic for Programming, 2006

Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application.

Oana Andrei, Liliana Ibanescu, Hélène Kirchner

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Anchoring Modularity in HTML.

Claude Kirchner, Hélène Kirchner, Anderson Santana

Proceedings of the International Workshop on Automated Specification and Verification of Web Sites, 2005

From Chemical Rules to Term Rewriting.

Olivier Bournez, Liliana Ibanescu, Hélène Kirchner

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

Termination of rewriting strategies: a generic approach

Isabelle Gnaedig, Hélène Kirchner

CoRR, 2005

On Superposition-Based Satisfiability Procedures and Their Combination.

Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Proceedings of the Theoretical Aspects of Computing, 2005

2004

A Proof of Weak Termination Providing the Right Way to Terminate.

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

Proceedings of the Theoretical Aspects of Computing, 2004

Rule-Based Programming and Proving: The ELAN Experience Outcomes.

Claude Kirchner, Hélène Kirchner

Proceedings of the Advances in Computer Science, 2004

2003

A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms.

Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Simplification and termination of strategies in rule-based languages.

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

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

Automated Generation of Kinetic Chemical Mechanisms Using Rewriting.

Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu

Proceedings of the Computational Science - ICCS 2003, 2003

Proof Search and Proof Check for Equational and Inductive Theorems.

Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

ELAN from a rewriting logic point of view.

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau

Theor. Comput. Sci., 2002

CASL: the Common Algebraic Specification Language.

Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki

Theor. Comput. Sci., 2002

External Rewriting for Skeptical Proof Assistants.

Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner

J. Autom. Reason., 2002

Outermost ground termination.

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

System Presentation -- CARIBOO: An induction based proof tool for termination with strategies.

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

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

2001

Termination of Rewriting with Local Strategies.

Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner

Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001

Algebraic Specifications, Higher-order Types and Set-theoretic Models.

Hélène Kirchner, Peter D. Mosses

J. Log. Comput., 2001

Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories.

Hélène Kirchner, Pierre-Etienne Moreau

J. Funct. Program., 2001

Rewriting with Strategies in ELAN: A Functional Semantics.

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen

Int. J. Found. Comput. Sci., 2001

2000

Termination and normalisation under strategy Proofs in ELAN.

Hélène Kirchner, Isabelle Gnaedig

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Combining assisted and automated deduction.

Hélène Kirchner

Ann. Math. Artif. Intell., 2000

Editorial: Strategies in Automated Deduction.

Bernhard Gramlich, Hélène Kirchner, Frank Pfenning

Ann. Math. Artif. Intell., 2000

1999

Term Rewriting.

Hélène Kirchner

Proceedings of the Algebraic Foundations of Systems Specification, 1999

ELAN.

Hélène Kirchner

Proceedings of the JFPLC'99, 1999

Rule Based Programming with Constraints and Strategies.

Hubert Dubois, Hélène Kirchner

Proceedings of the New Trends in Contraints, 1999

1998

Dynamically Typed Computations for Order-Sorted Equational Presentations.

Claus Hintermeier, Claude Kirchner, Hélène Kirchner

J. Symb. Comput., 1998

Preface.

Claude Kirchner, Hélène Kirchner

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

An overview of ELAN.

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Non-deterministic Computations in ELAN.

Hélène Kirchner, Pierre-Etienne Moreau

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

A Compiler for Rewrite Programs in Associative-Commutative Theories.

Pierre-Etienne Moreau, Hélène Kirchner

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

A Functional View of Rewriting and Strategies for a Semantics of ELAN.

Peter Borovanský, Claude Kirchner, Hélène Kirchner

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998

1996

A reflective extension of ELAN.

Hélène Kirchner, Pierre-Etienne Moreau

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

ELAN: A logical framework based on computational systems.

Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Controlling rewriting by rewriting.

Peter Borovanský, Claude Kirchner, Hélène Kirchner

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

1995

Prototyping Completion with Constraints Using Computational Systems.

Hélène Kirchner, Pierre-Etienne Moreau

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Rⁿ- and Gⁿ-Logics.

Claus Hintermeier, Hélène Kirchner, Peter D. Mosses

Proceedings of the Higher-Order Algebra, 1995

Combining Algebraic and Set-Theoretic Specifications.

Claus Hintermeier, Hélène Kirchner, Peter D. Mosses

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

On the Use of Constraints in Automated Deduction

Hélène Kirchner

Proceedings of the Constraint Programming: Basics and Trends, Châtillon Spring School, 1994

Combining Symbolic Constraint Solvers on Algebraic Domains.

Hélène Kirchner, Christophe Ringeissen

J. Symb. Comput., 1994

Constraint Solving by Narrowing in Combined Algebraic Domains.

Hélène Kirchner, Christophe Ringeissen

Proceedings of the Logic Programming, 1994

Sort Inheritance for Order-Sorted Equational Presentations.

Claus Hintermeier, Claude Kirchner, Hélène Kirchner

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

1993

Implementing Computational Systems with Constraints.

Claude Kirchner, Hélène Kirchner, Marian Vittek

Proceedings of the Principles and Practice of Constraint Programming, 1993

Some Extensions of Rewriting.

Hélène Kirchner

Proceedings of the Term Rewriting, 1993

1992

To Prof. Dr. Wolfgang Wechler.

Hélène Kirchner

Theor. Comput. Sci., 1992

Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ.

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis

J. Log. Program., 1992

The Term Rewriting Approach to Automated Theorem Proving.

Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch

J. Log. Program., 1992

A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms.

Hélène Kirchner, Christophe Ringeissen

Proceedings of the Logic Programming, 1992

1991

Rewriting techniques and applications, RTA'91.

Hélène Kirchner, Pierre Lescanne

SIGACT News, 1991

Implementations of Term Rewriting Systems.

Miki Hermann, Claude Kirchner, Hélène Kirchner

Comput. J., 1991

Proofs in Parameterized Specification.

Hélène Kirchner

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1990

Equational Completion in Order-Sorted Algebras.

Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner

Theor. Comput. Sci., 1990

Meta-rule Synthesis from Crossed Rewrite Systems.

Hélène Kirchner, Miki Hermann

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989

Schematization of Infinite Sets of Rewrite Rules Generated by Divergent Completion Processes.

Hélène Kirchner

Theor. Comput. Sci., 1989

Constrained Equational Reasoning.

Claude Kirchner, Hélène Kirchner

Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989

1988

Operational Semantics of OBJ-3 (Extended Abstract).

Claude Kirchner, Hélène Kirchner, José Meseguer

Proceedings of the Automata, Languages and Programming, 15th International Colloquium, 1988

Equational Completion in Order-Sorted Algebras (Extended Abstract).

Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner

Proceedings of the CAAP '88, 1988

OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization.

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis

Proceedings of the Algebraic and Logic Programming, 1988

1987

REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies.

Claude Kirchner, Hélène Kirchner

Sci. Comput. Program., 1987

Schematization of Infinite Sets of Rewrite Rules. Application to the Divergence of Completion Processes.

Hélène Kirchner

Proceedings of the Rewriting Techniques and Applications, 2nd International Conference, 1987

An Introduction to OBJ 3.

Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler

Proceedings of the Conditional Term Rewriting Systems, 1987

1986

Completion of a Set of Rules Modulo a Set of Equations.

Jean-Pierre Jouannaud, Hélène Kirchner

SIAM J. Comput., 1986

1985

NARROWER: A New Algorithm for Unification and Its Application to Logic Programming.

Pierre Réty, Claude Kirchner, Hélène Kirchner, Pierre Lescanne

Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies.

Claude Kirchner, Hélène Kirchner

Proceedings of the EUROCAL '85, 1985

1984

Construction D'un Plus Petit Odre de Simplification.

Jean-Pierre Jouannaud, Hélène Kirchner

RAIRO Theor. Informatics Appl., 1984

A General Inductive Completion Algorithm and Application to Abstract Data Types.

Hélène Kirchner

Proceedings of the 7th International Conference on Automated Deduction, 1984

1983

Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.

Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Rémy

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Incremental Construction of Unification Algorithms in Equational Theories.

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner

Proceedings of the Automata, 1983

1981

Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees.

Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981