Nombre de documents

26


Article dans une revue2 documents

  • Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner. Outermost ground termination. Electronic Notes in Theoretical Computer Science, Elsevier, 2003, 71, 20 p. 〈inria-00099654〉
  • 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〉

Communication dans un congrès8 documents

  • Isabelle Gnaedig, Matthieu Kaczmarek, Daniel Reynaud, Stéphane Wloka. Unconditional self-modifying code elimination with dynamic compiler optimizations. Fernando C. Colón Osorio. 5th International Conference on Malicious and Unwanted Software, Oct 2010, Nancy, France. IEEE, CFP1059F-PRT, 2010, Proceedings of the 5th International Conference on Malicious and Unwanted Software. 〈inria-00538376〉
  • Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion. Behavior Abstraction in Malware Analysis. Grigore Rosu, Oleg Sokolsky. 1st International Conference on Runtime Verification, Nov 2010, St. Julians, Malta. Springer-Verlag, 6418, pp.168-182, 2010, Lecture Notes in Computer Science. 〈inria-00536500〉
  • 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〉
  • 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〉
  • 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 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〉
  • 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〉
  • 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〉

Rapport16 documents

  • Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion. Behavior Analysis of Malicious Code by Weighted Behavior Abstraction. [Research Report] 2013. 〈hal-00803412〉
  • Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion. Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version. [Research Report] 2011. 〈inria-00594396〉
  • Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion. Abstraction by Term Rewriting for Malware Behavior Analysis - Extended Version. [Research Report] 2010. 〈inria-00547884v3〉
  • 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. 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. 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. [Intern report] A03-R-413 || fissore03d, 2003, 23 p. 〈inria-00099776〉
  • Isabelle Gnaedig, Hélène Kirchner. Innermost sufficient completeness. [Intern report] A03-R-131 || gnaedig03a, 2003, 22 p. 〈inria-00099765〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • Isabelle Gnaedig, Hélène Kirchner, Olivier Fissore. Induction for termination. [Intern report] A00-R-357 || gnaedig00a, 2000, 22 p. 〈inria-00099315〉
  • Isabelle Gnaedig, Hélène Kirchner, Thomas Genet. Induction for Termination. [Intern report] 99-R-338 || gnaedig99a, 1999, 21 p. 〈inria-00098943〉