Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Crin)

Index « Auteurs » - entrée « Adel Bouhoula »
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.
Adam Janiak < Adel Bouhoula < Adil El Kaysouni  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 13.
Ident.Authors (with country if any)Title
000668 (2004) Tarek Abbes ; Adel Bouhoula ; Michael RusinowitchOn the Fly Pattern Matching For Intrusion Detection with Snort
000673 (2004) Tarek Abbes ; Adel Bouhoula ; Michael RusinowitchProtocol Analysis in Intrusion Detection Using Decision Tree
000D92 (2003) Tarek Abbes ; Adel Bouhoula ; Michael RusinowitchFiltrage Efficace Pour la Détection d'Intrusions
001297 (2002) Adel Bouhoula ; Michael RusinowitchObservational proofs by rewriting
001997 (2000) Adel Bouhoula ; Jean-Pierre Jouannaud ; José MeseguerSpecification and Proof in Membership Equational Logic
001F41 (1999) Adel Bouhoula ; Ahmed Jebali ; Michael RusinowitchReasoning about Object Behaviours with Rewriting.
002010 (1999) Adel BouhoulaSimultaneous Checking of Completeness and Ground Confluence
002035 (1999) Adel BouhoulaA New Procedure for Simultaneously Checking Completeness and Ground Confluence
002226 (1998) Adel BouhoulaMécanisation du Raisonnement par Récurrence
002341 (1998) Narjes Berregeb ; Adel Bouhoula ; Michaël RusinowitchObservational Proofs with Critical Contexts
002673 (1997) Adel Bouhoula ; Jean-Pierre Jouannaud ; José MeseguerSpecification and Proof in Membership Equational Logic
002733 (1997) Adel Bouhoula ; Jean-Pierre JouannaudAutomata-Driven Automated Induction
002765 (1997) Adel BouhoulaAutomated Theorem Proving by Test Set Induction

List of associated KwdEn.i

Nombre de
documents		Descripteur
3intrusion detection
2Automated Reasoning
2Term Rewriting System
2Theorem Proving
2algebraic specifications
2automata techniques
2completeness
2ground confluence
2logic and formal verification
2observational proofs
2parameterization
2pattern matching
2rewriting systems
1Algebraic Specifications
1Automata Techniques
1Inductive Theorem Proving
1Mechanising Induction
1Membership Equational Logic
1Mutual Induction
1Term Rewriting Systems
1Test Set Induction
1Tree Automata Techniques
1automated deduction
1behaviours
1evasion
1membership equational logic
1objects
1parametrization
1proofs
1protocal analysis
1refinement
1rewriting
1rules factorization
1theorem proving
1verification

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Adel Bouhoula" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Adel Bouhoula" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Adel Bouhoula
}}
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