| 2020 | IC3K | FLE: A Fuzzy Logic Algorithm for Classification of Emotions in Literary Corpora. | Luis-Gil Moreno-Jimnez, Juan-Manuel Torres-Moreno, Hanifa Boucheneb, Roseli Suzi Wedemann |
| 2020 | VECoS | Towards Efficient Partial Order Techniques for Time Petri Nets. | Kuangze Wang, Hanifa Boucheneb, Kamel Barkaoui, Zhiwu Li |
| 2018 | ANT | Security as a Service for Public Cloud Tenants(SaaS). | Mohamed Hawedi, Chamseddine Talhi, Hanifa Boucheneb |
| 2018 | ICSoft | On Handling Source Code Positions and Local Variables in LTL Software Model Checking. | Guillaume Htier, Hanifa Boucheneb |
| 2018 | VECoS | Exploiting Local Persistency for Reduced State Space Generation. | Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li |
| 2015 | CloudCom | A Formal Approach for QoS Assurance in the Cloud. | Parisa Heidari, Hanifa Boucheneb, Abdallah Shami |
| 2014 | ISCC | A formal framework for verifying inter-firewalls consistency. | Majda Moussa, Hakima Ould-Slimane, Hanifa Boucheneb, Steven Chamberland |
| 2013 | FMICS | Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. | Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero |
| 2012 | SEKE | Parametric Verification of TimeWorkflow Nets. | Hanifa Boucheneb, Kamel Barkaoui |
| 2010 | IFM | Symbolic Model-Checking of Optimistic Replication Algorithms. | Hanifa Boucheneb, Abdessamad Imine, Manal Najem |
| 2009 | FORTE | On Model-Checking Optimistic Replication Algorithms. | Hanifa Boucheneb, Abdessamad Imine |
| 2008 | CRiSIS | Verification of Workflow processes under multilevel security considerations. | Kamel Barkaoui, Rahma Ben Ayed, Hanifa Boucheneb, Awatef Hicheur |
| 2008 | DATE | Semantics for Model-Based Validation of Continuous/Discrete Systems. | Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb |
| 2006 | RSP | Formal Definitions of Simulation Interfaces in a Continuous/Discrete Co-Simulation Tool. | Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb |