Adel Bouhoula - RankMe

146 papers A* 5A 2B 31C 19Misc 12Journal 45Unranked 31

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A formal technique for automatic resolution of OpenFlow anomalies. Int. J. Inf. Sec. Ramtin Aryan, Anis Yazidi, Adel Bouhoula, Paal E. Engelstad
2025	—	`conf`	Decentralized AI for Smart Cities: A Federated Learning Framework for Resilient Cybersecurity. RTSI Mehdi Houichi, Faouzi Jaïdi, Adel Bouhoula
2025	J	`jnl`	MLRA-Sec: an adaptive and intelligent cyber-security-assessment model for internet of medical things (IoMT). Int. J. Inf. Sec. Sondes Ksibi, Faouzi Jaïdi, Adel Bouhoula
2024	C	`conf`	A Novel Framework for Attack Detection and Localization in Smart Cities. SIN Mehdi Houichi, Faouzi Jaïdi, Adel Bouhoula
2024	J	`jnl`	Cyber Security within Smart Cities: A Comprehensive Study and a Novel Intrusion Detection-Based Approach. Comput. Mater. Continua Mehdi Houichi, Faouzi Jaïdi, Adel Bouhoula
2024	A*	`conf`	Primal Grammars Driven Automated Induction. IJCAI Adel Bouhoula, Miki Hermann
2024	J	`jnl`	Securing IoMT Applications: A n Approach for Enhancing the Reliability of Security Policies within Cloud Databases. J. Inf. Sci. Eng. Sondes Ksibi, Faouzi Jaïdi, Adel Bouhoula
2023	B	`conf`	A Comprehensive Study of Intrusion Detection within Internet of Things-based Smart Cities: Synthesis, Analysis and a Novel Approach. IWCMC Mehdi Houichi, Faouzi Jaïdi, Adel Bouhoula
2023	J	`jnl`	A Comprehensive Study of Security and Cyber-Security Risk Management within e-Health Systems: Synthesis, Analysis and a Novel Quantified Approach. Mob. Networks Appl. Sondes Ksibi, Faouzi Jaïdi, Adel Bouhoula
2023	J	`jnl`	A novel multispectral corner detector and a new local descriptor: an application to human posture recognition. Multim. Tools Appl. Safa Mefteh, Mohamed Bécha Kaâniche, Riadh Ksantini, Adel Bouhoula
2023	J	`jnl`	Correction to: Preface. Ann. Math. Artif. Intell. Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
2023	J	`jnl`	Exploiting scatter matrix on one-class support vector machine based on low variance direction. Intell. Data Anal. Soumaya Nheri, Riadh Ksantini, Mohamed Bécha Kaâniche, Adel Bouhoula
2023	B	`conf`	IoMT Security Model based on Machine Learning and Risk Assessment Techniques. IWCMC Sondes Ksibi, Faouzi Jaïdi, Adel Bouhoula
2023	B	`conf`	Learning Human Postures Using Lab-Depth HOG Descriptors. ICCCI Safa Mefteh, Mohamed Bécha Kaâniche, Riadh Ksantini, Adel Bouhoula
2023	B	`conf`	Machine Learning Algorithms for Enhancing Intrusion Detection Within SDN/NFV. IWCMC Amina Sahbi, Faouzi Jaïdi, Adel Bouhoula
2023	J	`jnl`	Preface. Ann. Math. Artif. Intell. Adel Bouhoula, Bruno Buchberger, Tetsuo Ida, Temur Kutsia
2023	B	`conf`	Towards a Reliable and Smart Approach for Detecting and Resolving Security Violations within SDWN. IWCMC Amina Sahbi, Faouzi Jaïdi, Adel Bouhoula
2022	C	`conf`	A User-Centric Fuzzy AHP-based Method for Medical Devices Security Assessment. SIN Sondes Ksibi, Faouzi Jaïdi, Adel Bouhoula
2022	C	`conf`	Analysis of Smart Cities Security: Challenges and Advancements. SIN Mehdi Houichi, Faouzi Jaïdi, Adel Bouhoula
2022	C	`conf`	Artificial Intelligence for SDN Security: Analysis, Challenges and Approach Proposal. SIN Amina Sahbi, Faouzi Jaïdi, Adel Bouhoula
2022	B	`conf`	Automatically Distributing and Updating In-Network Management Rules for Software Defined Networks. NOMS Ahmad Abboud, Rémi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula, Mondher Ayadi
2022	J	`jnl`	Optimization of parallel firewalls filtering rules. Int. J. Inf. Sec. Taha Elamine Hadjadj, Adel Bouhoula, Rim Tebourbi, Riadh Ksantini
2021	C	`conf`	A Novel Face Detection Framework Based on Incremental Learning and Low Variance Directions. ADMA Mohamed Khalil Ben Salah, Takoua Kefi-Fatteh, Adel Bouhoula
2021	—	`conf`	A Systematic Approach for IoT Cyber-Attacks Detection in Smart Cities Using Machine Learning Techniques. AINA (2) Mehdi Houichi, Faouzi Jaïdi, Adel Bouhoula
2021	B	`conf`	Attacks Scenarios in a Correlated Anomalies Context: Case of Medical System Database Application. ENASE Pierrette Annie Evina, Faouzi Jaïdi, Faten Labbene Ayachi, Adel Bouhoula
2021	C	`conf`	Cyber-Risk Management within IoMT: a Context-aware Agent-based Framework for a Reliable e-Health System. iiWAS Sondes Ksibi, Faouzi Jaïdi, Adel Bouhoula
2020	—	`conf`	A Comprehensive Quantified Approach for Security Risk Management in e-Health Systems. ICETE (2) Sondes Ksibi, Faouzi Jaïdi, Adel Bouhoula
2020	B	`conf`	A Comprehensive Solution for the Analysis, Validation and Optimization of SDN Data-Plane Configurations. CNSM Wejdene Saied, Faouzi Jaïdi, Adel Bouhoula
2020	B	`conf`	A Formal Approach for Automatic Detection and Correction of SDN Switch Misconfigurations. CNSM Wejdene Saied, Adel Bouhoula
2020	Misc	`conf`	A Low Inertia Guided Auto-Encoder for Anomaly Detection in Networks. SoftCOM Yves Nsoga Nguimbous, Riadh Ksantini, Adel Bouhoula
2020	—	`conf`	A Novel Dispersion Covariance-guided One-Class Support Vector Machines. VISIGRAPP (4: VISAPP) Soumaya Nheri, Riadh Ksantini, Mohamed Bécha Kaâniche, Adel Bouhoula
2020	J	`jnl`	Advanced analysis of the integrity of access control policies: the specific case of databases. Int. Arab J. Inf. Technol. Faouzi Jaïdi, Faten Ayachi, Adel Bouhoula
2020	Misc	`conf`	Double Mask: An Efficient Rule Encoding for Software Defined Networking. ICIN Ahmad Abboud, Abdelkader Lahmadi, Michaël Rusinowitch, Miguel Couceiro, Adel Bouhoula, Mondher Avadi
2020	B	`conf`	Efficient Distribution of Security Policy Filtering Rules in Software Defined Networks. NCA Ahmad Abboud, Rémi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula
2020	B	`conf`	Enforcing Risk-Awareness in Access Control Systems: Synthesis, Discussion and Guidelines. IWCMC Pierrette Annie Evina, Faouzi Jaïdi, Faten Labbene Ayachi, Adel Bouhoula
2020	B	`conf`	Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies. LCN Ramtin Aryan, Anis Yazidi, Adel Bouhoula, Paal Einar Engelstad
2020	B	`conf`	R2-D2: Filter Rule set Decomposition and Distribution in Software Defined Networks. CNSM Ahmad Abboud, Rémi Garcia, Abdelkader Lahmadi, Michaël Rusinowitch, Adel Bouhoula
2019	—	`conf`	A Novel Multispectral Lab-depth based Edge Detector for Color Images with Occluded Objects. VISIGRAPP (4: VISAPP) Safa Mefteh, Mohamed Bécha Kaâniche, Riadh Ksantini, Adel Bouhoula
2019	J	`jnl`	A novel incremental one-class support vector machine based on low variance direction. Pattern Recognit. Takoua Kefi-Fatteh, Riadh Ksantini, Mohamed Bécha Kaâniche, Adel Bouhoula
2019	Misc	`conf`	Anomaly-based Intrusion Detection Using Auto-encoder. SoftCOM Yves Nsoga Nguimbous, Riadh Ksantini, Adel Bouhoula
2019	Misc	`conf`	Deep and Automated SDN Data Plane Analysis. SoftCOM Wejdene Saied, Nihel Ben Youssef Ben Souayeh, Amina Saadaoui, Adel Bouhoula
2019	B	`conf`	Enforcing a Risk Assessment Approach in Access Control Policies Management: Analysis, Correlation Study and Model Enhancement. IWCMC Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaïdi, Adel Bouhoula
2019	J	`jnl`	Human face detection improvement using incremental learning based on low variance directions. Signal Image Video Process. Takoua Kefi-Fatteh, Riadh Ksantini, Mohamed Bécha Kaâniche, Adel Bouhoula
2019	Misc	`conf`	Optimization of Parallel Firewalls Filtering Rules. SoftCOM Taha Elamine Hadjadj, Rim Tebourbi, Adel Bouhoula, Riadh Ksantini
2019	B	`conf`	Poster : Minimizing range rules for packet filtering using a double mask representation. Networking Ahmad Abboud, Abdelkader Lahmadi, Michaël Rusinowitch, Miguel Couceiro, Adel Bouhoula
2018	J	`jnl`	A Methodology and Toolkit for Deploying Reliable Security Policies in Critical Infrastructures. Secur. Commun. Networks Faouzi Jaïdi, Faten Labbene Ayachi, Adel Bouhoula
2018	—	`conf`	A Novel Handwritten Digits Recognition Method based on Subclass Low Variances Guided Support Vector Machine. VISIGRAPP (4: VISAPP) Soumaya Nheri, Riadh Ksantini, Mouhamed Bécha Kaâniche, Adel Bouhoula
2018	B	`conf`	Anomalies Correlation for Risk-Aware Access Control Enhancement. ENASE Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaïdi, Adel Bouhoula
2018	Misc	`conf`	Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations. TRIDENTCOM Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
2017	—	`conf`	A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment. SCSS Faouzi Jaïdi, Faten Labbene Ayachi, Adel Bouhoula
2017	—	`conf`	A New FDD-Based Method for Distributed Firewall Misconfigurations Resolution. EMCIS Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
2017	—	`conf`	Automatic detection and correction of firewall misconfigurations- A formal approach. SCSS Amina Saâdaoui, Nihel Ben Youssef, Adel Bouhoula
2017	C	`conf`	Detection of Covert Channels Over ICMP Protocol. AICCSA Sirine Sayadi, Tarek Abbes, Adel Bouhoula
2017	J	`jnl`	FARE: FDD-based firewall anomalies resolution tool. J. Comput. Sci. Amina Saâdaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
2017	B	`conf`	Human Face Detection Improvement Using Incremental Learning Based on Low Variance Directions. ACIVS Takoua Kefi, Riadh Ksantini, Mohamed Bécha Kaâniche, Adel Bouhoula
2017	—	`conf`	Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems. SCSS Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaïdi, Adel Bouhoula
2016	—	`conf`	A Novel Incremental Covariance-Guided One-Class Support Vector Machine. ECML/PKDD (2) Takoua Kefi, Riadh Ksantini, Mohamed Bécha Kaâniche, Adel Bouhoula
2016	J	`jnl`	Advanced Techniques for Deploying Reliable and Efficient Access Control: Application to E-healthcare. J. Medical Syst. Faouzi Jaïdi, Faten Labbene Ayachi, Adel Bouhoula
2016	—	`conf`	An Accurate FDD-Based Approach for Discovering Distributed Firewalls Misconfigurations. Trustcom/BigDataSE/ISPA Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
2016	J	`jnl`	Behavior-based approach to detect spam over IP telephony attacks. Int. J. Inf. Sec. Randa Jabeur Ben Chikha, Tarek Abbes, Wassim Ben Chikha, Adel Bouhoula
2016	J	`jnl`	Detection of firewall configuration errors with updatable tree. Int. J. Inf. Sec. Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2016	J	`jnl`	Incremental One-Class Models for Data Classification. CoRR Takoua Kefi, Riadh Ksantini, Mohamed Bécha Kaâniche, Adel Bouhoula
2016	B	`conf`	On Assisted Packet Filter Conflicts Resolution: An Iterative Relaxed Approach. LCN Anis Yazidi, Adel Bouhoula
2016	—	`conf`	Risk Management for Spam over IP Telephony using Combined Countermeasures. INFOS Randa Jabeur Ben Chikha, Tarek Abbes, Adel Bouhoula
2016	—	`conf`	Risk management for spam over IP telephony using optimal countermeasure. ICDEc Randa Jabeur Ben Chikha, Tarek Abbes, Adel Bouhoula
2015	C	`conf`	An Ontology Regulating Privacy Oriented Access Controls. CRiSIS Maherzia Belaazi, Hanene Boussi Rahmouni, Adel Bouhoula
2015	B	`conf`	Automated and Optimized FDD-Based Method to Fix Firewall Misconfigurations. NCA Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
2015	—	`conf`	Automatic Classification and Detection of Snort Configuration Anomalies - a Formal Approach. CISIS-ICEUTE Amina Saadaoui, Hajar Benmoussa, Adel Bouhoula, Anas Abou El Kalam
2015	J	`jnl`	Integrity-OrBAC: a new model to preserve Critical Infrastructures integrity. Int. J. Inf. Sec. Abdeljebar Ameziane El Hassani, Anas Abou El Kalam, Adel Bouhoula, Ryma Abassi, Abdellah Ait Ouahman
2015	J	`jnl`	Special issue on symbolic computation in software science. J. Symb. Comput. Adel Bouhoula, Bruno Buchberger, Laura Kovács, Temur Kutsia
2014	Misc	`conf`	Behavior Analysis of Web Service Attacks. SEC Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula
2014	J	`jnl`	Characterization of attacks collected from the deployment of Web service honeypot. Secur. Commun. Networks Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula
2014	B	`conf`	Formal approach for managing firewall misconfigurations. RCIS Amina Saadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
2014	C	`conf`	Towards a Legislation Driven Framework for Access Control and Privacy Protection in Public Cloud. SECRYPT Maherzia Belaazi, Hanene Boussi Rahmouni, Adel Bouhoula
2013	Misc	`conf`	A SPIT detection algorithm based on user's call behavior. SoftCOM Randa Jabeur Ben Chikha, Tarek Abbes, Adel Bouhoula
2013	—	`ed.`	Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012. SCSS Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine
2012	J	`jnl`	A prefix-based approach for managing hybrid specifications in complex packet filtering. Comput. Networks Nizar Ben Neji, Adel Bouhoula
2012	—	`conf`	Automatic Analysis of Web Service Honeypot Data Using Machine Learning Techniques. CISIS/ICEUTE/SOCO Special Sessions Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula
2012	J	`jnl`	Formal Checking of Multiple Firewalls CoRR Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
2012	J	`jnl`	Managing hybrid packet filter's specifications. Int. J. Secur. Networks Nizar Ben Neji, Adel Bouhoula
2012	J	`jnl`	Sufficient completeness verification for conditional and constrained TRS. J. Appl. Log. Adel Bouhoula, Florent Jacquemard
2012	B	`conf`	Towards Safe and Optimal Network Designs Based on Network Security Requirements. TrustCom Nihel Ben Youssef Ben Souayeh, Adel Bouhoula
2011	C	`conf`	A Fully Automatic Approach for Fixing Firewall Misconfigurations. CIT Nihel Ben Youssef, Adel Bouhoula
2011	—	`conf`	Dealing with Stateful Firewall Checking. DICTAP (1) Nihel Ben Youssef, Adel Bouhoula
2011	Misc	`conf`	Design and implementation of Web service honeypot. SoftCOM Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula
2011	B	`conf`	Enabling flexible packet filtering through the K-map priority elimination technique. LCN Nizar Ben Neji, Adel Bouhoula, Masato Kimura
2011	C	`conf`	NAF conversion: An efficient solution for the range matching problem in packet filters. HPSR Nizar Ben Neji, Adel Bouhoula
2011	J	`jnl`	Network Security Alerts Management Architecture for Signature-Based Intrusions Detection Systems within a NAT Environment. J. Netw. Syst. Manag. Sourour Meharouech, Adel Bouhoula, Tarek Abbes
2011	—	`conf`	Systematic Deployment of Network Security Policy in Centralized and Distributed Firewalls. SocialCom/PASSAT Nihel Ben Youssef, Adel Bouhoula
2011	B	`conf`	Towards safe and optimal filtering rule reordering for complex packet filters. NSS Nizar Ben Neji, Adel Bouhoula
2011	J	`jnl`	Trusted intrusion detection architecture for high-speed networks based on traffic classification, load balancing and high availability mechanism. Secur. Commun. Networks Sourour Meharouech, Adel Bouhoula, Tarek Abbes
2010	J	`jnl`	A delegation model for extended RBAC. Int. J. Inf. Sec. Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula
2010	B	`conf`	An Access Control Model for Web Databases. DBSec Ahlem Bouchahda-Ben Tekaya, Nhan Le Thanh, Adel Bouhoula, Faten Labbene Ayachi
2010	—	`conf`	Automatic Conformance Verification of Distributed Firewalls to Security Requirements. SocialCom/PASSAT Nihel Ben Youssef, Adel Bouhoula
2010	C	`conf`	Data analyzer based on data mining for Honeypot Router. AICCSA Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula
2010	J	`jnl`	Efficient decision tree for protocol analysis in intrusion detection. Int. J. Secur. Networks Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2010	C	`conf`	Enforcing Access Control to Web Databases. CIT Ahlem Bouchahda, Nhan Le Thanh, Adel Bouhoula, Faten Labbene
2010	C	`conf`	Experimental analysis of attacks against web services and countermeasures. iiWAS Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula
2010	J	`jnl`	Managing Delegation in Access Control Models CoRR Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula
2010	—	`conf`	RBAC+: Dynamic Access Control for RBAC-Administered Web-Based Databases. SECURWARE Ahlem Bouchahda, Nhan Le Thanh, Adel Bouhoula, Faten Labbene
2009	B	`conf`	An Extended Role-Based Access Control Model for Delegating Obligations. TrustBus Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula
2009	C	`conf`	Automatic verification of conformance of firewall configurations to security policies. ISCC Nihel Ben Youssef, Adel Bouhoula, Florent Jacquemard
2009	J	`jnl`	Ensuring security in depth based on heterogeneous network security technologies. Int. J. Inf. Sec. Sourour Meharouech, Adel Bouhoula, Tarek Abbes
2009	—	`conf`	Environmental awareness intrusion detection and prevention system toward reducing false positives and false negatives. CICS Sourour Meharouech, Adel Bouhoula, Tarek Abbes
2009	C	`conf`	Honeypot router for routing protocols protection. CRiSIS Abdallah Ghourabi, Tarek Abbes, Adel Bouhoula
2009	—	`conf`	Misbehavior Detection Using Implicit Trust Relations in the AODV Routing Protocol. CSE (2) Mohamed Ali Ayachi, Christophe Bidan, Tarek Abbes, Adel Bouhoula
2009	J	`jnl`	Rank Functions Based Inference System for Group Key Management Protocols Verification. Int. J. Netw. Secur. Amjad Gawanmeh, Adel Bouhoula, Sofiène Tahar
2009	J	`jnl`	Simultaneous checking of completeness and ground confluence for algebraic specifications. ACM Trans. Comput. Log. Adel Bouhoula
2009	J	`jnl`	Specification and evaluation of polymorphic shellcode properties using a new temporal logic. J. Comput. Virol. Mehdi Talbi, Mohamed Mejri, Adel Bouhoula
2009	B	`conf`	Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols. ARES Mehdi Talbi, Valérie Viet Triem Tong, Adel Bouhoula
2008	Misc	`conf`	An inference system for detecting firewall filtering rules anomalies. SAC Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2008	J	`jnl`	Automated Induction for Complex Data Structures CoRR Adel Bouhoula, Florent Jacquemard
2008	A	`conf`	Automated Induction with Constrained Tree Automata. IJCAR Adel Bouhoula, Florent Jacquemard
2008	Misc	`conf`	Automatic Verification of Firewall Configuration with Respect to Security Policy Requirements. CISIS Soutaro Matsumoto, Adel Bouhoula
2008	—	`conf`	Collaboration between Security Devices toward improving Network Defense. ACIS-ICIS Sourour Meharouech, Adel Bouhoula, Tarek Abbes
2008	Misc	`conf`	Dynamic Scheme for Packet Classification Using Splay Trees. CISIS Nizar Ben Neji, Adel Bouhoula
2008	J	`jnl`	Firewall filtering rules analysis for anomalies detection. Int. J. Secur. Networks Adel Bouhoula, Zouheir Trabelsi, Ezedin Barka, Mohammed Anis Benelbahri
2008	C	`conf`	Revocation Schemes for Delegation Licences. ICICS Meriam Ben-Ghorbel-Talbi, Frédéric Cuppens, Nora Cuppens-Boulahia, Adel Bouhoula
2008	B	`conf`	Self-adjusting scheme for high speed routers. LCN Nizar Ben Neji, Adel Bouhoula
2008	C	`conf`	Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. ICICS Mehdi Talbi, Benjamin Morin, Valérie Viet Triem Tong, Adel Bouhoula, Mohamed Mejri
2007	—	`conf`	A Domain Specific Language for Securing Distributed Systems. ICSNC Hédi Hamdi, Mohamed Mosbah, Adel Bouhoula
2007	—	`conf`	A Software Architecture for Automatic Security Policy Enforcement in Distributed Systems. SECURWARE Hédi Hamdi, Adel Bouhoula, Mohamed Mosbah
2007	B	`conf`	A Stateful Real Time Intrusion Detection System for high-speed network. AINA Sourour Meharouech, Adel Bouhoula, Tarek Abbes
2007	—	`conf`	A Traffic Classification Algorithm for Intrusion Detection. AINA Workshops (1) Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2007	C	`conf`	Tuple Based Approach for Anomalies Detection within Firewall Filtering Rules. ISCC Mohammed Anis Benelbahri, Adel Bouhoula
2004	J	`jnl`	On the fly pattern matching for intrusion detection with Snort. Ann. des Télécommunications Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2004	—	`conf`	Protocol Analysis in Intrusion Detection Using Decision Tree. ITCC (1) Tarek Abbes, Adel Bouhoula, Michaël Rusinowitch
2002	J	`jnl`	Observational proofs by rewriting. Theor. Comput. Sci. Adel Bouhoula, Michaël Rusinowitch
2001	J	`jnl`	Automata-Driven Automated Induction. Inf. Comput. Adel Bouhoula, Jean-Pierre Jouannaud
2000	A*	`conf`	Simultaneous Checking of Completeness and Ground Confluence. ASE Adel Bouhoula
2000	J	`jnl`	Specification and proof in membership equational logic. Theor. Comput. Sci. Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer
1998	B	`conf`	Observational Proofs with Critical Contexts. FASE Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
1997	A*	`conf`	Automata-Driven Automated Induction. LICS Adel Bouhoula, Jean-Pierre Jouannaud
1997	J	`jnl`	Automated Theorem Proving by Test Set Induction. J. Symb. Comput. Adel Bouhoula
1997	—	`conf`	Specification and Proof in Membership Equational Logic. TAPSOFT Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer
1996	A*	`conf`	Automated Verification by Induction with Associative-Commutative Operators. CAV Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
1996	B	`conf`	General Framework for Mechanizing Induction using Test Set. PRICAI Adel Bouhoula
1996	—	`conf`	SPIKE-AC: A System for Proofs by Induction in Associative-Commutative Theories. RTA Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
1996	J	`jnl`	Using Induction and Rewriting to Verify and Complete Parameterized Specifications. Theor. Comput. Sci. Adel Bouhoula
1995	J	`jnl`	Automated Mathematical Induction. J. Log. Comput. Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch
1995	J	`jnl`	Implicit Induction in Conditional Theories. J. Autom. Reason. Adel Bouhoula, Michaël Rusinowitch
1995	—	`conf`	SPIKE: A System for Automatic Inductive Proofs. AMAST Adel Bouhoula, Michaël Rusinowitch
1994	A	`conf`	SPIKE: a System for Sufficient Completeness and Parameterized Inductive Proofs. CADE Adel Bouhoula
1994	—	`conf`	Sufficient Completeness and Parameterized Proofs by Induction. ALP Adel Bouhoula
1993	A*	`conf`	Automatic Case Analysis in Proof by Induction. IJCAI Adel Bouhoula, Michaël Rusinowitch
1992	B	`conf`	SPIKE, an Automatic Theorem Prover. LPAR Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch