Hélène Kirchner

122 papers A* 6A 4B 4C 7Misc 2Journal 30Unranked 59
YearRankTypeTitle / Venue / Authors
2019 J jnl
Strategic port graph rewriting: an interactive modelling framework.
Math. Struct. Comput. Sci.
Maribel Fernández, Hélène Kirchner, Bruno Pinaud
2018 B ed.
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, Oxford, UK, July 9-12, 2018
FSCD
Hélène Kirchner
2018 J jnl
Labelled graph strategic rewriting for social networks.
J. Log. Algebraic Methods Program.
Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
2017 — conf
Labelled Port Graph - A Formal Structure for Models and Computations.
LSFA
Maribel Fernández, Hélène Kirchner, Bruno Pinaud
2017 — conf
PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting.
EGC
Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet
2016 — conf
Labelled Graph Rewriting Meets Social Networks.
WRLA
Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
2015 — conf
A Visual Analytics Approach to Compare Propagation Models in Social Networks.
GaM
Jason Vallet, Hélène Kirchner, Bruno Pinaud, Guy Melançon
2015 — conf
Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended Abstract (Invited Talk).
RTA
Hélène Kirchner
2015 — conf
Rewriting Strategies and Strategic Rewrite Programs.
Logic, Rewriting, and Concurrency
Hélène Kirchner
2014 — ch.
Equational Logic and Rewriting.
Computational Logic
Claude Kirchner, Hélène Kirchner
2014 — conf
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework.
GRAPHITE
Maribel Fernández, Hélène Kirchner, Bruno Pinaud
2014 C conf
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY.
CiE
Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud
2013 — conf
A rewriting point of view on strategies
SR
Hélène Kirchner
2013 — conf
Narrowing Based Inductive Proof Search.
Programming Logics
Claude Kirchner, Hélène Kirchner, Fabrice Nahon
2013 J jnl
Secure interoperation design in multi-domains environments based on colored Petri nets.
Inf. Sci.
Hejiao Huang, Hélène Kirchner
2011 C conf
A Strategy Language for Graph Rewriting.
LOPSTR
Maribel Fernández, Hélène Kirchner, Olivier Namet
2011 — conf
Formal Specification and Validation of Security Policies.
FPS
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
2011 J jnl
Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets.
IEEE Trans. Dependable Secur. Comput.
Hejiao Huang, Hélène Kirchner
2011 — conf
PORGY: Strategy-Driven Interactive Transformation of Graphs
TERMGRAPH
Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud
2011 J jnl
Proving weak properties of rewriting.
Theor. Comput. Sci.
Isabelle Gnaedig, Hélène Kirchner
2011 — conf
Runtime Verification for Biochemical Programs.
Hybrid Autonomous Systems@ETAPS
Oana Andrei, Hélène Kirchner
2010 J jnl
Combination of convex theories: Modularity, deduction completeness, and explanation.
J. Symb. Comput.
Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
2010 — ed.
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming, IWS 2010, Edinburgh, UK, 9th July 2010.
IWS
Hélène Kirchner, César A. Muñoz
2010 — conf
Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction.
Formal Aspects in Security and Trust
Clément Hurlin, Hélène Kirchner
2009 — conf
A Higher-Order Graph Calculus for Autonomic Computing.
Graph Theory, Computational Intelligence and Thought
Oana Andrei, Hélène Kirchner
2009 — conf
A Port Graph Calculus for Autonomic Computing and Invariant Verification.
TERMGRAPH@ETAPS
Oana Andrei, Hélène Kirchner
2009 — conf
Component-Based Security Policy Design with Colored Petri Nets.
Semantics and Algebraic Specification
Hejiao Huang, Hélène Kirchner
2009 — conf
Constraint Based Strategies.
WFLP
Claude Kirchner, Florent Kirchner, Hélène Kirchner
2009 — conf
Extensional and Intensional Strategies
WRS
Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner
2009 J jnl
Handling inheritance violation for secure interoperation of heterogeneous systems.
Int. J. Secur. Networks
Hejiao Huang, Hélène Kirchner, Songyun Liu, Weili Wu
2009 J jnl
Inductive proof search modulo.
Ann. Math. Artif. Intell.
Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner
2009 — conf
Policy Composition Based on Petri Nets.
COMPSAC (2)
Hejiao Huang, Hélène Kirchner
2009 J jnl
Termination of rewriting under strategies.
ACM Trans. Comput. Log.
Isabelle Gnaedig, Hélène Kirchner
2008 — conf
Analysis of Rewrite-Based Access Control Policies.
SecReT@LICS/CSF
Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
2007 — conf
A Rewriting Calculus for Multigraphs with Ports.
RULE@RDP
Oana Andrei, Hélène Kirchner
2007 Misc conf
Graph Rewriting and Strategies for Modeling Biochemical Networks.
SYNASC
Oana Andrei, Hélène Kirchner
2007 A conf
Modular Access Control Via Strategic Rewriting.
ESORICS
Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
2007 — conf
Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations.
Rewriting, Computation and Proof
Isabelle Gnaedig, Hélène Kirchner
2007 — ed.
Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
Rewriting, Computation and Proof
Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner
2007 — conf
Weaving rewrite-based access control policies.
FMSE
Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner
2006 B conf
Automatic Combinability of Rewriting-Based Satisfiability Procedures.
LPAR
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2006 C conf
Computing constructor forms with non terminating rewrite programs.
PPDP
Isabelle Gnaedig, Hélène Kirchner
2006 — conf
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application.
Essays Dedicated to Joseph A. Goguen
Oana Andrei, Liliana Ibanescu, Hélène Kirchner
2005 — conf
Anchoring Modularity in HTML.
WWV
Claude Kirchner, Hélène Kirchner, Anderson Santana
2005 — conf
Anchoring modularity in HTML.
WWV
Claude Kirchner, Hélène Kirchner, Anderson Santana
2005 — conf
From Chemical Rules to Term Rewriting.
RULE@RDP
Olivier Bournez, Liliana Ibanescu, Hélène Kirchner
2005 C conf
On Superposition-Based Satisfiability Procedures and Their Combination.
ICTAC
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
2005 J jnl
Termination of rewriting strategies: a generic approach
CoRR
Isabelle Gnaedig, Hélène Kirchner
2004 C conf
A Proof of Weak Termination Providing the Right Way to Terminate.
ICTAC
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
2004 — conf
Rule-Based Programming and Proving: The ELAN Experience Outcomes.
ASIAN
Claude Kirchner, Hélène Kirchner
2003 — conf
A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms.
RTA
Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu
2003 Misc conf
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting.
International Conference on Computational Science
Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu
2003 A conf
Proof Search and Proof Check for Equational and Inductive Theorems.
CADE
Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen
2003 C conf
Simplification and termination of strategies in rule-based languages.
PPDP
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
2002 — ed.
Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings
AMAST
Hélène Kirchner, Christophe Ringeissen
2002 J jnl
CASL: the Common Algebraic Specification Language.
Theor. Comput. Sci.
Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
2002 J jnl
ELAN from a rewriting logic point of view.
Theor. Comput. Sci.
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
2002 J jnl
External Rewriting for Skeptical Proof Assistants.
J. Autom. Reason.
Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner
2002 — conf
Outermost ground termination.
WRLA
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
2002 C conf
System Presentation -- CARIBOO: An induction based proof tool for termination with strategies.
PPDP
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
2001 J jnl
Algebraic Specifications, Higher-order Types and Set-theoretic Models.
J. Log. Comput.
Hélène Kirchner, Peter D. Mosses
2001 J jnl
Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories.
J. Funct. Program.
Hélène Kirchner, Pierre-Etienne Moreau
2001 J jnl
Rewriting with Strategies in ELAN: A Functional Semantics.
Int. J. Found. Comput. Sci.
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
2001 — conf
Termination of Rewriting with Local Strategies.
STRATEGIES@IJCAR
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
2000 J jnl
Combining assisted and automated deduction.
Ann. Math. Artif. Intell.
Hélène Kirchner
2000 J jnl
Editorial: Strategies in Automated Deduction.
Ann. Math. Artif. Intell.
Bernhard Gramlich, Hélène Kirchner, Frank Pfenning
2000 — ed.
Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings
FroCoS
Hélène Kirchner, Christophe Ringeissen
2000 — conf
Termination and normalisation under strategy Proofs in ELAN.
WRLA
Hélène Kirchner, Isabelle Gnaedig
1999 — conf
ELAN.
JFPLC
Hélène Kirchner
1999 — conf
Rule Based Programming with Constraints and Strategies.
New Trends in Constraints
Hubert Dubois, Hélène Kirchner
1999 — ch.
Term Rewriting.
Algebraic Foundations of Systems Specification
Hélène Kirchner
1998 — ed.
1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998
WRLA
Claude Kirchner, Hélène Kirchner
1998 — conf
A Compiler for Rewrite Programs in Associative-Commutative Theories.
PLILP/ALP
Pierre-Etienne Moreau, Hélène Kirchner
1998 — conf
A Functional View of Rewriting and Strategies for a Semantics of ELAN.
Fuji International Symposium on Functional and Logic Programming
Peter Borovanský, Claude Kirchner, Hélène Kirchner
1998 — conf
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models.
AMAST
Hélène Kirchner, Peter D. Mosses
1998 — conf
An overview of ELAN.
WRLA
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
1998 A ed.
Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
CADE
Claude Kirchner, Hélène Kirchner
1998 J jnl
Dynamically Typed Computations for Order-Sorted Equational Presentations.
J. Symb. Comput.
Claus Hintermeier, Claude Kirchner, Hélène Kirchner
1998 — conf
Non-deterministic Computations in ELAN.
WADT
Hélène Kirchner, Pierre-Etienne Moreau
1998 — conf
Preface.
WRLA
Claude Kirchner, Hélène Kirchner
1996 — conf
A reflective extension of ELAN.
WRLA
Hélène Kirchner, Pierre-Etienne Moreau
1996 — conf
Controlling rewriting by rewriting.
WRLA
Peter Borovanský, Claude Kirchner, Hélène Kirchner
1996 — conf
ELAN: A logical framework based on computational systems.
WRLA
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek
1996 — ed.
Trees in Algebra and Programming - CAAP'96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings
CAAP
Hélène Kirchner
1995 — conf
Combining Algebraic and Set-Theoretic Specifications.
COMPASS/ADT
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
1995 — conf
Prototyping Completion with Constraints Using Computational Systems.
RTA
Hélène Kirchner, Pierre-Etienne Moreau
1995 — conf
R
HOA
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
1994 J jnl
Combining Symbolic Constraint Solvers on Algebraic Domains.
J. Symb. Comput.
Hélène Kirchner, Christophe Ringeissen
1994 B conf
Constraint Solving by Narrowing in Combined Algebraic Domains.
ICLP
Hélène Kirchner, Christophe Ringeissen
1994 A* conf
Dynamically-Typed Computations for Order-Sorted Equational Presentations.
ICALP
Claus Hintermeier, Claude Kirchner, Hélène Kirchner
1994 — conf
On the Use of Constraints in Automated Deduction
Constraint Programming
Hélène Kirchner
1994 — conf
Sort Inheritance for Order-Sorted Equational Presentations.
COMPASS/ADT
Claus Hintermeier, Claude Kirchner, Hélène Kirchner
1993 — conf
Implementing Computational Systems with Constraints.
PPCP
Claude Kirchner, Hélène Kirchner, Marian Vittek
1993 — conf
Some Extensions of Rewriting.
Term Rewriting
Hélène Kirchner
1992 — conf
A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms.
JICSLP
Hélène Kirchner, Christophe Ringeissen
1992 — ed.
Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings
ALP
Hélène Kirchner, Giorgio Levi
1992 J jnl
Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ.
J. Log. Program.
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
1992 J jnl
The Term Rewriting Approach to Automated Theorem Proving.
J. Log. Program.
Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch
1992 J jnl
To Prof. Dr. Wolfgang Wechler.
Theor. Comput. Sci.
Hélène Kirchner
1991 J jnl
Implementations of Term Rewriting Systems.
Comput. J.
Miki Hermann, Claude Kirchner, Hélène Kirchner
1991 — conf
Proofs in Parameterized Specification.
RTA
Hélène Kirchner
1991 J jnl
Rewriting techniques and applications, RTA'91.
SIGACT News
Hélène Kirchner, Pierre Lescanne
1990 — ed.
Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings
ALP
Hélène Kirchner, Wolfgang Wechler
1990 J jnl
Equational Completion in Order-Sorted Algebras.
Theor. Comput. Sci.
Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
1990 — conf
Meta-rule Synthesis from Crossed Rewrite Systems.
CTRS
Hélène Kirchner, Miki Hermann
1989 B conf
Constrained Equational Reasoning.
ISSAC
Claude Kirchner, Hélène Kirchner
1989 J jnl
Schematization of Infinite Sets of Rewrite Rules Generated by Divergent Completion Processes.
Theor. Comput. Sci.
Hélène Kirchner
1988 — conf
Equational Completion in Order-Sorted Algebras (Extended Abstract).
CAAP
Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
1988 — conf
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization.
ALP
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
1988 A* conf
Operational Semantics of OBJ-3 (Extended Abstract).
ICALP
Claude Kirchner, Hélène Kirchner, José Meseguer
1987 — conf
An Introduction to OBJ 3.
CTRS
Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, Timothy C. Winkler
1987 J jnl
REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies.
Sci. Comput. Program.
Claude Kirchner, Hélène Kirchner
1987 — conf
Schematization of Infinite Sets of Rewrite Rules. Application to the Divergence of Completion Processes.
RTA
Hélène Kirchner
1986 J jnl
Completion of a Set of Rules Modulo a Set of Equations.
SIAM J. Comput.
Jean-Pierre Jouannaud, Hélène Kirchner
1985 — conf
Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies.
European Conference on Computer Algebra (2)
Claude Kirchner, Hélène Kirchner
1985 — conf
NARROWER: A New Algorithm for Unification and Its Application to Logic Programming.
RTA
Pierre Réty, Claude Kirchner, Hélène Kirchner, Pierre Lescanne
1984 A conf
A General Inductive Completion Algorithm and Application to Abstract Data Types.
CADE
Hélène Kirchner
1984 A* conf
Completion of a Set of Rules Modulo a Set of Equations.
POPL
Jean-Pierre Jouannaud, Hélène Kirchner
1984 J jnl
Construction D'un Plus Petit Odre de Simplification.
RAIRO Theor. Informatics Appl.
Jean-Pierre Jouannaud, Hélène Kirchner
1983 A* conf
Church-Rosser Properties of Weakly Terminating Term Rewriting Systems.
IJCAI
Jean-Pierre Jouannaud, Hélène Kirchner, Jean-Luc Rémy
1983 A* conf
Incremental Construction of Unification Algorithms in Equational Theories.
ICALP
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner
1981 A* conf
Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees.
IJCAI
Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud