I
Isabelle Gnaedig
Researcher at French Institute for Research in Computer Science and Automation
Publications - 42
Citations - 443
Isabelle Gnaedig is an academic researcher from French Institute for Research in Computer Science and Automation. The author has contributed to research in topics: Rewriting & Abstraction (linguistics). The author has an hindex of 13, co-authored 42 publications receiving 439 citations. Previous affiliations of Isabelle Gnaedig include Nancy-Université.
Papers
More filters
Book ChapterDOI
Behavior abstraction in malware analysis
TL;DR: An approach for proactive malware detection working by abstraction of program behaviors, which consists in abstracting program traces, by rewriting given subtraces into abstract symbols representing their functionality.
Journal ArticleDOI
Termination of rewriting under strategies
Isabelle Gnaedig,Hélène Kirchner +1 more
TL;DR: A termination proof method for rewriting under strategies, based on an explicit induction on the termination property, is presented and instantiated for the innermost, outermost, and local strategies.
CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Extended version--
TL;DR: Cariboo as mentioned in this paper is a proof mechanism for proving termination of rewriting under strategies on ground term algebras, which is based on an abstraction mechanism, introducing variables that represent ground terms in normal form, and on narrowing, schematizing reductions on ground terms.
Journal ArticleDOI
Induction for termination with local strategies
TL;DR: This paper proposes a method for specifically proving termination of rewriting with particular strategies: local strategies on operators, based on an explicit induction on the termination property.
Journal ArticleDOI
Equational completion in order-sorted algebras
Isabelle Gnaedig,Hélène Kirchner +1 more
TL;DR: This work describes and proves completion procedures for equational term rewriting systems in order-sorted algebras, using the technique of proof orderings.