-
Abstraction-based Malware Analysis Using Rewriting and Model Checking
International audience -
Narrowing Based Inductive Proof Search
Premiere version en 2005, en l'honneur de Harald Ganzinger -
Formal Cellular Machinery
International audience -
Behavior Analysis of Malicious Code by Weighted Behavior Abstraction
This work is a weighted generalization of the abstraction based analysis technique we previously proposed for the detection of high-level malware behaviors. Our... -
Tree Automata, (Dis-)Equality Constraints and Term Rewriting: What's New?
International audience -
Unranked Tree Rewriting and Effective Closures of Languages
International audience -
A Symbolic Transformation Language and its Application to a Multiscale Method
International audience -
Termination orders for 3-dimensional rewriting
This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit... -
Termination of Linear Bounded Term Rewriting Systems
International audience -
Decidable Approximations of Sets of Descendants and Sets of Normal forms
Colloque avec actes et comité de lecture. -
Rigid Reachability
Rapport interne. -
Rewriting with strategies in ELAN: a functional semantics
Article soumis en 1999 et finalement paru en 2001. -
Decidable fragments of simultaneous rigid reachability
Colloque avec actes et comité de lecture. -
Rigid reachability, the non-symmetric form of rigid E-unification
Article dans revue scientifique avec comité de lecture. -
Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems
Colloque avec actes et comité de lecture. internationale. -
Congruence Closure modulo Associativity-Commutativity
Colloque avec actes et comité de lecture. internationale. -
Abstract Congruence Closure
Article dans revue scientifique avec comité de lecture. -
Production Systems and Rete Algorithm Formalisation
Rapport de contrat. -
Production Systems and Rewrite Systems
Rapport de contrat. -
Rule-based Programs describing Internet Security Protocols
RWTH Aachen Technical Report AIB-2004-04. Colloque avec actes et comité de lecture. Internationale.
