Publications

Tree publications, representative of my work:

 

 

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 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] none. 2013, pp.34
Accès au bibtex
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
https://hal.inria.fr/hal-00803412/file/pondere-hal.pdf 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
https://hal.inria.fr/hal-00762252/file/esorics-definitif.pdf 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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00592271/file/weak-tcs-revision2.pdf 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
https://hal.inria.fr/inria-00594396/file/fmcad-extended.pdf 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
https://hal.inria.fr/inria-00536500/file/RV-preprint.pdf 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
https://hal.inria.fr/inria-00538376/file/packer.pdf 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
https://hal.inria.fr/inria-00547884/file/article-extended.pdf 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
https://hal.inria.fr/inria-00509486/file/rv-HAL-V2.pdf BibTex

2009

Journal articles

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⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00182432/file/version-preli-tocl.pdf 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
https://hal.inria.fr/inria-00428679/file/version-hal-lata.pdf 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
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
https://hal.inria.fr/inria-00387058/file/note-HAL.pdf 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
https://hal.inria.fr/inria-00349031/file/version-hal-lata.pdf BibTex
titre
Termination of Priority Rewriting
auteur
Isabelle Gnaedig
article
[Research Report] 2008, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00243131/file/IP-termin-hal.pdf 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
https://hal.inria.fr/inria-00182435/file/ppdp11b-gnaedig-preprint.pdf 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
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
https://hal.inria.fr/inria-00147450/file/IPAS-termin-extended.pdf 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
https://hal.inria.fr/inria-00112083/file/ppdp51-gnaedig-pour-hal.pdf 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
https://hal.inria.fr/inria-00113146/file/comp-extended-2006.pdf 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
https://hal.inria.fr/inria-00113156/file/tocl-second-version-hal.pdf 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
https://hal.inria.fr/inria-00172897/file/appsem.pdf 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
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
https://hal.inria.fr/inria-00100120/file/70-preprint.pdf 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
https://hal.inria.fr/inria-00099872/file/A04-R-522.pdf 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
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
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
https://hal.inria.fr/inria-00099467/file/A03-R-436.pdf BibTex

Reports

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
https://hal.inria.fr/inria-00107743/file/A03-R-360.pdf BibTex
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
https://hal.inria.fr/inria-00107744/file/A03-R-361.pdf 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
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
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
https://hal.inria.fr/inria-00107557/file/A02-R-124.pdf 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
BibTex

Reports

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
BibTex
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
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
https://hal.inria.fr/inria-00099426/file/A02-R-077.pdf 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, Elsevier, 2001, 58 (2), 34 p
Accès au bibtex
BibTex

Reports

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
BibTex
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
https://hal.inria.fr/inria-00107541/file/A01-R-177.pdf 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
https://hal.inria.fr/inria-00099059/file/A00-R-307.pdf BibTex

Reports

titre
Induction for termination
auteur
Isabelle Gnaedig, Hélène Kirchner, Olivier Fissore
article
[Intern report] A00-R-357 || gnaedig00a, 2000, 22 p
Accès au bibtex
BibTex

1999

Reports

titre
Induction for Termination
auteur
Isabelle Gnaedig, Hélène Kirchner, Thomas Genet
article
[Intern report] 99-R-338 || gnaedig99a, 1999, 21 p
Accès au bibtex
BibTex