Hélène Kirchner

Publication Activity (10 Years)

Years Active: 1981-2019
Publications (10 Years): 5

Top Venues

LSFA

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

GRAPHITE

Publications

Maribel Fernández, Hélène Kirchner, Bruno Pinaud
Strategic port graph rewriting: an interactive modelling framework. Math. Struct. Comput. Sci. 29 (5) (2019)
Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
Labelled graph strategic rewriting for social networks. J. Log. Algebraic Methods Program. 96 (2018)
Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Jason Vallet
PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. EGC (2017)
Maribel Fernández, Hélène Kirchner, Bruno Pinaud
Labelled Port Graph - A Formal Structure for Models and Computations. LSFA (2017)
Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
Labelled Graph Rewriting Meets Social Networks. WRLA (2016)
Hélène Kirchner
Rewriting Strategies and Strategic Rewrite Programs. Logic, Rewriting, and Concurrency (2015)
Jason Vallet, Hélène Kirchner, Bruno Pinaud, Guy Melançon
A Visual Analytics Approach to Compare Propagation Models in Social Networks. GaM (2015)
Hélène Kirchner
Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended Abstract (Invited Talk). RTA (2015)
Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. CiE (2014)
Maribel Fernández, Hélène Kirchner, Bruno Pinaud
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. GRAPHITE (2014)
Hejiao Huang, Hélène Kirchner
Secure interoperation design in multi-domains environments based on colored Petri nets. Inf. Sci. 221 (2013)
Hélène Kirchner
A rewriting point of view on strategies SR (2013)
Oana Andrei, Hélène Kirchner
Runtime Verification for Biochemical Programs. Electron. Notes Theor. Comput. Sci. 297 (2013)
Claude Kirchner, Hélène Kirchner, Fabrice Nahon
Narrowing Based Inductive Proof Search. Programming Logics (2013)
Hejiao Huang, Hélène Kirchner
Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets. IEEE Trans. Dependable Secur. Comput. 8 (6) (2011)
Maribel Fernández, Hélène Kirchner, Olivier Namet
A Strategy Language for Graph Rewriting. LOPSTR (2011)
Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud
PORGY: Strategy-Driven Interactive Transformation of Graphs TERMGRAPH (2011)
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
Formal Specification and Validation of Security Policies. FPS (2011)
Isabelle Gnaedig, Hélène Kirchner
Proving weak properties of rewriting. Theor. Comput. Sci. 412 (34) (2011)
Clément Hurlin, Hélène Kirchner
Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction. Formal Aspects in Security and Trust (2010)
Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
Combination of convex theories: Modularity, deduction completeness, and explanation. J. Symb. Comput. 45 (2) (2010)
Hejiao Huang, Hélène Kirchner
Policy Composition Based on Petri Nets. COMPSAC (2) (2009)
Claude Kirchner, Florent Kirchner, Hélène Kirchner
Constraint Based Strategies. WFLP (2009)
Oana Andrei, Hélène Kirchner
A Higher-Order Graph Calculus for Autonomic Computing. Graph Theory, Computational Intelligence and Thought (2009)
Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner
Inductive proof search modulo. Ann. Math. Artif. Intell. 55 (1-2) (2009)
Hejiao Huang, Hélène Kirchner, Songyun Liu, Weili Wu
Handling inheritance violation for secure interoperation of heterogeneous systems. Int. J. Secur. Networks 4 (4) (2009)
Isabelle Gnaedig, Hélène Kirchner
Termination of rewriting under strategies. ACM Trans. Comput. Log. 10 (2) (2009)
Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner
Extensional and Intensional Strategies WRS (2009)
Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
Analysis of Rewrite-Based Access Control Policies. Electron. Notes Theor. Comput. Sci. 234 (2009)
Oana Andrei, Hélène Kirchner
A Port Graph Calculus for Autonomic Computing and Invariant Verification. Electron. Notes Theor. Comput. Sci. 253 (4) (2009)
Hejiao Huang, Hélène Kirchner
Component-Based Security Policy Design with Colored Petri Nets. Semantics and Algebraic Specification (2009)
Oana Andrei, Hélène Kirchner
A Rewriting Calculus for Multigraphs with Ports. Electron. Notes Theor. Comput. Sci. 219 (2008)
Oana Andrei, Hélène Kirchner
Graph Rewriting and Strategies for Modeling Biochemical Networks. SYNASC (2007)
Isabelle Gnaedig, Hélène Kirchner
Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations. Rewriting, Computation and Proof (2007)
Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
Modular Access Control Via Strategic Rewriting. ESORICS (2007)
Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner
Weaving rewrite-based access control policies. FMSE (2007)
Claude Kirchner, Hélène Kirchner, Anderson Santana
Anchoring Modularity in HTML. Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Olivier Bournez, Liliana Ibanescu, Hélène Kirchner
From Chemical Rules to Term Rewriting. Electron. Notes Theor. Comput. Sci. 147 (1) (2006)
Oana Andrei, Liliana Ibanescu, Hélène Kirchner
Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application. Essays Dedicated to Joseph A. Goguen (2006)
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
Automatic Combinability of Rewriting-Based Satisfiability Procedures. LPAR (2006)
Isabelle Gnaedig, Hélène Kirchner
Computing constructor forms with non terminating rewrite programs. PPDP (2006)
Claude Kirchner, Hélène Kirchner, Anderson Santana
Anchoring modularity in HTML. WWV (2005)
Isabelle Gnaedig, Hélène Kirchner
Termination of rewriting strategies: a generic approach CoRR (2005)
Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
On Superposition-Based Satisfiability Procedures and Their Combination. ICTAC (2005)
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
A Proof of Weak Termination Providing the Right Way to Terminate. ICTAC (2004)
Claude Kirchner, Hélène Kirchner
Rule-Based Programming and Proving: The ELAN Experience Outcomes. ASIAN (2004)
Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting. International Conference on Computational Science (2003)
Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen
Proof Search and Proof Check for Equational and Inductive Theorems. CADE (2003)
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
Simplification and termination of strategies in rule-based languages. PPDP (2003)
Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu
A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms. RTA (2003)
Quang Huy Nguyen, Claude Kirchner, Hélène Kirchner
External Rewriting for Skeptical Proof Assistants. J. Autom. Reason. 29 (3-4) (2002)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
ELAN from a rewriting logic point of view. Theor. Comput. Sci. 285 (2) (2002)
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. PPDP (2002)
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
Outermost ground termination. Electron. Notes Theor. Comput. Sci. 71 (2002)
Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. 286 (2) (2002)
Hélène Kirchner, Peter D. Mosses
Algebraic Specifications, Higher-order Types and Set-theoretic Models. J. Log. Comput. 11 (3) (2001)
Hélène Kirchner, Pierre-Etienne Moreau
Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories. J. Funct. Program. 11 (2) (2001)
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
Termination of Rewriting with Local Strategies. Electron. Notes Theor. Comput. Sci. 58 (2) (2001)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
Rewriting with Strategies in ELAN: A Functional Semantics. Int. J. Found. Comput. Sci. 12 (1) (2001)
Hélène Kirchner, Isabelle Gnaedig
Termination and normalisation under strategy Proofs in ELAN. WRLA (2000)
Bernhard Gramlich, Hélène Kirchner, Frank Pfenning
Editorial: Strategies in Automated Deduction. Ann. Math. Artif. Intell. 29 (1-4) (2000)
Hélène Kirchner
Combining assisted and automated deduction. Ann. Math. Artif. Intell. 28 (1-4) (2000)
Hubert Dubois, Hélène Kirchner
Rule Based Programming with Constraints and Strategies. New Trends in Constraints (1999)
Hélène Kirchner
ELAN. JFPLC (1999)
Pierre-Etienne Moreau, Hélène Kirchner
A Compiler for Rewrite Programs in Associative-Commutative Theories. PLILP/ALP (1998)
Peter Borovanský, Claude Kirchner, Hélène Kirchner
A Functional View of Rewriting and Strategies for a Semantics of ELAN. Fuji International Symposium on Functional and Logic Programming (1998)
Hélène Kirchner, Peter D. Mosses
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. AMAST (1998)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
An overview of ELAN. WRLA (1998)
Claus Hintermeier, Claude Kirchner, Hélène Kirchner
Dynamically Typed Computations for Order-Sorted Equational Presentations. J. Symb. Comput. 25 (4) (1998)
Claude Kirchner, Hélène Kirchner
Preface. WRLA (1998)
Hélène Kirchner, Pierre-Etienne Moreau
Non-deterministic Computations in ELAN. WADT (1998)
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Marian Vittek
ELAN: A logical framework based on computational systems. WRLA (1996)
Peter Borovanský, Claude Kirchner, Hélène Kirchner
Controlling rewriting by rewriting. WRLA (1996)
Hélène Kirchner, Pierre-Etienne Moreau
A reflective extension of ELAN. WRLA (1996)
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
-Logics. HOA (1995)
Hélène Kirchner, Pierre-Etienne Moreau
Prototyping Completion with Constraints Using Computational Systems. RTA (1995)
Claus Hintermeier, Hélène Kirchner, Peter D. Mosses
Combining Algebraic and Set-Theoretic Specifications. COMPASS/ADT (1995)
Hélène Kirchner
On the Use of Constraints in Automated Deduction Constraint Programming (1994)
Hélène Kirchner, Christophe Ringeissen
Constraint Solving by Narrowing in Combined Algebraic Domains. ICLP (1994)
Hélène Kirchner, Christophe Ringeissen
Combining Symbolic Constraint Solvers on Algebraic Domains. J. Symb. Comput. 18 (2) (1994)
Claus Hintermeier, Claude Kirchner, Hélène Kirchner
Sort Inheritance for Order-Sorted Equational Presentations. COMPASS/ADT (1994)
Claus Hintermeier, Claude Kirchner, Hélène Kirchner
Dynamically-Typed Computations for Order-Sorted Equational Presentations. ICALP (1994)
Hélène Kirchner
Some Extensions of Rewriting. Term Rewriting (1993)
Claude Kirchner, Hélène Kirchner, Marian Vittek
Implementing Computational Systems with Constraints. PPCP (1993)
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. J. Log. Program. 12 (3&4) (1992)
Hélène Kirchner
To Prof. Dr. Wolfgang Wechler. Theor. Comput. Sci. 105 (1) (1992)
Hélène Kirchner, Christophe Ringeissen
A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. JICSLP (1992)
Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch
The Term Rewriting Approach to Automated Theorem Proving. J. Log. Program. 14 (1&2) (1992)
Hélène Kirchner, Pierre Lescanne
Rewriting techniques and applications, RTA'91. SIGACT News 22 (3) (1991)
Miki Hermann, Claude Kirchner, Hélène Kirchner
Implementations of Term Rewriting Systems. Comput. J. 34 (1) (1991)
Hélène Kirchner
Proofs in Parameterized Specification. RTA (1991)
Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
Equational Completion in Order-Sorted Algebras. Theor. Comput. Sci. 72 (2&3) (1990)
Hélène Kirchner, Miki Hermann
Meta-rule Synthesis from Crossed Rewrite Systems. CTRS (1990)
Hélène Kirchner
Schematization of Infinite Sets of Rewrite Rules Generated by Divergent Completion Processes. Theor. Comput. Sci. 67 (2&3) (1989)
Claude Kirchner, Hélène Kirchner
Constrained Equational Reasoning. ISSAC (1989)
Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
Equational Completion in Order-Sorted Algebras (Extended Abstract). CAAP (1988)
Claude Kirchner, Hélène Kirchner, José Meseguer
Operational Semantics of OBJ-3 (Extended Abstract). ICALP (1988)
Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. ALP (1988)
Claude Kirchner, Hélène Kirchner
REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. Sci. Comput. Program. 8 (1) (1987)
Hélène Kirchner
Schematization of Infinite Sets of Rewrite Rules. Application to the Divergence of Completion Processes. RTA (1987)

Hélène Kirchner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hélène Kirchner