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
-
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 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
- 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
-
- 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
-
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 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, Springer Verlag, 15 p, 2004, Lecture notes in Computer Science
- Accès au 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
- 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
- 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
- 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
- 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
-
- 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
-