{"id":13,"date":"2015-06-15T10:26:53","date_gmt":"2015-06-15T08:26:53","guid":{"rendered":"http:\/\/members.loria.fr\/thierrygartiser\/?page_id=13"},"modified":"2018-11-24T22:27:04","modified_gmt":"2018-11-24T20:27:04","slug":"publications","status":"publish","type":"page","link":"https:\/\/members.loria.fr\/IGnaedig\/accueil\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"

Tree publications, representative of my work:<\/h3>\n

 <\/p>\n

\n
\n
\n

Isabelle Gnaedig and He\u0301le\u0300ne Kirchner. \u201cTermination of Rewriting under Strategies\u201d. In: ACM Transactions on Computational Logic<\/em> 10 (2 Feb. 2009), pp. 1\u201352.\u00a0<\/a><\/p>\n<\/div>\n<\/div>\n<\/div>\n

\n
\n
\n

Isabelle Gnaedig and He\u0301le\u0300ne Kirchner. \u201cProving Weak Properties of Rewriting\u201d. In: Theoretical Computer Science<\/em> 412 (34 Aug. 2011), pp. 4405\u20134438.\u00a0<\/a><\/p>\n<\/div>\n

\n
\n
\n
\n
\n
\n

Philippe Beaucamps, Isabelle Gnaedig, and Jean-Yves Marion. \u00ab\u00a0Abstraction-based Malware Analysis Using Rewriting and Model Checking\u201d. In: Proceedings of the 17th European Symposium on Research in Computer Security – ESORICS<\/em>. Ed. by S. Foresti, M. Yung, and F. Martinelli. Vol. 7459. Lecture Notes in Computer Science. Pisa, Italie: Springer, Sept. 2012, pp. 806\u2013823.<\/a><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n

 <\/p>\n

\n
\n

Complete HAL list<\/h3>\n