Travelled to:1 × Australia
1 × Brazil
1 × France
1 × Poland
1 × Portugal
1 × Spain
2 × USA
Collaborated with:∅ M.Rusinowitch N.Berregeb J.Jouannaud F.Jacquemard T.Abbes J.Meseguer
Talks about:induct (6) proof (5) complet (3) system (3) autom (3) parameter (2) automata (2) suffici (2) commut (2) associ (2)
Person: Adel Bouhoula
DBLP: Bouhoula:Adel
Contributed to:
2008
2008
2000
1998
1997
1996
1996
1994
1994
1997Wrote 10 papers:
- IJCAR-2008-BouhoulaJ #automation #automaton #induction
- Automated Induction with Constrained Tree Automata (AB, FJ), pp. 539–554.
- SAC-2008-AbbesBR #detection
- An inference system for detecting firewall filtering rules anomalies (TA, AB, MR), pp. 2122–2128.
- ASE-2000-Bouhoula #confluence
- Simultaneous Checking of Completeness and Ground Confluence (AB), p. 143–?.
- FASE-1998-BerregebBR #proving
- Observational Proofs with Critical Contexts (NB, AB, MR), pp. 38–53.
- LICS-1997-BouhoulaJ #automation #induction
- Automata-Driven Automated Induction (AB, JPJ), pp. 14–25.
- CAV-1996-BerregebBR #automation #commutative #induction #verification
- Automated Verification by Induction with Associative-Commutative Operators (NB, AB, MR), pp. 220–231.
- RTA-1996-BerregebBR #commutative #induction #named #proving
- SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories (NB, AB, MR), pp. 428–431.
- ALP-1994-Bouhoula #induction #proving
- Sufficient Completeness and Parameterized Proofs by Induction (AB), pp. 23–40.
- CADE-1994-Bouhoula #induction #named #proving
- SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs (AB), pp. 836–840.
- TAPSOFT-1997-BouhoulaJM #equation #logic #proving #specification
- Specification and Proof in Membership Equational Logic (AB, JPJ, JM), pp. 67–92.