Skip to Main content Skip to Navigation

hal-01183812v1  Conference papers
Hélène Kirchner. Port Graphs, Rules and Strategies for Dynamic Data Analytics -Extended Abstract
International Conference on Rewriting, Deduction, and Programming, Jun 2015, Warsaw, Poland. ⟨10.4230/LIPIcs.RTA.2015.i⟩
hal-01664593v1  Journal articles
Maribel FernandezHélène KirchnerBruno PinaudJason Vallet. Labelled Graph Strategic Rewriting for Social Networks
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 96 (C), pp.12--40. ⟨10.1016/j.jlamp.2017.12.005⟩
hal-00684244v1  Conference papers
Hélène KirchnerOlivier NametMaribel Fernandez. A Strategy Language for Graph Rewriting
LOPSTR 2011 - 21st International Symposium on Logic-Based Program Synthesis and Transformation, Jul 2011, Odense, Denmark
hal-01143486v2  Book sections
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-00684245v1  Conference papers
Hélène KirchnerOana Andrei. Runtime Verification for Biochemical Programs
HAS - First Workshop on Hybrid Autonomous Systems ETAPS 2011, Apr 2011, Saarbrucken, Germany
hal-01429890v1  Book sections
Oana AndreiMaribel FernándezHélène KirchnerBruno Pinaud. Strategy-Driven Exploration for Rule-Based Models of Biochemical Systems with Porgy
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⟩
hal-01429893v1  Reports
Maribel FernándezHélène KirchnerBruno PinaudJason Vallet. Labelled Graph Strategic Rewriting for Social Networks
[Research Report] Université de bordeaux; Inria; King's College London. 2016
inria-00428583v1  Journal articles
Duc-Khanh TranChristophe RingeissenSilvio RaniseHé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⟩
hal-00986676v1  Journal articles
Hélène 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. ⟨10.1016/j.entcs.2013.12.003⟩
inria-00592271v1  Journal articles
Isabelle GnaedigHélène Kirchner. Proving Weak Properties of Rewriting
Theoretical Computer Science, Elsevier, 2011, 412, pp.4405-4438. ⟨10.1016/j.tcs.2011.04.028⟩
hal-00986699v1  Conference papers
Hélène Kirchner. A rewriting point of view on strategies
SR - 1st Workshop on Strategic Reasoning, 2013, Rome, Italy. pp.99-105, ⟨10.4204/EPTCS.112.15⟩
hal-01566525v4  Reports
Maribel FernándezHélène KirchnerBruno PinaudJason ValletJanos Varga. Porgy Strategy Language: User Manual
[Research Report] Université de Bordeaux, LaBRI; Inria Bordeaux Sud-Ouest; King's College London. 2020
hal-01251871v3  Journal articles
Maribel FernándezHélène KirchnerBruno Pinaud. Strategic Port Graph Rewriting: an Interactive Modelling Framework
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (5), pp.615--662. ⟨10.1017/S0960129518000270⟩
inria-00563249v1  Conference papers
Oana AndreiMaribel FernandezHélène KirchnerGuy MelançonOlivier Namet et al.  PORGY: Strategy-Driven Interactive Transformation of Graphs
6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Apr 2011, Saarbrücken, Germany. pp.54-68, ⟨10.4204/EPTCS.48.7⟩
hal-01910220v1  Conference papers
Maribel FernándezHélène KirchnerBruno Pinaud. Labelled Port Graph – A Formal Structure for Models and Computations
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⟩
hal-00954546v3  Conference papers
Maribel FernandezHélène KirchnerBruno Pinaud. Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework
3rd Workshop on GRAPH Inspection and Traversal Engineering, Apr 2014, Grenoble, France. pp.15--29, ⟨10.4204/EPTCS.159.3⟩
inria-00098981v1  Conference papers
Hélène KirchnerPeter David Mosses. Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
AMAST'98 - 7th International Conference on Algebraic Methodology & Software Technology, Jan 1999, Amazonia, Brazil. pp.373--388, ⟨10.1007/3-540-49253-4_27⟩
hal-01183817v1  Book sections
Claude KirchnerHé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
inria-00098483v1  Conference papers
Hélène KirchnerPierre-Etienne Moreau. Non-deterministic computations in ELAN
Recent Developments in Algebraic Development Techniques. 13th International Workshop - WADT'98, Jose Luiz Fiadeiro, 1998, Lisbone, 15 p
inria-00115521v1  Conference papers
Oana AndreiLiliana IbanescuHélène Kirchner. Non-intrusive formal methods and strategic rewriting for a chemical application
Algebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego, USA, pp.194-215, ⟨10.1007/11780274⟩
inria-00507300v2  Conference papers
Tony BourdierHoratiu CirsteaMathieu JaumeHélène Kirchner. Formal Specification and Validation of Security Policies
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⟩