Adel Bouhoula
Institut Supérieur des Études Technologiques en Communications de Tunis(TN)
Publications by Year
Research Areas
Network Security and Intrusion Detection, Internet Traffic Analysis and Secure E-voting, Network Packet Processing and Optimization, Logic, programming, and type systems, Formal Methods in Verification
Most-Cited Works
- → Specification and proof in membership equational logic(2000)231 cited
- → Implicit induction in conditional theories(1995)93 cited
- → Automated Mathematical Induction(1995)57 cited
- → Automated Theorem Proving by Test Set Induction(1997)51 cited
- → SPIKE, an automatic theorem prover(2005)37 cited
- → Efficient decision tree for protocol analysis in intrusion detection(2010)32 cited
- → Using induction and rewriting to verify and complete parameterized specifications(1996)31 cited