Nombre de documents

128

CV de Helene Kirchner


Rapport38 documents

  • Hélène Kirchner. Rewriting Strategies and Strategic Rewrite Programs (Updated version). [Research Report] Inria. 2016. <hal-01254205>
  • Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet. Labelled Graph Strategic Rewriting for Social Networks. [Research Report] Université de bordeaux; Inria; King's College London. 2016. <hal-01429893>
  • Oana Andrei, Maribel Fernández, Hélène Kirchner, Bruno Pinaud. Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with Porgy. [Research Report] Université de bordeaux; Inria; King's College London; University of Glasgow. 2016. <hal-01429890>
  • Maribel Fernández, Héìène Kirchner, Bruno Pinaud. Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. [Research Report] Inria. 2016. <hal-01251871>
  • Valérie Issarny, Tania Castro, Helene Kirchner, Christine Morin. Inria@SiliconValley Activity Report 2011-2014. [Other] Inria. 2015. <hal-01199428>
  • Clément Hurlin, Helene Kirchner. Semi-Automatic Synthesis of Security Policies by Invariant-Guided Abduction - Full version. [Research Report] 2010, pp.19. <inria-00507754>
  • Isabelle Gnaedig, Hélène Kirchner. Proving weak properties of rewriting. [Research Report] 2009, pp.50. <inria-00338181>
  • Isabelle Gnaedig, Hélène Kirchner. Modeling reducibility on ground terms using constraints. [Research Report] 2009, pp.9. <inria-00387058>
  • Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner. Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation. [Research Report] RR-6688, INRIA. 2008, pp.34. <inria-00331479>
  • Isabelle Gnaedig, Hélène Kirchner. Computing Constructor Forms with Non Terminating Rewrite Programs - Extended version -. [Research Report] 2006, pp.17. <inria-00113146>
  • Isabelle Gnaedig, Hélène Kirchner. Termination of rewriting under strategies: a generic approach. [Research Report] 2006. <inria-00113156>
  • Isabelle Gnaedig, Hélène Kirchner. Termination of rewriting strategies: a generic approach. [Research Report] 2005, pp.49. <inria-00000178>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Proving weak termination also provides the right way to terminate - Extended version -. [Intern report] A04-R-522 || fissore04b, 2004, 54 p. <inria-00099872>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Termination of ELAN strategies by simplification - Extended version -. [Intern report] A03-R-360 || fissore03b, 2003, 47 p. <inria-00107743>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Proving weak termination also provides the right way to terminate - extended version -. [Intern report] A03-R-361 || fissore03c, 2003, 34 p. <inria-00107744>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Proving weak termination also provides the right way to terminate. [Intern report] A03-R-413 || fissore03d, 2003, 23 p. <inria-00099776>
  • Liliana Ibanescu, Olivier Bournez, Hélène Kirchner, Guy-Marie Côme, Gérard Scacchi, et al.. Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 4. [Contrat] A03-R-540 || ibanescu03a, 2003, 20 p. <inria-00099759>
  • Liliana Ibanescu, Hélène Kirchner, Olivier Bournez, Guy-Marie Côme, Gérard Scacchi, et al.. Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 5. [Contrat] A03-R-541 || ibanescu03b, 2003, 42 p. <inria-00099760>
  • Isabelle Gnaedig, Hélène Kirchner. Innermost sufficient completeness. [Intern report] A03-R-131 || gnaedig03a, 2003, 22 p. <inria-00099765>
  • Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner. External rewriting for skeptical proof assistants (extended version). [Intern report] A02-R-099 || nguyen02a, 2002, 45 p. <inria-00101055>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Outermost ground termination - Extended version. [Intern report] A02-R-493 || fissore02d, 2002, 38 p. <inria-00101079>
  • Isabelle Gnaedig, Olivier Fissore, Hélène Kirchner. Induction for weak termination. [Intern report] A02-R-111 || gnaedig02a, 2002, 23 p. <inria-00101056>
  • Liliana Ibanescu, Olivier Bournez, Hélène Kirchner, Guy-Marie Côme, Valérie Conraud. Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 2. [Contrat] A02-R-559 || ibanescu02a, 2002, 26 p. <inria-00101047>
  • Liliana Ibanescu, Olivier Bournez, Hélène Kirchner, Guy-Marie Côme, Gérard Scacchi, et al.. Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 3. [Contrat] A02-R-560 || ibanescu02b, 2002, 26 p. <inria-00101048>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Extended version--. [Intern report] A02-R-077 || fissore02b, 2002. <inria-00099426>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Induction for termination with local strategies - Extended version -. [Intern report] A01-R-177 || fissore01b, 2001, 29 p. <inria-00107541>
  • Liliana Ibanescu, Olivier Bournez, Hélène Kirchner, Guy-Marie Côme, Valérie Conraud. Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 1. [Contrat] A01-R-457 || ibanescu01a, 2001, 32 p. <inria-00100688>
  • Isabelle Gnaedig, Hélène Kirchner, Olivier Fissore. Induction for innermost and outermost ground termination. [Intern report] A01-R-178 || gnaedig01a, 2001, 38 p. <inria-00100696>
  • Isabelle Gnaedig, Hélène Kirchner, Olivier Fissore. Induction for termination. [Intern report] A00-R-357 || gnaedig00a, 2000, 22 p. <inria-00099315>
  • Hubert Dubois, Hélène Kirchner. Rules, strategies and objects in ELAN. [Intern report] A00-R-245 || dubois00c, 2000, 39 p. <inria-00099055>
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from the rewriting logic point of view. [Intern report] 99-R-284 || borovansky99b, 1999, 39 p. <inria-00107841>
  • Hubert Dubois, Hélène Kirchner. Modelling Planning Problems with Rules & Strategies. [Intern report] 99-R-029 || dubois99a, 1999, 16 p. <inria-00098790>
  • Isabelle Gnaedig, Hélène Kirchner, Thomas Genet. Induction for Termination. [Intern report] 99-R-338 || gnaedig99a, 1999, 21 p. <inria-00098943>
  • Hélène Kirchner, Christophe Ringeissen. Executing CASL Equational Specifications with the ELAN Rewrite Engine. [Intern report] 99-R-278 || kirchner99e, 1999, 15 p. <inria-00098937>
  • Claus Hintermeier, Hélène Kirchner, Claude Kirchner. Dynamically-typed computations for order-sorted equational presentations. [Research Report] RR-2208, INRIA. 1994, pp.114. <inria-00074463>
  • Hélène Kirchner, Claude Kirchner. Proofs in parameterized specifications. [Research Report] RR-1424, INRIA. 1991. <inria-00075136>
  • Claude Kirchner, Hélène Kirchner, Michaël Rusinowitch. Deduction with symbolic constraints. [Research Report] RR-1358, INRIA. 1990, pp.46. <inria-00077103>
  • Hélène Kirchner. Shematization of infinite sets of rewrite rules. Applications to the divergence of completion processes. [Research Report] RR-0680, INRIA. 1987. <inria-00075873>

Communication dans un congrès59 documents

  • Jason Vallet, Hélène Kirchner, Bruno Pinaud, Guy Melançon. A Visual Analytics Approach to Compare Propagation Models in Social Networks. 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>. <hal-01150667>
  • Hélène Kirchner. Port Graphs, Rules and Strategies for Dynamic Data Analytics -Extended Abstract. Maribel Fern\'andez. 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 >. <hal-01183812>
  • Maribel Fernandez, Hélène Kirchner, Ian Mackie, Bruno Pinaud. Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings. 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>. <hal-00984284>
  • Jason Vallet, Bruno Pinaud, Guy Melançon, Hélène Kirchner. Propagation Dynamics in Social Networks Through Rule-Based Modeling. 1st European Conference on Social Network (EUSN), Jul 2014, Barcelona, Spain. <hal-01073628>
  • Maribel Fernandez, Hélène Kirchner, Bruno Pinaud. Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. 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>. <hal-00954546v3>
  • Helene Kirchner. A rewriting point of view on strategies. SR - 1st Workshop on Strategic Reasoning, 2013, Rome, Italy. EPTCS, 112, pp.99-105, 2013, <10.4204/EPTCS.112.15>. <hal-00986699>
  • Oana Andrei, Maribel Fernandez, Hélène Kirchner, Guy Melançon, Olivier Namet, et al.. PORGY: Strategy-Driven Interactive Transformation of Graphs. 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>. <inria-00563249>
  • Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner. Formal Specification and Validation of Security Policies. 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>. <inria-00507300v2>
  • Helene Kirchner, Olivier Namet, Maribel Fernandez. A Strategy Language for Graph Rewriting. LOPSTR 2011 - 21st International Symposium on Logic-Based Program Synthesis and Transformation, Jul 2011, Odense, Denmark. Springer, 2012, LNCS. <hal-00684244>
  • Hélène Kirchner, Oana Andrei. Runtime Verification for Biochemical Programs. HAS - First Workshop on Hybrid Autonomous Systems ETAPS 2011, Apr 2011, Saarbrucken, Germany. 2012. <hal-00684245>
  • Oana Andrei, Helene Kirchner. A Port Graph Calculus for Autonomic Computing and Invariant Verification. 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. <inria-00418560>
  • Helene Kirchner, Hejiao Huang. Component-based Security Policy Design with Colored Petri Nets. Jens Palsbberg. Semantics and Algebraic Specification, Sep 2009, Udine, Italy. Springer, 5700, pp.21-42, 2009, Lecture Notes in Computer Science; Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. <http://www.springerlink.com/content/u406751h7v30/>. <inria-00433372>
  • Hejiao Huang, Helene Kirchner. Policy Composition based on Petri Nets. 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>. <inria-00433398>
  • Helene Kirchner, Kirchner Florent, Claude Kirchner. Constraint Based Strategies. 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; Functional and Constraint Logic Programming. <inria-00494531>
  • Anderson Santana de Oliveira, Claude Kirchner, Hélène Kirchner. Analysis of Rewrite-Based Access Control Policies. 3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States. 2008. <inria-00335088>
  • Oana Andrei, Hélène Kirchner. A Higher-Order Graph Calculus for Autonomic Computing. Graph Theory, Computational Intelligence and Thought. A Conference Celebrating Martin Charles Golumbic's 60th Birthday, Sep 2008, Haifa, Israel. 2008. <inria-00328554v2>
  • Oana Andrei, Hélène Kirchner. A Biochemical Calculus Based on Strategic Graph Rewriting. The Third International Conference on Algebraic Biology - AB'08, Jul 2008, Hagenberg, Austria. 2008. <inria-00328536>
  • Oana Andrei, Hélène Kirchner. Strategic Port Graph Rewriting for Autonomic Computing. The Fourth Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan. 2008. <inria-00328491>
  • Isabelle Gnaedig, Hélène Kirchner. Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations. 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. <inria-00182434>
  • Oana Andrei, Hélène Kirchner. A Rewriting Calculus for Multigraphs with Ports. The Eighth International Workshop on Rule-Based Programming (RULE 2007), Jun 2007, Paris, France. ENTCS, pp.20, 2007. <inria-00139363v2>
  • Oana Andrei, Hélène Kirchner. Graph Rewriting and Strategies for Modeling Biochemical Networks. International Workshop on Natural Computing and Applications - NCA 2007, Sep 2007, Timisoara, Romania. IEEE Computer Society, 2007. <inria-00146362v3>
  • Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner. Weaving Rewrite-Based Access Control Policies. Heiko Mantel, Virgil Gligor. The 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, Nov 2007, Alexandria, United States. 2007. <inria-00185710>
  • Fabrice Nahon, Claude Kirchner, Hélène Kirchner. Inductive Proof Search Modulo. 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. <inria-00187458>
  • Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira. Modular Access Control via Strategic Rewriting. 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; Computer Security - ESORICS 2007 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24 - 26, 2007. Proceedings. <10.1007/978-3-540-74835-9_38>. <inria-00185697>
  • Isabelle Gnaedig, Hélène Kirchner. Computing Constructor Forms with Non Terminating Rewrite Programs. Symposium on Principles and Practice of Declarative Programming - PPDP'06, Jul 2006, Venise/Italie, ACM, Proceedings of the Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarat, 2006. <inria-00112083>
  • Oana Andrei, Liliana Ibanescu, Hélène Kirchner. Non-intrusive formal methods and strategic rewriting for a chemical application. Kokichi Futatsugi and Jean-Pierre Jouannaud and José Meseguer. Algebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego, USA, Springer Verlag, 4060, pp.194-215, 2006, Lecture Notes in Computer Science; Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. <10.1007/11780274>. <inria-00115521>
  • Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. Building and Combining Satisfiability Procedures for Software Verification. Samuel Cruz-Lara, Yih-Kuen Tsay. Third Taiwanese-French Conference on Information Technology (TFIT), Mar 2006, Nancy, France, pp.125--139, 2006. <inria-00117390>
  • Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. Automatic Combinability of Rewriting-Based Satisfiability Procedures. Miki Hermann, Andrei Voronkov. 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR 2006, Nov 2006, Phnom Penh/Cambodia, Springer, 4246, pp.542--556, 2006, Lecture Notes in Artificial Intelligence; Logic for Programming, Artificial Intelligence, and Reasoning. <10.1007/11916277>. <inria-00117261>
  • Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira. Anchoring modularity in HTML.. 1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05, Mar 2005, Valencia/Spain, pp.139-151, 2005. <inria-00000750>
  • Olivier Bournez, Liliana Ibanescu, Hélène Kirchner. From Chemical Rules to Term Rewriting. 6th International Workshop on Rule-Based - RULE'05, Apr 2005, Nara/Japan, 2005. <inria-00000521>
  • Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran. On Superposition-Based Satisfiability Procedures and their Combination. Dang Van Hung and Martin Wirsing. 2nd International Colloquium on Theoretical Aspects of Computing - ICTAC'05, Oct 2005, Hanoi/Vietnam, Springer Verlag, 3722 (3722), pp.594--608, 2005, Lecture Notes in Computer Science. <10.1007/11560647>. <inria-00000586>
  • Isabelle Gnaedig, Hélène Kirchner. Termination of rewriting strategies: a generic approach. M. Hofmann, H.-W. Loidl. Proceedings of the third Workshop on Applied Semantics APPSEM'05, Sep 2005, Chiemsee, Germany. 2005. <inria-00172897>
  • Claude Kirchner, Hélène Kirchner. Rule-based programming and proving: the ELAN experience outcomes. Ninth Asian Computing Science Conference - ASIAN'04, 2004, Chiang Mai, Thailand, 17 p, 2004. <inria-00107801>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. A proof of weak termination providing the right way to terminate. First International Colloquium on Theoretical Aspects of Computing, 2004, Guiyang, Chine, Springer Verlag, 15 p, 2004, Lecture notes in Computer Science. <inria-00100120>
  • Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang-Huy Nguyen. Proof Search and Proof Check for Equational and Inductive Theorems. Conference on Automated Deduction - CADE-19, Jul 2003, Miami, USA, 20 p, 2003. <inria-00099470>
  • Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Mariana-Liliana Ibanescu. Automated Generation of Kinetic Chemical Mechanisms Using Rewriting. 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. <inria-00099622>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Simplification and Termination of Strategies in Rule-Based Languages. Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming - PPDP'2003, Aug 2003, Uppsala, Sweden, pp.124-135, 2003. <inria-00099655>
  • Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Mariana-Liliana Ibanescu. A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms. 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. <inria-00099621>
  • Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz. The QSL platform at LORIA. First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p, 2003. <inria-00099497>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction. 6th International Workshop on Termination 2003 - WST'03, 2003, Valencia, Spain, pp.77-79, 2003. <inria-00099467>
  • Hubert Dubois, Hélène Kirchner. An algebraic semantics for objects in a rule-based language. 16th International Workshop on Algebraic Development Techniques - WADT'2002, Sep 2002, Frauenchiemsee, Germany, 3 p, 2002. <inria-00107616>
  • Hubert Dubois, Hélène Kirchner. Object Programming in a Rule-Based Language with Strategies. Workshop on Multiparadigm Programming with OO Languages - ECOOP'02, Jun 2002, Malaga, Spain, 25 p, 2002. <inria-00107615>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. CARIBOO: An Induction Based Proof Tool for Termination with Strategies. Frank Pfennig. Fourth International Conference on Principles and Practice of Declarative Programming - PPDP'02, Oct 2002, Pittsburgh, USA, ACM Press, 12 p, 2002. <inria-00107557>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Outermost ground termination. 4th International Workshop on Rewriting Logic and its Applications - WRLA' 02, 2002, Pisa, Italy, 16 p, 2002. <inria-00100755>
  • Hélène Kirchner, Christophe Ringeissen. Algebraic Methodology And Software Technology. 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. <inria-00100866>
  • Hélène Kirchner. Prototyping and verfication with rules and strategies. Cyber Assist International Symposium, 2001, Tokyo, Japan, 2001. <inria-00100678>
  • Hélène Kirchner, Christophe Ringeissen. Frontiers of Combining Systems. Third International Workshop - FroCoS'2000, 2000, Nancy, France, Springer-Verlag, 1794, 290 p, 2000, Lecture Notes in Artificial Intelligence. <inria-00099093>
  • Hubert Dubois, Hélène Kirchner. Objects, rules and strategies in ELAN. 2nd AMAST Workshop on Algebraic Methods in Language Processing - AMILP'2000, 2000, Iowa City, Iowa, USA, 19 p, 2000. <inria-00099054>
  • Hélène Kirchner, Isabelle Gnaedig. Termination and normalisation under strategies--Proofs in ELAN. 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. <inria-00099059>
  • Hélène Kirchner. Algebraic Specifications, Higher-Order Types and Set-Theoretic Models. Winter Workshop in Logics, Types & Rewriting, Feb 2000, Edinburgh, UK, 2000. <inria-00099291>
  • Hubert Dubois, Hélène Kirchner. Rule Based Programming with Constraints & Strategies. Workshop of the ERCIM Working Group on Constraints, 1999, Paphos, Chypre, 13 p, 1999. <inria-00098755>
  • Hélène Kirchner, Peter D. Mosses. Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. A.M. Haeberer. 7th International Conference on Algebraic Methodology & Software Technology - AMAST'98, Jan 1999, Amazonia, Brazil, Springer, 1548, pp.373--388, 1999, Lecture Notes in Computer Science. <inria-00098981>
  • Hélène Kirchner. ELAN. F.Fages. Journées Francophones de Programmation Logique et programmation par Contraintes - JFPLC'99, 1999, Lyon, France, HERMES Science Publications, pp.241--248, 1999. <inria-00098996>
  • Pierre-Etienne Moreau, Hélène Kirchner. A Compiler for Rewrite Programs in Associative-Commutative Theories. ALP/PLILP: Principles of Declarative Programming, 1998, Pisa, Italy, 1490, pp.230-249, 1998, Lecture Notes in Computer Science. <inria-00098451>
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen. An Overview of ELAN. Kirchner, Claude & Kirchner, Hélène. Second Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, Elsevier Science B. V., 15, 16 p, 1998, Electronic Notes in Theoretical Computer Science. <inria-00098518>
  • Hélène Kirchner, Pierre-Etienne Moreau. Non-deterministic computations in ELAN. Recent Developments in Algebraic Development Techniques. 13th International Workshop - WADT'98, 1998, Lisbone, 15 p, 1998. <inria-00098483>
  • Hubert Dubois, Hélène Kirchner. Actions & Plans in ELAN. Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, 1998, Lindau, Germany, pp.35-45, 1998. <inria-00098714>
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner. Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language. Second International Workshop on the Theory and Practice of Algebraic Specifications, 1998, Amsterdam, N.L., Springer Verlag, 10 p, 1998, Electronic Workshops in Computing, eWiC web site: http://ewic.springer.co.uk/. <inria-00098626>
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner. A functional view of rewriting and strategies for a semantics of ELAN. The Third Fuji International Symposium on Functional and Logic Programming, 1998, Kyoto (Japan), World Scientific, pp.143-167, 1998. <inria-00098628>

Article dans une revue20 documents

  • Helene Kirchner. Runtime Verification for Biochemical Programs. 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>. <hal-00986676>
  • Isabelle Gnaedig, Hélène Kirchner. Proving Weak Properties of Rewriting. Theoretical Computer Science, Elsevier, 2011, 412, pp.4405-4438. <10.1016/j.tcs.2011.04.028>. <inria-00592271>
  • Tony Bourdier, Horatiu Cirstea, Daniel Dougherty, Hélène Kirchner. Extensional and Intensional Strategies. 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>. <inria-00494636>
  • Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner. Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation. Journal of Symbolic Computation, Elsevier, 2010, Automated Deduction: Decidability, Complexity, Tractability, 45 (2), pp.261-286. <10.1016/j.jsc.2008.10.006>. <inria-00428583>
  • Claude Kirchner, Helene Kirchner, Anderson Santana de Oliveira. Analysis of Rewrite-Based Access Control Policies. 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>. <inria-00433409>
  • Isabelle Gnaedig, Hélène Kirchner. Termination of Rewriting under Strategies. ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (2), pp.1-52. <10.1145/1462179.1462182>. <inria-00182432>
  • Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner. Inductive Proof Search Modulo. 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>. <inria-00337380>
  • Hélène Kirchner, Claude Kirchner, Isabelle De Lamberterie. Sécurité informatique : peut-on se fier au numérique ? par Hélène Kirchner et Claude Kirchner. Le sens des mots, entretien avec Isabelle de Lamberterie, propos recueillis par Dominique Chouchan.. Les Cahiers de l'INRIA - La Recherche, INRIA, 2008, Les nouveaux défis de la cryptologie. <inria-00546796>
  • Hejiao Huang, Helene Kirchner, Songyun Liu, Weili Wu. Handling Inheritance Violation for Secure Interoperation of Heterogeneous Systems. International Journal of Security and Networks, Inderscience, 2007, 4 (4), pp.223-233. <inria-00433391>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Outermost ground termination. Electronic Notes in Theoretical Computer Science, Elsevier, 2003, 71, 20 p. <inria-00099654>
  • Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner. External rewriting for skeptical proof assistants. Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.309-336. <inria-00101009>
  • Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, et al.. CASL: The Common Algebraic Specification Language. Theoretical Computer Science, Elsevier, 2002, 286 (2), pp.153-196. <inria-00101008>
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from a rewriting logic point of view. Theoretical Computer Science, Elsevier, 2002, 285 (2), pp.155-185. <inria-00100974>
  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Induction for termination with local strategies. Electronic Notes in Theoretical Computer Science, Elsevier, 2001, 58 (2), 34 p. <inria-00100418>
  • Hélène Kirchner, Peter D. Mosses. Algebraic Specifications, Higher-order Types and Set-theoretic Models. Journal of Logic and Computation, Oxford University Press (OUP), 2001, 11 (3), pp.453-481. <inria-00100685>
  • Hélène Kirchner, Pierre-Etienne Moreau. Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories. Journal of Functional Programming, Cambridge University Press (CUP), 2001, 11 (3), pp.207-251. <inria-00100926>
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen. Rewriting with strategies in ELAN: a functional semantics. International Journal of Foundations of Computer Science, World Scientific Publishing, 2001, 12 (1), pp.69--95. <inria-00100655>
  • Hélène Kirchner. Combining assisted and automated deduction. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2000, 28 (1-4), pp.21-26. <inria-00099197>
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen. Rewriting with strategies in ELAN: a functional semantics. International Journal of Foundations of Computer Science, World Scientific Publishing, 1999, 27 p. <inria-00098778>
  • Claus Hintermeier, Claude Kirchner, Hélène Kirchner. Dynamically-Typed Computations for Order-Sorted Equational Presentations. Journal of Symbolic Computation, Elsevier, 1998, 25 (4), pp.455-526. <inria-00098625>

Autre publication1 document

  • Claude Kirchner, Helene Kirchner, Fabrice Nahon. Narrowing Based Inductive Proof Search. Version finale envoyé a Springer. 2011. <hal-00692193>

Chapitre d'ouvrage5 documents

  • Hélène Kirchner. Rewriting Strategies and Strategic Rewrite Programs. Logic, Rewriting, and Concurrency (LRC 2015). Festschrift Symposium in Honor of Jos\'e Meseguer, Urbana, Illinois, USA, September 23-25, 2015,, 2015. <hal-01143486v2>
  • Claude Kirchner, Hélène Kirchner. Equational logic and rewriting. 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. <hal-01183817>
  • Claude Kirchner, Florent Kirchner, Helene Kirchner. Strategic Computation and Deduction. Christoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp.339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3. <inria-00433745>
  • Hélène Kirchner. Term Rewriting. Astesiano, E. & Kreowski, H.J. & Krieg-Brückner, B. Algebraic Foundations of Systems Specifications, Springer, pp.273--320, 1999, IFIP State-of-the-Art Reports. <inria-00098978>
  • Hélène Kirchner. Orderings in Automated Theorem Proving. Hoffman, Frederick. Mathematical Aspects of Artificial Intelligence, American Mathematical Society, pp.55-95, 1998, Proceedings of Symposia in Applied Mathematics. <inria-00098418>

Pré-publication, Document de travail2 documents

  • Hejiao Huang, Helene Kirchner. Modular Security Policy Design based on Extended Petri Nets. 2009. <inria-00396924>
  • Hejiao Huang, Helene Kirchner. Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets. 2009. <inria-00396952>

Ouvrage (y compris édition critique et traduction)1 document

  • Maura Cerioli, Martin Gogolla, Hélène Kirchner, Bernd Krieg-Brückner, Zhenyu Qian, et al.. Algebraic System Specification and Developement:Survey and Annotated Bibliography. Shaker Verlag, 230 p, 1999, Monographs of the Bremen Institute of Safe Systems. <inria-00098980>

Direction d'ouvrage, Proceedings2 documents

  • Claude Kirchner, Hélène Kirchner. Automated Deduction - CADE-15. Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence. <inria-00098417>
  • Hélène Kirchner. Trees in Algebra and Programming. 1 (1), Elsevier, 1998, Theoretical Computer Science: Logic, semantics and theory of programming. <inria-00098637>