Isabelle Gnaedig
48
Documents
Publications
|
Proving Weak Properties of RewritingTheoretical Computer Science, 2011, 412, pp.4405-4438. ⟨10.1016/j.tcs.2011.04.028⟩
Journal articles
inria-00592271v1
|
|
Termination of Rewriting under StrategiesACM Transactions on Computational Logic, 2009, 10 (2), pp.1-52. ⟨10.1145/1462179.1462182⟩
Journal articles
inria-00182432v1
|
Outermost ground terminationElectronic Notes in Theoretical Computer Science, 2003, 71, 20 p
Journal articles
inria-00099654v1
|
|
Induction for termination with local strategiesElectronic Notes in Theoretical Computer Science, 2001, 58 (2), pp.155-188. ⟨10.1016/S1571-0661(04)00284-1⟩
Journal articles
inria-00100418v1
|
|
Abstraction-based Malware Analysis Using Rewriting and Model CheckingESORICS - 17th European Symposium on Research in Computer Security - 2012, Sep 2012, Pisa, Italy. pp.806-823, ⟨10.1007/978-3-642-33167-1⟩
Conference papers
hal-00762252v1
|
|
Unconditional self-modifying code elimination with dynamic compiler optimizations5th International Conference on Malicious and Unwanted Software, Fernando C. Colón Osorio, Oct 2010, Nancy, France
Conference papers
inria-00538376v1
|
|
Behavior Abstraction in Malware Analysis1st 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⟩
Conference papers
inria-00536500v1
|
|
Termination of Priority RewritingThird 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⟩
Conference papers
inria-00428679v1
|
|
Induction for Positive Almost Sure TerminationPPDP 2007 - 9th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Jul 2007, Wroclaw, Poland. pp.167-177
Conference papers
inria-00182435v1
|
Narrowing, Abstraction and Constraints for Proving Properties of Reduction RelationsRewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday, Jun 2007, Paris, France. pp.44-67
Conference papers
inria-00182434v1
|
|
|
Computing Constructor Forms with Non Terminating Rewrite ProgramsSymposium on Principles and Practice of Declarative Programming - PPDP'06, Jul 2006, Venise/Italie
Conference papers
inria-00112083v1
|
|
Termination of rewriting strategies: a generic approachProceedings of the third Workshop on Applied Semantics APPSEM'05, APPSEM II & Ludwig Maximilians Universität München, Sep 2005, Chiemsee, Germany
Conference papers
inria-00172897v1
|
|
A proof of weak termination providing the right way to terminateFirst International Colloquium on Theoretical Aspects of Computing, 2004, Guiyang, Chine, France. 15 p, ⟨10.1007/978-3-540-31862-0⟩
Conference papers
inria-00100120v1
|
|
CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction6th International Workshop on Termination 2003 - WST'03, Albert Rubio, 2003, Valencia, Spain, pp.77-79
Conference papers
inria-00099467v1
|
Simplification and Termination of Strategies in Rule-Based LanguagesProceedings of the Fifth International Conference on Principles and Practice of Declarative Programming - PPDP'2003, Aug 2003, Uppsala, Sweden, pp.124-135
Conference papers
inria-00099655v1
|
|
Outermost ground termination4th International Workshop on Rewriting Logic and its Applications - WRLA' 02, 2002, Pisa, Italy, 16 p
Conference papers
inria-00100755v1
|
|
|
CARIBOO: An Induction Based Proof Tool for Termination with StrategiesFourth International Conference on Principles and Practice of Declarative Programming - PPDP'02, Oct 2002, Pittsburgh, USA, 12 p
Conference papers
inria-00107557v1
|
|
Termination and normalisation under strategies--Proofs in ELAN3rd International Workshop on Rewriting Logic & Applications - WRLA'2000, 2000, Kanazawa, Japan, pp.93--115
Conference papers
inria-00099059v1
|
|
Termination of Order-sorted RewritingALP 1992 - 3rd International Conference on Algebraic and Logic Programming, Sep 1992, Volterra, Italy. pp.37 - 52, ⟨10.1007/bfb0013818⟩
Conference papers
hal-01893012v1
|
|
Behavior Abstraction in Malware Analysis - Extended Version2010
Preprints, Working Papers, ...
inria-00509486v2
|