2019
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), 2019, 29 (5), pp.615--662. ⟨10.1017/S0960129518000270⟩
- DOI
- DOI : 10.1017/S0960129518000270
- 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, 1945, ⟨Springer⟩, pp 43-70, 2019, Methods in Molecular Biology, 978-1-4939-9100-6. ⟨10.1007/978-1-4939-9102-0_3⟩
- DOI
- DOI : 10.1007/978-1-4939-9102-0_3
- Accès au texte intégral et bibtex
-
2018
Journal articles
- 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
-
Conference papers
- titre
- Labelled Port Graph – A Formal Structure for Models and Computations
- auteur
- Maribel Fernández, Hélène Kirchner, Bruno Pinaud
- article
- The 12th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2017), Sep 2017, Brasília, Brazil. pp.3 - 21, ⟨10.1016/j.entcs.2018.10.002⟩
- DOI
- DOI : 10.1016/j.entcs.2018.10.002
- 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
- Rewriting Logic and Its Applications, WRLA 2016, Apr 2016, Eindhoven, Netherlands. pp.1--25, ⟨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
- International Conference on Rewriting, Deduction, and Programming, Jun 2015, Warsaw, Poland. ⟨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
- Graphs as Models, Apr 2015, London, United Kingdom. ⟨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
- Computability In Europe, Jun 2014, Budapest, Hungary. pp.183-193, ⟨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
- 3rd Workshop on GRAPH Inspection and Traversal Engineering, Apr 2014, Grenoble, France. pp.15--29, ⟨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. ⟨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. pp.99-105, ⟨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
- 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
- FPS - 4th Canada-France MITACS Workshop on Foundations and Practice of Security - 2011, May 2011, Paris, France. pp.148-163, ⟨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
- 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
- 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Apr 2011, Saarbrücken, Germany. pp.54-68, ⟨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. ⟨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
- 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
- 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
- Semantics and Algebraic Specification, Marina Lenisa, Sep 2009, Udine, Italy. pp.21-42
- 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. pp.416--421, ⟨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
- 18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. pp.13-26
- Accès au bibtex
-
- titre
- A Port Graph Calculus for Autonomic Computing and Invariant Verification
- auteur
- Oana Andrei, Helene Kirchner
- article
- TERMGRAPH 2009, 5th International Workshop on Computing with Terms and Graphs, Satellite Event of ETAPS 2009, A. Corradini, Mar 2009, York, United Kingdom
- 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
- 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
- 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
- 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
- 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
- The 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, ACM, Nov 2007, Alexandria, United States
- 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
- 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
- 12th European Symposium On Research In Computer Security - ESORICS 2007, Sep 2007, Dresden, Germany. pp.578-593, ⟨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
- 6th International Workshop on First-Order Theorem Proving - FTP 2007, Sep 2007, Liverpool, United Kingdom. pp.4-19
- 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. pp.20
- 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
- Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday, Jun 2007, Paris, France. pp.44-67
- Accès au bibtex
-
2005
Conference papers
- titre
- Termination of rewriting strategies: a generic approach
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- Proceedings of the third Workshop on Applied Semantics APPSEM'05, APPSEM II & Ludwig Maximilians Universität München, Sep 2005, Chiemsee, Germany
- 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. 15 p, ⟨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
- 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
- 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
- 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.30-45
- 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
- International Conference on Computational Science - ICCS 2003, Jun 2003, Melbourne, Australie, pp.367-376
- Accès au 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
- Accès au texte intégral et 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, Albert Rubio, 2003, Valencia, Spain, pp.77-79
- 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
- Fourth International Conference on Principles and Practice of Declarative Programming - PPDP'02, Oct 2002, Pittsburgh, USA, 12 p
- 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
- Accès au texte intégral et bibtex
-
- titre
- Algebraic Methodology And Software Technology
- auteur
- Hélène Kirchner, Christophe Ringeissen
- article
- 9th International Conference on Algebraic Methodology And Software Technology - AMAST'2002, Sep 2002, Saint-Gilles-les-Bains, Reunion Island, France, XI-501 p
- 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
- 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
- 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
- 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
- Accès au bibtex
-
- titre
- Termination and normalisation under strategies--Proofs in ELAN
- auteur
- Hélène Kirchner, Isabelle Gnaedig
- article
- 3rd International Workshop on Rewriting Logic & Applications - WRLA'2000, 2000, Kanazawa, Japan, pp.93--115
- 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, Hélène Kirchner, Christophe Ringeissen, 2000, Nancy, France, 290 p
- 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
- Accès au texte intégral et bibtex
-