Auteurs
Corpus
Hal
Racine
Corpus
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Hal)

Index « Auteurs » - entrée « Yohan Boichut »
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.
Yoann Maurel < Yohan Boichut < Yoko Seki  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 18.
Ident.Authors (with country if any)Title
000537 (2008) Yohan Boichut ; Pierre-Cyrille HeamA Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
000538 (2008) Yohan Boichut ; Pierre-Cyrille HeamA Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
000F60 (2008) Yohan Boichut ; Pierre-Cyrille Heam ; Olga KouchnarenkoApproximation based tree regular model checking
001095 (2006) Yohan Boichut ; Pierre-Cyrille Héam ; Olga KouchnarenkoAutomatic Abstraction Generation : How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users
001136 (2005) Yohan Boichut ; Pierre-Cyrille Héam ; Olga KouchnarenkoAutomatic Verification of Security Protocols Using Approximations
002264 (2006-08-12) Yohan Boichut ; Thomas GenetFeasible Trace Reconstruction for Rewriting Approximations
002312 (2008-07-15) Yohan Boichut ; Roméo Courbis ; Pierre-Cyrille Héam ; Olga KouchnarenkoFiner is better: Abstraction Refinement for Rewriting Approximations
002719 (2006-11-20) Yohan Boichut ; Pierre-Cyrille Héam ; Olga KouchnarenkoHandling Algebraic Properties in Automatic Analysis of Security Protocols
002720 (2006) Yohan Boichut ; Pierre-Cyrille Héam ; Olga KouchnarenkoHandling Algebraic Properties in Automatic Analysis of Security Protocols
002728 (2008-09) Yohan Boichut ; Roméo Courbis ; Pierre-Cyrille Héam ; Olga KouchnarenkoHandling Left-Quadratic Rules When Completing Tree Automata
002730 (2009) Yohan Boichut ; Roméo Courbis ; Pierre-Cyrille Héam ; Olga KouchnarenkoHandling Non Left-Linear Rules When Completing Tree Automata
002846 (2009-09-23) Yohan Boichut ; Pierre-Cyrille Heam ; Olga KouchnarenkoHow to Tackle Integer Weighted Automata Positivity
004A91 (2005-07) Alessandro Armando ; David Basin ; Yohan Boichut ; Yannick Chevalier ; Luca Compagna ; Jorge Cuellar ; Paul Hankes Drielsma ; Pierre-Cyrille Héam ; Olga Kouchnarenko ; Jacopo Mantovani ; Sebastian Mödersheim ; David Von Oheimb ; Michaël Rusinowitch ; Judson Santos Santiago ; Luca Vigano ; Mathieu Turuani ; Laurent VigneronThe AVISPA Tool for the automated validation of internet security protocols and applications
004E82 (2008-07) Emilie Balland ; Yohan Boichut ; Thomas Genet ; Pierre-Etienne MoreauTowards an Efficient Implementation of Tree Automata Completion
004F65 (2009) Yohan Boichut ; Pierre-Cyrille Héam ; Olga KouchnarenkoTree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
004F66 (2007) Yohan Boichut ; Pierre-Cyrille Heam ; Olga KouchnarenkoTree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
005226 (2006-03) Yohan Boichut ; Nikolai Kosmatov ; Laurent VigneronValidation of Prouve Protocols using the Automatic Tool TA4SP
006977 (2007) Yohan Boichut ; Pierre-Cyrille Heam ; Olga KouchnarenkoVérifier automatiquement les protocoles de sécurité

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i -k "Yohan Boichut" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/Author.i  \
                -Sk "Yohan Boichut" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Yohan Boichut
}}
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