| 2026 | KSEM | Modularization of Domain Ontology Based on DIS. | Yanyan Wang, Yihai Chen, Ridha Khdri |
| 2025 | IC3K | Possibilistic Extension of Domain Information System (DIS) Framework. | Deemah Alomair, Ridha Khdri |
| 2023 | ENASE | An OWL Multi-Dimensional Information Security Ontology. | Ines Meriah, Latifa Ben Arfa Rabai, Ridha Khdri |
| 2022 | KSEM | DISEL: A Language for Specifying DIS-Based Ontologies. | Yijie Wang, Yihai Chen, Deemah Alomair, Ridha Khdri |
| 2021 | ANT | Configuration and Governance of Dynamic Secure SDN. | Mohammed Alabbad, Ridha Khdri |
| 2021 | TASE | A Formal Engineering Approach to Product Family Modeling. | Xi Wang, Ridha Khdri, Weikai Miao |
| 2019 | IC3K | Toward Measuring Knowledge Loss due to Ontology Modularization. | Andrew LeClair, Ridha Khdri, Alicia Marinache |
| 2019 | IC3K | Formalizing Graphical Modularization Approaches for Ontologies and the Knowledge Loss. | Andrew LeClair, Ridha Khdri, Alicia Marinache |
| 2018 | PDCAT | Software Requirements for an Ultra Large Scale System to Compute Multi Dimension Mean Failure Cost. | Mouna Jouini, Latifa Ben Arfa Rabai, Ridha Khdri |
| 2017 | ICFEM | A Framework for Multi-view Reconciliation and for Medical Devices Personalization. | Yihai Chen, Bofang Zhang, Ridha Khdri, Huaikou Miao |
| 2016 | ANT | Conto: A Protg Plugin for Configuring Ontologies. | Andrew LeClair, Ridha Khdri |
| 2015 | ANT | Towards the Certification of Covert Channel Freeness in Cloud-based Systems. | Jason Jaskolka, Ridha Khdri |
| 2015 | ANT | A Multidimensional Approach towards a Quantitative Assessment of Security Threats. | Mouna Jouini, Latifa Ben Arfa Rabai, Ridha Khdri |
| 2014 | FNC | Investigative Support for Information Confidentiality Part II: Applications in Cryptanalysis and Digital Forensics. | Jason Jaskolka, Ridha Khdri, Khair Eddin Sabri |
| 2014 | FNC | Investigative Support for Information Confidentiality Part I: Detecting Confidential Information Leakage via Protocol-based Covert Channels. | Jason Jaskolka, Ridha Khdri, Khair Eddin Sabri |
| 2014 | PROFES | Envisioning a Requirements Specification Template for Medical Device Software. | Hao Wang, Yihai Chen, Ridha Khdri, Alan Wassyng |
| 2013 | EUSPN | An Algebraic Approach Towards Data Cleaning. | Ridha Khdri, Fei Chiang, Khair Eddin Sabri |
| 2013 | EUSPN | Preface. | Ridha Khdri, Karim Djouani |
| 2012 | SEFM | Verification of Aspectual Composition in Feature-Modeling. | Qinglei Zhang, Ridha Khdri, Jason Jaskolka |
| 2008 | SEFM | Algebraic View Reconciliation. | Peter Hfner, Ridha Khdri, Bernhard Mller |
| 2006 | FM | Feature Algebra. | Peter Hfner, Ridha Khdri, Bernhard Mller |
| 2004 | SEKE | Requirements Scenarios Based System-Testing. | Ridha Khdri, Imen Bourguiba |
| 2004 | SEFM | Formal Derivation of Functional Architectural Design. | Ridha Khdri, Imen Bourguiba |