Isabelle Gnaedig

Publication Activity (10 Years)

Years Active: 1986-2012
Publications (10 Years): 0

Top Topics

Static Analysis

Verification Method

Linear Temporal Logic

Top Venues

Publications

Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
Abstraction-Based Malware Analysis Using Rewriting and Model Checking. ESORICS (2012)
Isabelle Gnaedig, Hélène Kirchner
Proving weak properties of rewriting. Theor. Comput. Sci. 412 (34) (2011)
Isabelle Gnaedig, Matthieu Kaczmarek, Daniel Reynaud, Stéphane Wloka
Unconditional self-modifying code elimination with dynamic compiler optimizations. MALWARE (2010)
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
Behavior Abstraction in Malware Analysis. RV (2010)
Isabelle Gnaedig, Hélène Kirchner
Termination of rewriting under strategies. ACM Trans. Comput. Log. 10 (2) (2009)
Isabelle Gnaedig
Termination of Priority Rewriting. LATA (2009)
Isabelle Gnaedig, Hélène Kirchner
Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations. Rewriting, Computation and Proof (2007)
Isabelle Gnaedig
Induction for positive almost sure termination. PPDP (2007)
Isabelle Gnaedig, Hélène Kirchner
Computing constructor forms with non terminating rewrite programs. PPDP (2006)
Isabelle Gnaedig, Hélène Kirchner
Termination of rewriting strategies: a generic approach CoRR (2005)
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
A Proof of Weak Termination Providing the Right Way to Terminate. ICTAC (2004)
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
Simplification and termination of strategies in rule-based languages. PPDP (2003)
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. PPDP (2002)
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
Outermost ground termination. Electron. Notes Theor. Comput. Sci. 71 (2002)
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
Termination of Rewriting with Local Strategies. Electron. Notes Theor. Comput. Sci. 58 (2) (2001)
Hélène Kirchner, Isabelle Gnaedig
Termination and normalisation under strategy Proofs in ELAN. WRLA (2000)
Thomas Genet, Isabelle Gnaedig
Termination Proofs Using gpo Ordering Constraints. TAPSOFT (1997)
Isabelle Gnaedig
Termination of Order-sorted Rewriting. ALP (1992)
Isabelle Gnaedig
ELIOS-OBJ Theorem Proving in a Specification Language. ESOP (1992)
Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
Equational Completion in Order-Sorted Algebras. Theor. Comput. Sci. 72 (2&3) (1990)
Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner
Equational Completion in Order-Sorted Algebras (Extended Abstract). CAAP (1988)
Isabelle Gnaedig
Knuth-Bendix procedure and non-deterministic behaviour - An example. Bull. EATCS 32 (1987)
Isabelle Gnaedig, Pierre Lescanne
Proving Termination of Associative Commutative Rewriting Systems by Rewriting. CADE (1986)