Isabelle Gnaedig

Publications

Article dans une revue (4)

Proving Weak Properties of Rewriting Isabelle Gnaedig,Hélène Kirchner Theoretical Computer Science, 2011, 412, pp.4405-4438. ⟨10.1016/j.tcs.2011.04.028⟩ Article dans une revue inria-00592271v1
Termination of Rewriting under Strategies Isabelle Gnaedig,Hélène Kirchner ACM Transactions on Computational Logic, 2009, 10 (2), pp.1-52. ⟨10.1145/1462179.1462182⟩ Article dans une revue inria-00182432v1
Outermost ground termination Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner Electronic Notes in Theoretical Computer Science, 2003, 71, 20 p Article dans une revue inria-00099654v1
Induction for termination with local strategies Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner Electronic Notes in Theoretical Computer Science, 2001, 58 (2), pp.155-188. ⟨10.1016/S1571-0661(04)00284-1⟩ Article dans une revue inria-00100418v1

Communication dans un congrès (15)

Abstraction-based Malware Analysis Using Rewriting and Model Checking Philippe Beaucamps,Isabelle Gnaedig,Jean-Yves Marion ESORICS - 17th European Symposium on Research in Computer Security - 2012, Sep 2012, Pisa, Italy. pp.806-823, ⟨10.1007/978-3-642-33167-1⟩ Communication dans un congrès hal-00762252v1
Behavior Abstraction in Malware Analysis Philippe Beaucamps,Isabelle Gnaedig,Jean-Yves Marion 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⟩ Communication dans un congrès inria-00536500v1
Unconditional self-modifying code elimination with dynamic compiler optimizations Isabelle Gnaedig,Matthieu Kaczmarek,Daniel Reynaud,Stéphane Wloka 5th International Conference on Malicious and Unwanted Software, Fernando C. Colón Osorio, Oct 2010, Nancy, France Communication dans un congrès inria-00538376v1
Termination of Priority Rewriting Isabelle Gnaedig 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⟩ Communication dans un congrès inria-00428679v1
Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations Isabelle Gnaedig,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. pp.44-67 Communication dans un congrès inria-00182434v1
Induction for Positive Almost Sure Termination Isabelle Gnaedig PPDP 2007 - 9th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Jul 2007, Wroclaw, Poland. pp.167-177 Communication dans un congrès inria-00182435v1
Computing Constructor Forms with Non Terminating Rewrite Programs Isabelle Gnaedig,Hélène Kirchner Symposium on Principles and Practice of Declarative Programming - PPDP'06, Jul 2006, Venise/Italie Communication dans un congrès inria-00112083v1
Termination of rewriting strategies: a generic approach Isabelle Gnaedig,Hélène Kirchner Proceedings of the third Workshop on Applied Semantics APPSEM'05, APPSEM II & Ludwig Maximilians Universität München, Sep 2005, Chiemsee, Germany Communication dans un congrès inria-00172897v1
A proof of weak termination providing the right way to terminate Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner First International Colloquium on Theoretical Aspects of Computing, 2004, Guiyang, Chine, France. 15 p, ⟨10.1007/978-3-540-31862-0⟩ Communication dans un congrès inria-00100120v1
CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner 6th International Workshop on Termination 2003 - WST'03, Albert Rubio, 2003, Valencia, Spain, pp.77-79 Communication dans un congrès inria-00099467v1
Simplification and Termination of Strategies in Rule-Based Languages Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming - PPDP'2003, Aug 2003, Uppsala, Sweden, pp.124-135 Communication dans un congrès inria-00099655v1
CARIBOO: An Induction Based Proof Tool for Termination with Strategies Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner Fourth International Conference on Principles and Practice of Declarative Programming - PPDP'02, Oct 2002, Pittsburgh, USA, 12 p Communication dans un congrès inria-00107557v1
Outermost ground termination Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner 4th International Workshop on Rewriting Logic and its Applications - WRLA' 02, 2002, Pisa, Italy, 16 p Communication dans un congrès inria-00100755v1
Termination and normalisation under strategies--Proofs in ELAN Hélène Kirchner,Isabelle Gnaedig 3rd International Workshop on Rewriting Logic & Applications - WRLA'2000, 2000, Kanazawa, Japan, pp.93--115 Communication dans un congrès inria-00099059v1
Termination of Order-sorted Rewriting Isabelle Gnaedig ALP 1992 - 3rd International Conference on Algebraic and Logic Programming, Sep 1992, Volterra, Italy. pp.37 - 52, ⟨10.1007/bfb0013818⟩ Communication dans un congrès hal-01893012v1

Pré-publication, Document de travail (1)

Behavior Abstraction in Malware Analysis - Extended Version Philippe Beaucamps,Isabelle Gnaedig,Jean-Yves Marion 2010 Pré-publication, Document de travail inria-00509486v2

Rapport (28)

Médiation Scientifique : une facette de nos métiers de la recherche Antoine Rousseau,Aurélie Darnaud,Brice Goglin,Céline Acharian,Christine Leiningeret al. [Interne] Inria. 2013, pp.34 Rapport hal-00804915v1
Behavior Analysis of Malicious Code by Weighted Behavior Abstraction Philippe Beaucamps,Isabelle Gnaedig,Jean-Yves Marion [Research Report] 2013 Rapport (rapport de recherche) hal-00803412v1
Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version Philippe Beaucamps,Isabelle Gnaedig,Jean-Yves Marion [Research Report] 2011 Rapport (rapport de recherche) inria-00594396v1
Abstraction by Term Rewriting for Malware Behavior Analysis - Extended Version Philippe Beaucamps,Isabelle Gnaedig,Jean-Yves Marion [Research Report] 2010 Rapport (rapport de recherche) inria-00547884v3
Proving weak properties of rewriting Isabelle Gnaedig,Hélène Kirchner [Research Report] 2009, pp.50 Rapport (rapport de recherche) inria-00338181v1
Modeling reducibility on ground terms using constraints Isabelle Gnaedig,Hélène Kirchner [Research Report] 2009, pp.9 Rapport (rapport de recherche) inria-00387058v1
Termination of Priority Rewriting - Extended version Isabelle Gnaedig [Research Report] 2008 Rapport (rapport de recherche) inria-00349031v2
Termination of Priority Rewriting Isabelle Gnaedig [Research Report] 2008, pp.13 Rapport (rapport de recherche) inria-00243131v1
Induction for Positive Almost Sure Termination - Extended version Isabelle Gnaedig [Research Report] 2007, pp.16 Rapport (rapport de recherche) inria-00147450v2
Computing Constructor Forms with Non Terminating Rewrite Programs - Extended version Isabelle Gnaedig,Hélène Kirchner [Research Report] 2006, pp.17 Rapport (rapport de recherche) inria-00113146v1
Termination of rewriting under strategies: a generic approach Isabelle Gnaedig,Hélène Kirchner [Research Report] 2006 Rapport (rapport de recherche) inria-00113156v1
Termination of rewriting strategies: a generic approach Isabelle Gnaedig,Hélène Kirchner [Research Report] 2005, pp.49 Rapport (rapport de recherche) inria-00000178v1
Proving weak termination also provides the right way to terminate - Extended version Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner [Intern report] A04-R-522 || fissore04b, 2004, 54 p Rapport inria-00099872v1
Proving weak termination also provides the right way to terminate - extended version Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner [Intern report] A03-R-361 || fissore03c, 2003, 34 p Rapport inria-00107744v1
Proving weak termination also provides the right way to terminate Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner [Intern report] A03-R-413 || fissore03d, 2003, 23 p Rapport inria-00099776v1
Innermost sufficient completeness Isabelle Gnaedig,Hélène Kirchner [Intern report] A03-R-131 || gnaedig03a, 2003, 22 p Rapport inria-00099765v1
Termination of ELAN strategies by simplification - Extended version Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner [Intern report] A03-R-360 || fissore03b, 2003, 47 p Rapport inria-00107743v1
Outermost ground termination - Extended version Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner [Intern report] A02-R-493 || fissore02d, 2002, 38 p Rapport inria-00101079v1
CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Extended version Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner [Intern report] A02-R-077 || fissore02b, 2002 Rapport inria-00099426v1
Induction for weak termination Isabelle Gnaedig,Olivier Fissore,Hélène Kirchner [Intern report] A02-R-111 || gnaedig02a, 2002, 23 p Rapport inria-00101056v1
Induction for termination with local strategies - Extended version Olivier Fissore,Isabelle Gnaedig,Hélène Kirchner [Intern report] A01-R-177 || fissore01b, 2001, 29 p Rapport inria-00107541v1
Induction for innermost and outermost ground termination Isabelle Gnaedig,Hélène Kirchner,Olivier Fissore [Intern report] A01-R-178 || gnaedig01a, 2001, 38 p Rapport inria-00100696v1
Induction for termination Isabelle Gnaedig,Hélène Kirchner,Olivier Fissore [Intern report] A00-R-357 || gnaedig00a, 2000, pp.22 Rapport inria-00099315v1
Induction for Termination Isabelle Gnaedig,Hélène Kirchner,Thomas Genet [Intern report] 99-R-338 || gnaedig99a, 1999, pp.21 Rapport inria-00098943v1
Termination Proofs Using gpo Ordering Constraints : Extended Version Thomas Genet,Isabelle Gnaedig [Research Report] RR-3087, INRIA. 1997, pp.37 Rapport (rapport de recherche) inria-00073604v1
ELIOS-OBJ theorem proving in a specification language Isabelle Gnaedig [Research Report] RR-1668, INRIA. 1992 Rapport (rapport de recherche) inria-00074889v1
Knuth-Bendix procedure and non deterministic behavior. An example Isabelle Gnaedig [Research Report] RR-0733, INRIA. 1987 Rapport (rapport de recherche) inria-00075819v1
Investigations on termination of equational rewriting Isabelle Gnaedig [Research Report] RR-0732, INRIA. 1987 Rapport (rapport de recherche) inria-00075820v1