Publications – Isabelle GNAEDIG

Tree publications, representative of my work:

Isabelle Gnaedig and Hélène Kirchner. “Termination of Rewriting under Strategies”. In: ACM Transactions on Computational Logic 10 (2 Feb. 2009), pp. 1–52.

Isabelle Gnaedig and Hélène Kirchner. “Proving Weak Properties of Rewriting”. In: Theoretical Computer Science 412 (34 Aug. 2011), pp. 4405–4438.

Philippe Beaucamps, Isabelle Gnaedig, and Jean-Yves Marion. « Abstraction-based Malware Analysis Using Rewriting and Model Checking”. In: Proceedings of the 17th European Symposium on Research in Computer Security – ESORICS. Ed. by S. Foresti, M. Yung, and F. Martinelli. Vol. 7459. Lecture Notes in Computer Science. Pisa, Italie: Springer, Sept. 2012, pp. 806–823.

Complete HAL list

Publications HAL de Isabelle, Gnaedig

2013

Reports

titre: Médiation Scientifique : une facette de nos métiers de la recherche
auteur: Antoine Rousseau, Aurélie Darnaud, Brice Goglin, Céline Acharian, Christine Leininger, Christophe Godin, Clarisse Holik, Claude Kirchner, Diane Rives, Elodie Darquie, Erwan Kerrien, Fabrice Neyret, Florent Masseglia, Florian Dufour, Gérard Berry, Gilles Dowek, Hélène Robak, Hélène Xypas, Irina Illina, Isabelle Gnaedig, Joanna Jongwane, Jocelyne Ehrel, Laurent Viennot, Laure Guion, Lisette Calderan, Lola Kovacic, Marie Collin, Marie-Agnès Enard, Marie-Hélène Comte, Martin Quinson, Martine Olivi, Mathieu Giraud, Mathilde Dorémus, Mia Ogouchi, Muriel Droin, Nathalie Lacaux, Nicolas P. Rougier, Nicolas Roussel, Pascal Guitton, Pierre Peterlongo, Rose-Marie Cornus, Simon Vandermeersch, Sophie Maheo, Sylvain Lefebvre, Sylvie Boldo, Thierry Viéville, Véronique Poirel, Aline Chabreuil, Arnaud Fischer, Claude Farge, Claude Vadel, Isabelle Astic, Jean-Pierre Dumont, Loic Féjoz, Patrick Rambert, Pierre Paradinas, Sophie de Quatrebarbes, Stéphane Laurent
article: [Interne] Inria. 2013, pp.34
Accès au texte intégral et bibtex

titre: Behavior Analysis of Malicious Code by Weighted Behavior Abstraction
auteur: Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article: [Research Report] 2013
Accès au texte intégral et bibtex

2012

Conference papers

titre: Abstraction-based Malware Analysis Using Rewriting and Model Checking
auteur: Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article: ESORICS – 17th European Symposium on Research in Computer Security – 2012, Sep 2012, Pisa, Italy. pp.806-823, ⟨10.1007/978-3-642-33167-1⟩
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, 2011, 412, pp.4405-4438. ⟨10.1016/j.tcs.2011.04.028⟩
Accès au texte intégral et bibtex

Reports

titre: Behavior Analysis of Malware by Rewriting-based Abstraction – Extended Version
auteur: Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article: [Research Report] 2011
Accès au texte intégral et bibtex

2010

Conference papers

titre: Behavior Abstraction in Malware Analysis
auteur: Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article: 1st International Conference on Runtime Verification, Howard Barringer, Klaus Havelund, Insup Lee, Nov 2010, St. Julians, Malta. pp.168-182, ⟨10.1007/978-3-642-16612-9_14⟩
Accès au texte intégral et bibtex

titre: Unconditional self-modifying code elimination with dynamic compiler optimizations
auteur: Isabelle Gnaedig, Matthieu Kaczmarek, Daniel Reynaud, Stéphane Wloka
article: 5th International Conference on Malicious and Unwanted Software, Fernando C. Colón Osorio, Oct 2010, Nancy, France
Accès au texte intégral et bibtex

Reports

titre: Abstraction by Term Rewriting for Malware Behavior Analysis – Extended Version
auteur: Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article: [Research Report] 2010
Accès au texte intégral et bibtex

Preprints, Working Papers, …

titre: Behavior Abstraction in Malware Analysis – Extended Version
auteur: Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
article: 2010
Accès au texte intégral et bibtex

2009

Journal articles

titre: Termination of Rewriting under Strategies
auteur: Isabelle Gnaedig, Hélène Kirchner
article: ACM Transactions on Computational Logic, 2009, 10 (2), pp.1-52. ⟨10.1145/1462179.1462182⟩
Accès au texte intégral et bibtex

Conference papers

titre: Termination of Priority Rewriting
auteur: Isabelle Gnaedig
article: Third International Conference on Language and Automata Theory and Applications – LATA 2009, Apr 2009, Tarragona, Spain. pp.386-397, ⟨10.1007/978-3-642-00982-2_33⟩
Accès au texte intégral et bibtex

Reports

titre: Proving weak properties of rewriting
auteur: Isabelle Gnaedig, Hélène Kirchner
article: [Research Report] 2009, pp.50
Accès au bibtex

titre: Modeling reducibility on ground terms using constraints
auteur: Isabelle Gnaedig, Hélène Kirchner
article: [Research Report] 2009, pp.9
Accès au texte intégral et bibtex

2008

Reports

titre: Termination of Priority Rewriting – Extended version
auteur: Isabelle Gnaedig
article: [Research Report] 2008
Accès au texte intégral et bibtex

titre: Termination of Priority Rewriting
auteur: Isabelle Gnaedig
article: [Research Report] 2008, pp.13
Accès au texte intégral et bibtex

2007

Conference papers

titre: Induction for Positive Almost Sure Termination
auteur: Isabelle Gnaedig
article: PPDP 2007 – 9th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Jul 2007, Wroclaw, Poland. pp.167-177
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

Reports

titre: Induction for Positive Almost Sure Termination – Extended version
auteur: Isabelle Gnaedig
article: [Research Report] 2007, pp.16
Accès au texte intégral et bibtex

2006

Conference papers

titre: Computing Constructor Forms with Non Terminating Rewrite Programs
auteur: Isabelle Gnaedig, Hélène Kirchner
article: Symposium on Principles and Practice of Declarative Programming – PPDP’06, Jul 2006, Venise/Italie
Accès au texte intégral et bibtex

Reports

titre: Computing Constructor Forms with Non Terminating Rewrite Programs – Extended version
auteur: Isabelle Gnaedig, Hélène Kirchner
article: [Research Report] 2006, pp.17
Accès au texte intégral et bibtex

titre: Termination of rewriting under strategies: a generic approach
auteur: Isabelle Gnaedig, Hélène Kirchner
article: [Research Report] 2006
Accès au texte intégral et 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

Reports

titre: Termination of rewriting strategies: a generic approach
auteur: Isabelle Gnaedig, Hélène Kirchner
article: [Research Report] 2005, pp.49
Accès au 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⟩
Accès au texte intégral et bibtex

Reports

titre: Proving weak termination also provides the right way to terminate – Extended version
auteur: Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article: [Intern report] A04-R-522 || fissore04b, 2004, 54 p
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, 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: 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

Reports

titre: Proving weak termination also provides the right way to terminate – extended version
auteur: Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article: [Intern report] A03-R-361 || fissore03c, 2003, 34 p
Accès au texte intégral et bibtex

titre: Proving weak termination also provides the right way to terminate
auteur: Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article: [Intern report] A03-R-413 || fissore03d, 2003, 23 p
Accès au bibtex

titre: Innermost sufficient completeness
auteur: Isabelle Gnaedig, Hélène Kirchner
article: [Intern report] A03-R-131 || gnaedig03a, 2003, 22 p
Accès au bibtex

titre: Termination of ELAN strategies by simplification – Extended version
auteur: Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article: [Intern report] A03-R-360 || fissore03b, 2003, 47 p
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: 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

Reports

titre: Induction for weak termination
auteur: Isabelle Gnaedig, Olivier Fissore, Hélène Kirchner
article: [Intern report] A02-R-111 || gnaedig02a, 2002, 23 p
Accès au bibtex

titre: Outermost ground termination – Extended version
auteur: Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article: [Intern report] A02-R-493 || fissore02d, 2002, 38 p
Accès au bibtex

titre: CARIBOO: An Induction Based Proof Tool for Termination with Strategies — Extended version
auteur: Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article: [Intern report] A02-R-077 || fissore02b, 2002
Accès au texte intégral et bibtex

2001

Journal articles

titre: Induction for termination with local strategies
auteur: Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article: Electronic Notes in Theoretical Computer Science, 2001, 58 (2), pp.155-188. ⟨10.1016/S1571-0661(04)00284-1⟩
Accès au bibtex

Reports

titre: Induction for termination with local strategies – Extended version
auteur: Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article: [Intern report] A01-R-177 || fissore01b, 2001, 29 p
Accès au texte intégral et bibtex

titre: Induction for innermost and outermost ground termination
auteur: Isabelle Gnaedig, Hélène Kirchner, Olivier Fissore
article: [Intern report] A01-R-178 || gnaedig01a, 2001, 38 p
Accès au bibtex

2000

Conference papers

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