| 2008 |
|---|
| 25 | EE | Tarek Abbes,
Adel Bouhoula,
Michaël Rusinowitch:
An inference system for detecting firewall filtering rules anomalies.
SAC 2008: 2122-2128 |
| 2007 |
|---|
| 24 | EE | Sourour Meharouech,
Adel Bouhoula,
Tarek Abbes:
A Stateful Real Time Intrusion Detection System for high-speed network.
AINA 2007: 404-411 |
| 23 | EE | Tarek Abbes,
Adel Bouhoula,
Michaël Rusinowitch:
A Traffic Classification Algorithm for Intrusion Detection.
AINA Workshops (1) 2007: 188-193 |
| 22 | EE | Hédi Hamdi,
Mohamed Mosbah,
Adel Bouhoula:
A Domain Specific Language for Securing Distributed Systems.
ICSNC 2007: 76 |
| 21 | EE | Mohammed Anis Benelbahri,
Adel Bouhoula:
Tuple Based Approach for Anomalies Detection within Firewall Filtering Rules.
ISCC 2007: 63-70 |
| 2004 |
|---|
| 20 | EE | Tarek Abbes,
Adel Bouhoula,
Michaël Rusinowitch:
Protocol Analysis in Intrusion Detection Using Decision Tree.
ITCC (1) 2004: 404-408 |
| 2002 |
|---|
| 19 | EE | Adel Bouhoula,
Michaël Rusinowitch:
Observational proofs by rewriting.
Theor. Comput. Sci. 275(1-2): 675-698 (2002) |
| 2001 |
|---|
| 18 | | Adel Bouhoula,
Jean-Pierre Jouannaud:
Automata-Driven Automated Induction.
Inf. Comput. 169(1): 1-22 (2001) |
| 2000 |
|---|
| 17 | EE | Adel Bouhoula:
Simultaneous Checking of Completeness and Ground Confluence.
ASE 2000: 143- |
| 16 | EE | Adel Bouhoula,
Jean-Pierre Jouannaud,
José Meseguer:
Specification and proof in membership equational logic.
Theor. Comput. Sci. 236(1-2): 35-132 (2000) |
| 1998 |
|---|
| 15 | EE | Narjes Berregeb,
Adel Bouhoula,
Michaël Rusinowitch:
Observational Proofs with Critical Contexts.
FASE 1998: 38-53 |
| 1997 |
|---|
| 14 | EE | Adel Bouhoula,
Jean-Pierre Jouannaud:
Automata-Driven Automated Induction.
LICS 1997: 14-25 |
| 13 | | Adel Bouhoula,
Jean-Pierre Jouannaud,
José Meseguer:
Specification and Proof in Membership Equational Logic.
TAPSOFT 1997: 67-92 |
| 12 | | Adel Bouhoula:
Automated Theorem Proving by Test Set Induction.
J. Symb. Comput. 23(1): 47-77 (1997) |
| 1996 |
|---|
| 11 | | Narjes Berregeb,
Adel Bouhoula,
Michaël Rusinowitch:
Automated Verification by Induction with Associative-Commutative Operators.
CAV 1996: 220-231 |
| 10 | | Adel Bouhoula:
General Framework for Mechanizing Induction using Test Set.
PRICAI 1996: 1-12 |
| 9 | | Narjes Berregeb,
Adel Bouhoula,
Michaël Rusinowitch:
SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories.
RTA 1996: 428-431 |
| 8 | EE | Adel Bouhoula:
Using Induction and Rewriting to Verify and Complete Parameterized Specifications.
Theor. Comput. Sci. 170(1-2): 245-276 (1996) |
| 1995 |
|---|
| 7 | | Adel Bouhoula,
Michaël Rusinowitch:
SPIKE: A System for Automatic Inductive Proofs.
AMAST 1995: 576-577 |
| 6 | | Adel Bouhoula,
Michaël Rusinowitch:
Implicit Induction in Conditional Theories.
J. Autom. Reasoning 14(2): 189-235 (1995) |
| 5 | | Adel Bouhoula,
Emmanuel Kounalis,
Michaël Rusinowitch:
Automated Mathematical Induction.
J. Log. Comput. 5(5): 631-668 (1995) |
| 1994 |
|---|
| 4 | | Adel Bouhoula:
Sufficient Completeness and Parameterized Proofs by Induction.
ALP 1994: 23-40 |
| 3 | | Adel Bouhoula:
SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs.
CADE 1994: 836-840 |
| 1993 |
|---|
| 2 | | Adel Bouhoula,
Michaël Rusinowitch:
Automatic Case Analysis in Proof by Induction.
IJCAI 1993: 88-94 |
| 1992 |
|---|
| 1 | | Adel Bouhoula,
Emmanuel Kounalis,
Michaël Rusinowitch:
SPIKE, an Automatic Theorem Prover.
LPAR 1992: 460-462 |
