Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Isabelle Gnaedig »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Isabelle Giri < Isabelle Gnaedig < Isabelle Guerin Lassous  Facettes :

List of bibliographic references indexed by Isabelle Gnaedig

Number of relevant bibliographic references: 73.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
001268 (2013-03-25) Antoine Rousseau [France] ; Aurélie Darnaud [France] ; Brice Goglin [France] ; Céline Acharian [France] ; Christine Leininger [France] ; Christophe Godin [France] ; Clarisse Holik [France] ; Claude Kirchner [France] ; Diane Rives ; Elodie Darquie ; Erwan Kerrien [France] ; Fabrice Neyret [France] ; Florent Masseglia [France] ; Florian Dufour [France] ; Gérard Berry [France] ; Gilles Dowek [France] ; Hélène Robak [France] ; Hélène Xypas ; Irina Illina [France] ; Isabelle Gnaedig [France] ; Joanna Jongwane [France] ; Jocelyne Ehrel ; Laurent Viennot [France] ; Laure Guion ; Lisette Calderan [France] ; Lola Kovacic ; Marie Collin ; Marie-Agnès Enard ; Marie-Hélène Comte [France] ; Martin Quinson [France] ; Martine Olivi [France] ; Mathieu Giraud [France] ; Mathilde Dorémus ; Mia Ogouchi [France] ; Muriel Droin ; Nathalie Lacaux ; Nicolas Rougier [France] ; Nicolas Roussel [France] ; Pascal Guitton [France] ; Pierre Peterlongo [France] ; Rose-Marie Cornus ; Simon Vandermeersch ; Sophie Maheo ; Sylvain Lefebvre [France] ; Sylvie Boldo [France] ; Thierry Viéville [France] ; Véronique Poirel [France] ; Aline Chabreuil ; Arnaud Fischer ; Claude Farge ; Claude Vadel ; Isabelle Astic ; Jean-Pierre Dumont ; Loic Féjoz [France] ; Patrick Rambert ; Pierre Paradinas ; Sophie De Quatrebarbes ; Stéphane Laurent [Belgique]Médiation Scientifique : une facette de nos métiers de la recherche
001271 (2013-03-21) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Analysis of Malicious Code by Weighted Behavior Abstraction
001955 (2012-09-10) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Abstraction-based Malware Analysis Using Rewriting and Model Checking
002351 (2011-05-19) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version
002805 (2011) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak properties of rewriting
002894 (2010-12-17) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Abstraction by Term Rewriting for Malware Behavior Analysis - Extended Version
002979 (2010-11-01) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Abstraction in Malware Analysis
002A12 (2010-10-19) Isabelle Gnaedig [France] ; Matthieu Kaczmarek [France] ; Daniel Reynaud [France] ; Stéphane Wloka [France]Unconditional self-modifying code elimination with dynamic compiler optimizations
002B39 (2010-08-12) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Abstraction in Malware Analysis - Extended Version
003113 (2010) Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]Behavior Abstraction in Malware Analysis
003743 (2009) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Termination of Rewriting under Strategies
003888 (2009) Isabelle Gnaedig [France]Termination of Priority Rewriting
003C48 (2009) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Proving weak properties of rewriting
003C61 (2009) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Modeling reducibility on ground terms using constraints
004517 (2008) Isabelle Gnaedig [France]Termination of Priority Rewriting
004518 (2008) Isabelle Gnaedig [France]Termination of Priority Rewriting - Extended version
004841 (2007-07) Isabelle Gnaedig [France]Induction for Positive Almost Sure Termination
004913 (2007-06) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
004C20 (2007) Isabelle Gnaedig ; Hélène KirchnerNarrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
004E64 (2007) Isabelle Gnaedig [France]Induction for Positive Almost Sure Termination - Extended version -
005067 (2006-07-10) Isabelle Gnaedig [France] ; Hélène Kirchner [France]Computing Constructor Forms with Non Terminating Rewrite Programs

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Isabelle Gnaedig" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Isabelle Gnaedig" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Isabelle Gnaedig
}}

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022