2018

Journal articles

titre

Strategic Port Graph Rewriting: an Interactive Modelling Framework

auteur

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

article

Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2018, pp.1-48. 〈10.1017/S0960129518000270〉

DOI

DOI : 10.1017/S0960129518000270

Accès au texte intégral et bibtex

titre

Labelled Graph Strategic Rewriting for Social Networks

auteur

Maribel Fernandez, Hélène Kirchner, Bruno Pinaud, Jason Vallet

article

Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 96 (C), pp.12--40. 〈10.1016/j.jlamp.2017.12.005〉

DOI

DOI : 10.1016/j.jlamp.2017.12.005

Accès au texte intégral et bibtex

Book sections

titre

Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with Porgy

auteur

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

article

Bill Hlavacek. Modeling Biomolecular Site Dynamics, Springer, In press, Methods in Molecular Biology

Accès au texte intégral et bibtex

2016

Conference papers

titre

Labelled Graph Rewriting Meets Social Networks

auteur

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

article

Dorel Lucanu. Rewriting Logic and Its Applications, WRLA 2016, Apr 2016, Eindhoven, Netherlands. Springer International Publishing Switzerland, LNCS, 9942, pp.1--25, 2016, LNCS 〈10.1007/978-3-319-44802-2_1〉

DOI

DOI : 10.1007/978-3-319-44802-2_1

Accès au texte intégral et bibtex

2015

Conference papers

titre

Port Graphs, Rules and Strategies for Dynamic Data Analytics -Extended Abstract

auteur

Hélène Kirchner

article

Maribel Fernandez. International Conference on Rewriting, Deduction, and Programming, Jun 2015, Warsaw, Poland. LIPICS 36, 2015, LIPICS Proceedings of 26th International Conference on Rewriting Techniques and Applications (RTA 2015). 〈http://drops.dagstuhl.de/opus/institut_lipics.php?fakultaet=04〉. 〈10.4230/LIPIcs.RTA.2015.i 〉

DOI

DOI : 10.4230/LIPIcs.RTA.2015.i

Accès au texte intégral et bibtex

titre

A Visual Analytics Approach to Compare Propagation Models in Social Networks

auteur

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

article

Arend Rensink; Eduardo Zambon. Graphs as Models, Apr 2015, London, United Kingdom. Electronical Proceedings in Theoretical Computer Science, 181, 2015, 〈http://www.utwente.nl/ewi/gam2015/〉. 〈10.4204/EPTCS.181.5〉

DOI

DOI : 10.4204/EPTCS.181.5

Accès au texte intégral et bibtex

Book sections

titre

Rewriting Strategies and Strategic Rewrite Programs

auteur

Hélène Kirchner

article

Logic, Rewriting, and Concurrency (LRC 2015). Festschrift Symposium in Honor of Jos\'e Meseguer, Urbana, Illinois, USA, September 23-25, 2015,, 2015

Accès au texte intégral et bibtex

2014

Conference papers

titre

Propagation Dynamics in Social Networks Through Rule-Based Modeling

auteur

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

article

1st European Conference on Social Network (EUSN), Jul 2014, Barcelona, Spain

Accès au bibtex

titre

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

auteur

Maribel Fernandez, Hélène Kirchner, Ian Mackie, Bruno Pinaud

article

Arnold Beckmann; Erzsébet Csuhaj-Varjú; Klaus Meer. Computability In Europe, Jun 2014, Budapest, Hungary. Springer International Publishing, Lecture Notes in Computer Science, 8493, pp.183-193, 2014, Language, Life, Limits. 〈10.1007/978-3-319-08019-2_19〉

DOI

DOI : 10.1007/978-3-319-08019-2_19

Accès au bibtex

titre

Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework

auteur

Maribel Fernandez, Hélène Kirchner, Bruno Pinaud

article

Dragan Bošnački; Stefan Edelkamp; Alberto Lluch Lafuente; Anton Wijs. 3rd Workshop on GRAPH Inspection and Traversal Engineering, Apr 2014, Grenoble, France. 159, pp.15--29, 2014, 〈10.4204/EPTCS.159.3〉

DOI

DOI : 10.4204/EPTCS.159.3

Accès au texte intégral et bibtex

Book sections

titre

Equational logic and rewriting

auteur

Claude Kirchner, Hélène Kirchner

article

Dov M. Gabbay; Jörg H. Siekmann; John Woods. Handbook of the History of Logic, 9 (Chap.8), Elsevier, 2014, History of Logic and Computation in the 20th Century, 978-0444516244

Accès au texte intégral et bibtex

2013

Journal articles

titre

Runtime Verification for Biochemical Programs

auteur

Helene Kirchner

article

Electronic Notes in Theoretical Computer Science, Elsevier, 2013, Proceedings of the first workshop on Hybrid Autonomous Systems, 297, pp.27-46. 〈http://authors.elsevier.com/sd/article/S1571066113000832〉. 〈10.1016/j.entcs.2013.12.003〉

DOI

DOI : 10.1016/j.entcs.2013.12.003

Accès au bibtex

Conference papers

titre

A rewriting point of view on strategies

auteur

Helene Kirchner

article

SR - 1st Workshop on Strategic Reasoning, 2013, Rome, Italy. EPTCS, 112, pp.99-105, 2013, 〈10.4204/EPTCS.112.15〉

DOI

DOI : 10.4204/EPTCS.112.15

Accès au texte intégral et bibtex

2011

Journal articles

titre

Proving Weak Properties of Rewriting

auteur

Isabelle Gnaedig, Hélène Kirchner

article

Theoretical Computer Science, Elsevier, 2011, 412, pp.4405-4438. 〈10.1016/j.tcs.2011.04.028〉

DOI

DOI : 10.1016/j.tcs.2011.04.028

Accès au texte intégral et bibtex

Conference papers

titre

A Strategy Language for Graph Rewriting

auteur

Helene Kirchner, Olivier Namet, Maribel Fernandez

article

LOPSTR 2011 - 21st International Symposium on Logic-Based Program Synthesis and Transformation, Jul 2011, Odense, Denmark. Springer, 2012, LNCS

Accès au texte intégral et bibtex

titre

Formal Specification and Validation of Security Policies

auteur

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

article

J. Garcia-Alfaro and P. Lafourcade. FPS - 4th Canada-France MITACS Workshop on Foundations and Practice of Security - 2011, May 2011, Paris, France. Springer, Heidelberg, 6888, pp.148-163, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-27901-0_12〉

DOI

DOI : 10.1007/978-3-642-27901-0_12

Accès au texte intégral et bibtex

titre

Runtime Verification for Biochemical Programs

auteur

Hélène Kirchner, Oana Andrei

article

HAS - First Workshop on Hybrid Autonomous Systems ETAPS 2011, Apr 2011, Saarbrucken, Germany. 2012

Accès au texte intégral et bibtex

titre

PORGY: Strategy-Driven Interactive Transformation of Graphs

auteur

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

article

Rachid Echahed. 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Apr 2011, Saarbrücken, Germany. 48, pp.54-68, 2011, Electronic Proceedings in Theoretical Computer Science (EPTCS). 〈10.4204/EPTCS.48.7〉

DOI

DOI : 10.4204/EPTCS.48.7

Accès au texte intégral et bibtex

2010

Journal articles

titre

Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation

auteur

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

article

Journal of Symbolic Computation, Elsevier, 2010, Automated Deduction: Decidability, Complexity, Tractability, 45 (2), pp.261-286. 〈10.1016/j.jsc.2008.10.006〉

DOI

DOI : 10.1016/j.jsc.2008.10.006

Accès au bibtex

titre

Extensional and Intensional Strategies

auteur

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

article

Electronic Proceedings in Theoretical Computer Science, EPTCS, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. 〈http://arxiv.org/abs/1001.4427〉. 〈10.4204/EPTCS.15.1〉

DOI

DOI : 10.4204/EPTCS.15.1

Accès au bibtex

Conference papers

titre

Rule-based Specification and Analysis of Security Policies

auteur

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

article

5th International Workshop on Security and Rewriting Techniques - SecReT 2010, Jun 2010, Valencia, Spain. 2010

Accès au bibtex

titre

On Formal Specification and Analysis of Security Policies

auteur

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

article

2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany. 2010

Accès au texte intégral et bibtex

2009

Journal articles

titre

Analysis of Rewrite-Based Access Control Policies

auteur

Claude Kirchner, Helene Kirchner, Anderson Santana de Oliveira

article

Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008), Pittsburgh, PA, USA, 22 June 2008, 234, pp.55-75. 〈10.1016/j.entcs.2009.02.072〉

DOI

DOI : 10.1016/j.entcs.2009.02.072

Accès au bibtex

titre

Inductive Proof Search Modulo

auteur

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

article

Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2009, Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt, 55 (1), pp.123-154. 〈10.1007/s10472-009-9154-5〉

DOI

DOI : 10.1007/s10472-009-9154-5

Accès au texte intégral et bibtex

titre

Termination of Rewriting under Strategies

auteur

Isabelle Gnaedig, Hélène Kirchner

article

ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (2), pp.1-52. 〈10.1145/1462179.1462182〉

DOI

DOI : 10.1145/1462179.1462182

Accès au texte intégral et bibtex

Conference papers

titre

Component-based Security Policy Design with Colored Petri Nets

auteur

Helene Kirchner, Hejiao Huang

article

Jens Palsbberg. Semantics and Algebraic Specification, Sep 2009, Udine, Italy. Springer, 5700, pp.21-42, 2009, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/u406751h7v30/〉

Accès au bibtex

titre

Policy Composition based on Petri Nets

auteur

Hejiao Huang, Helene Kirchner

article

33rd Annual IEEE International Computer Software and Applications Conference COMPSAC2009, Jul 2009, Seattle, United States. IEEE Computer Society Press, pp.416--421, 2009, Proceedings of 33rd Annual IEEE International Computer Software and Applications Conference. 〈10.1109/COMPSAC.2009.169〉

DOI

DOI : 10.1109/COMPSAC.2009.169

Accès au bibtex

titre

Constraint Based Strategies

auteur

Helene Kirchner, Kirchner Florent, Claude Kirchner

article

Santiago Escobar. 18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. Springer Berlin / Heidelberg, 5979, pp.13-26, 2010, Lecture Notes in Computer Science

Accès au bibtex

titre

A Port Graph Calculus for Autonomic Computing and Invariant Verification

auteur

Oana Andrei, Helene Kirchner

article

A. Corradini. TERMGRAPH 2009, 5th International Workshop on Computing with Terms and Graphs, Satellite Event of ETAPS 2009, Mar 2009, York, United Kingdom. To appear in Electronic Notes in Theoretical Computer Science, Elsevier., 2009

Accès au texte intégral et bibtex

2008

Conference papers

titre

A Higher-Order Graph Calculus for Autonomic Computing

auteur

Oana Andrei, Hélène Kirchner

article

Graph Theory, Computational Intelligence and Thought. A Conference Celebrating Martin Charles Golumbic's 60th Birthday, Sep 2008, Haifa, Israel. 2008

Accès au texte intégral et bibtex

titre

A Biochemical Calculus Based on Strategic Graph Rewriting

auteur

Oana Andrei, Hélène Kirchner

article

The Third International Conference on Algebraic Biology - AB'08, Jul 2008, Hagenberg, Austria. 2008

Accès au texte intégral et bibtex

titre

Analysis of Rewrite-Based Access Control Policies

auteur

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

article

3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States. 2008

Accès au bibtex

titre

Strategic Port Graph Rewriting for Autonomic Computing

auteur

Oana Andrei, Hélène Kirchner

article

The Fourth Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan. 2008

Accès au texte intégral et bibtex

2007

Journal articles

titre

Handling Inheritance Violation for Secure Interoperation of Heterogeneous Systems

auteur

Hejiao Huang, Helene Kirchner, Songyun Liu, Weili Wu

article

International Journal of Security and Networks, Inderscience, 2007, 4 (4), pp.223-233

Accès au bibtex

Conference papers

titre

Weaving Rewrite-Based Access Control Policies

auteur

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

article

Heiko Mantel, Virgil Gligor. The 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, Nov 2007, Alexandria, United States. 2007

Accès au bibtex

titre

Graph Rewriting and Strategies for Modeling Biochemical Networks

auteur

Oana Andrei, Hélène Kirchner

article

International Workshop on Natural Computing and Applications - NCA 2007, Sep 2007, Timisoara, Romania. IEEE Computer Society, 2007

Accès au texte intégral et bibtex

titre

Modular Access Control via Strategic Rewriting

auteur

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

article

Joachim Biskup, Javier Lopez. 12th European Symposium On Research In Computer Security - ESORICS 2007, Sep 2007, Dresden, Germany. Springer Berlin / Heidelberg, 4734, pp.578-593, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-74835-9_38〉

DOI

DOI : 10.1007/978-3-540-74835-9_38

Accès au bibtex

titre

Inductive Proof Search Modulo

auteur

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

article

Silvio Ranise. 6th International Workshop on First-Order Theorem Proving - FTP 2007, Sep 2007, Liverpool, United Kingdom. Technical report ULCS-07-018 Department of Computer Science University of Liverpool, pp.4-19, 2007, Proceedings of the 6th International Workshop on First-Order Theorem Proving FTP 2007

Accès au texte intégral et bibtex

titre

A Rewriting Calculus for Multigraphs with Ports

auteur

Oana Andrei, Hélène Kirchner

article

The Eighth International Workshop on Rule-Based Programming (RULE 2007), Jun 2007, Paris, France. ENTCS, pp.20, 2007

Accès au texte intégral et bibtex

titre

Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations

auteur

Isabelle Gnaedig, Hélène Kirchner

article

Hubert Comon and Claude Kirchner and Hélène Kirchner. Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday, Jun 2007, Paris, France. Springer, 4600, pp.44-67, 2007, Lecture Notes in Computer Science

Accès au bibtex

2005

Conference papers

titre

Termination of rewriting strategies: a generic approach

auteur

Isabelle Gnaedig, Hélène Kirchner

article

M. Hofmann, H.-W. Loidl. Proceedings of the third Workshop on Applied Semantics APPSEM'05, Sep 2005, Chiemsee, Germany. 2005

Accès au texte intégral et bibtex

2004

Conference papers

titre

A proof of weak termination providing the right way to terminate

auteur

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

article

First International Colloquium on Theoretical Aspects of Computing, 2004, Guiyang, Chine, France. Springer Verlag, 15 p, 2004, Lecture notes in Computer Science. 〈10.1007/978-3-540-31862-0〉

DOI

DOI : 10.1007/978-3-540-31862-0

Accès au texte intégral et bibtex

2003

Journal articles

titre

Outermost ground termination

auteur

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

article

Electronic Notes in Theoretical Computer Science, Elsevier, 2003, 71, 20 p

Accès au bibtex

Conference papers

titre

Simplification and Termination of Strategies in Rule-Based Languages

auteur

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

article

Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming - PPDP'2003, Aug 2003, Uppsala, Sweden, pp.124-135, 2003

Accès au bibtex

titre

Proof Search and Proof Check for Equational and Inductive Theorems

auteur

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

article

Conference on Automated Deduction - CADE-19, Jul 2003, Miami, USA, 20 p, 2003

Accès au bibtex

titre

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

auteur

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

article

Robert Nieuwenhuis. 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, 2706, pp.30-45, 2003, Lecture Notes in Computer Science

Accès au bibtex

titre

Automated Generation of Kinetic Chemical Mechanisms Using Rewriting

auteur

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

article

Peter M.A. Sloot, David Abramson, Alexander V. Bogdanov. International Conference on Computational Science - ICCS 2003, Jun 2003, Melbourne, Australie, Springer Verlag, 2659, pp.367-376, 2003, Lecture Notes in Computer Science

Accès au bibtex

titre

CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction

auteur

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

article

6th International Workshop on Termination 2003 - WST'03, 2003, Valencia, Spain, pp.77-79, 2003

Accès au texte intégral et bibtex

titre

The QSL platform at LORIA

auteur

Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz

article

First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p, 2003

Accès au texte intégral et bibtex

2002

Conference papers

titre

CARIBOO: An Induction Based Proof Tool for Termination with Strategies

auteur

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

article

Frank Pfennig. Fourth International Conference on Principles and Practice of Declarative Programming - PPDP'02, Oct 2002, Pittsburgh, USA, ACM Press, 12 p, 2002

Accès au texte intégral et bibtex

titre

An algebraic semantics for objects in a rule-based language

auteur

Hubert Dubois, Hélène Kirchner

article

16th International Workshop on Algebraic Development Techniques - WADT'2002, Sep 2002, Frauenchiemsee, Germany, 3 p, 2002

Accès au texte intégral et bibtex

titre

Algebraic Methodology And Software Technology

auteur

Hélène Kirchner, Christophe Ringeissen

article

Hélène Kirchner and Christophe Ringeissen. 9th International Conference on Algebraic Methodology And Software Technology - AMAST'2002, Sep 2002, Saint-Gilles-les-Bains, Reunion Island, France, Springer-Verlag, 2422, XI-501 p, 2002, Lecture Notes in Computer Science

Accès au bibtex

titre

Object Programming in a Rule-Based Language with Strategies

auteur

Hubert Dubois, Hélène Kirchner

article

Workshop on Multiparadigm Programming with OO Languages - ECOOP'02, Jun 2002, Malaga, Spain, 25 p, 2002

Accès au texte intégral et bibtex

titre

Outermost ground termination

auteur

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

article

4th International Workshop on Rewriting Logic and its Applications - WRLA' 02, 2002, Pisa, Italy, 16 p, 2002

Accès au bibtex

2001

Conference papers

titre

Prototyping and verfication with rules and strategies

auteur

Hélène Kirchner

article

Cyber Assist International Symposium, 2001, Tokyo, Japan, 2001

Accès au bibtex

2000

Conference papers

titre

Algebraic Specifications, Higher-Order Types and Set-Theoretic Models

auteur

Hélène Kirchner

article

Winter Workshop in Logics, Types & Rewriting, Feb 2000, Edinburgh, UK, 2000

Accès au bibtex

titre

Objects, rules and strategies in ELAN

auteur

Hubert Dubois, Hélène Kirchner

article

2nd AMAST Workshop on Algebraic Methods in Language Processing - AMILP'2000, 2000, Iowa City, Iowa, USA, 19 p, 2000

Accès au texte intégral et bibtex

titre

Termination and normalisation under strategies--Proofs in ELAN

auteur

Hélène Kirchner, Isabelle Gnaedig

article

K.Futatsugi. 3rd International Workshop on Rewriting Logic & Applications - WRLA'2000, 2000, Kanazawa, Japan, 36, pp.93--115, 2000, Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

titre

Frontiers of Combining Systems

auteur

Hélène Kirchner, Christophe Ringeissen

article

Third International Workshop - FroCoS'2000, 2000, Nancy, France, Springer-Verlag, 1794, 290 p, 2000, Lecture Notes in Artificial Intelligence

Accès au bibtex