Skip to content
cs-conference-ranking.org

Isabelle Gnaedig

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

7

Active years

1986–2012

Best venue rank

C

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2012ESORICSAbstraction-Based Malware Analysis Using Rewriting and Model Checking.Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
2010RVBehavior Abstraction in Malware Analysis.Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
2009LATATermination of Priority Rewriting.Isabelle Gnaedig
2007PPDPInduction for positive almost sure termination.Isabelle Gnaedig
2006PPDPComputing constructor forms with non terminating rewrite programs.Isabelle Gnaedig, Hlne Kirchner
2004ICTACA Proof of Weak Termination Providing the Right Way to Terminate.Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner
2003PPDPSimplification and termination of strategies in rule-based languages.Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner
2002PPDPSystem Presentation -- CARIBOO: An induction based proof tool for termination with strategies.Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner
1992ESOPELIOS-OBJ Theorem Proving in a Specification Language.Isabelle Gnaedig
1986CADEProving Termination of Associative Commutative Rewriting Systems by Rewriting.Isabelle Gnaedig, Pierre Lescanne