Towards a uniform relational semantics for tabular expressions. - Jules Desharnais; Ridha Khédri; Ali Mili 001 (RelMiCS, 1998)

Integration of Sequential Scenarios. - Jules Desharnais; Marc Frappier; Ridha Khédri; Ali Mili 001 (IEEE Trans. Software Eng., 1998)

Remarks on Mereology of Relations. - Ryszard Janicki; Ridha Khédri (RelMiCS, 2000)

Requirements Scenarios Formalization Technique: N Versions Towards One Good Version. - Ridha Khédri (RelMiS, 2001)

On a formal semantics of tabular expressions. - Ryszard Janicki; Ridha Khédri (Sci. Comput. Program., 2001)

Formal Derivation of Functional Architectural Design. - Ridha Khédri; Imen Bourguiba (SEFM, 2004)

Requirements Scenarios Based System-Testing. - Ridha Khédri; Imen Bourguiba (SEKE, 2004)

Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN. - Issam Al-Azzoni; Douglas G. Down; Ridha Khédri (Nord. J. Comput., 2005)

Feature Algebra. - Peter Höfner; Ridha Khédri; Bernhard Möller (FM, 2006)

Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability. - Spencer Smith 001; Lei Lai; Ridha Khédri (Reliab. Comput., 2007)

Algebraic View Reconciliation. - Peter Höfner; Ridha Khédri; Bernhard Möller (SEFM, 2008)

Verification of Information Flow in Agent-Based Systems. - Khair Eddin Sabri; Ridha Khédri; Jason Jaskolka (MCETECH, 2009)

A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra. - Fadil Alturki; Ridha Khédri (WER, 2010)

A formal test for detecting information leakage via covert channels. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (CSIIRW, 2011)

Exploring Covert Channels. - Jason Jaskolka; Ridha Khédri (HICSS, 2011)

Algebraic Framework for the Specification and Analysis of Cryptographic-Key Distribution. - Khair Eddin Sabri; Ridha Khédri (Fundam. Informaticae, 2011)

Supplementing Product Families with Behaviour. - Peter Höfner; Ridha Khédri; Bernhard Möller (Int. J. Softw. Informatics, 2011)

An algebra of product families. - Peter Höfner; Ridha Khédri; Bernhard Möller (Softw. Syst. Model., 2011)

A Generic Algebraic Model for the Analysis of Cryptographic-Key Assignment Schemes. - Khair Eddin Sabri; Ridha Khédri (FPS, 2012)

Verification of Aspectual Composition in Feature-Modeling. - Qinglei Zhang; Ridha Khédri; Jason Jaskolka (SEFM, 2012)

On the Necessary Conditions for Covert Channel Existence: A State-of-the-Art Survey. - Jason Jaskolka; Ridha Khédri; Qinglei Zhang (ANT/MobiWIS, 2012)

An Aspect-Oriented Language for Product Family Specification. - Qinglei Zhang; Ridha Khédri; Jason Jaskolka (ANT/MobiWIS, 2012)

An Algebraic Approach Towards Data Cleaning. - Ridha Khédri; Fei Chiang; Khair Eddin Sabri (EUSPN/ICTH, 2013)

Preface. - Ridha Khédri; Karim Djouani (EUSPN/ICTH, 2013)

Endowing Concurrent Kleene Algebra with Communication Actions. - Jason Jaskolka; Ridha Khédri; Qinglei Zhang (RAMiCS, 2014)

Investigative Support for Information Confidentiality Part II: Applications in Cryptanalysis and Digital Forensics. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (FNC/MobiSPC, 2014)

Investigative Support for Information Confidentiality Part I: Detecting Confidential Information Leakage via Protocol-based Covert Channels. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (FNC/MobiSPC, 2014)

Envisioning a Requirements Specification Template for Medical Device Software. - Hao Wang 003; Yihai Chen; Ridha Khédri; Alan Wassyng (PROFES, 2014)

A Formulation of the Potential for Communication Condition using C2KA. - Jason Jaskolka; Ridha Khédri (GandALF, 2014)

An aspect-oriented language for feature-modeling. - Qinglei Zhang; Ridha Khédri; Jason Jaskolka (J. Ambient Intell. Humaniz. Comput., 2014)

Towards the Certification of Covert Channel Freeness in Cloud-based Systems. - Jason Jaskolka; Ridha Khédri (ANT/SEIT, 2015)

A Multidimensional Approach towards a Quantitative Assessment of Security Threats. - Mouna Jouini; Latifa Ben Arfa Rabai; Ridha Khédri (ANT/SEIT, 2015)

The Interchange Format of Tabular Expressions Using XML. - Mao Huang; Yihai Chen; Ridha Khédri; Huaikou Miao (SOFL+MSVL, 2015)

Investigative support for information confidentiality. - Jason Jaskolka; Ridha Khédri; Khair Eddin Sabri (J. Ambient Intell. Humaniz. Comput., 2015)

Conto: A Protégé Plugin for Configuring Ontologies. - Andrew LeClair; Ridha Khédri (ANT/SEIT, 2016)

On the weaving process of aspect-oriented product family algebra. - Qinglei Zhang; Ridha Khédri (J. Log. Algebraic Methods Program., 2016)

Mitigating covert channels based on analysis of the potential for communication. - Jason Jaskolka; Ridha Khédri (Theor. Comput. Sci., 2016)

A Framework for Multi-view Reconciliation and for Medical Devices Personalization. - Yihai Chen; Bofang Zhang; Ridha Khédri; Huaikou Miao (ICFEM, 2017)

Defense in Depth Formulation and Usage in Dynamic Access Control. - Ridha Khédri; Owain Jones; Mohammed Alabbad (POST, 2017)

Software Requirements for an Ultra Large Scale System to Compute Multi Dimension Mean Failure Cost. - Mouna Jouini; Latifa Ben Arfa Rabai; Ridha Khédri (PDCAT, 2018)

Toward Measuring Knowledge Loss due to Ontology Modularization. - Andrew LeClair; Ridha Khédri; Alicia Marinache (KEOD, 2019)

Formalizing Graphical Modularization Approaches for Ontologies and the Knowledge Loss. - Andrew LeClair; Ridha Khédri; Alicia Marinache (IC3K, 2019)

Configuration and Governance of Dynamic Secure SDN. - Mohammed Alabbad; Ridha Khédri (ANT/EDI40, 2021)

A Formal Engineering Approach to Product Family Modeling. - Xi Wang 017; Ridha Khédri; Weikai Miao (TASE, 2021)

A Formal Approach to Network Segmentation. - Neerja Mhaskar; Mohammed Alabbad; Ridha Khédri (Comput. Secur., 2021)

A quantitative assessment of security risks based on a multifaceted classification approach. - Mouna Jouini; Latifa Ben Arfa Rabai; Ridha Khédri (Int. J. Inf. Sec., 2021)

DISEL: A Language for Specifying DIS-Based Ontologies. - Yijie Wang; Yihai Chen; Deemah Alomair; Ridha Khédri (KSEM (2), 2022)

Architecture for ontology-supported multi-context reasoning systems. - Andrew LeClair; Jason Jaskolka; Wendy MacCaull; Ridha Khédri (Data Knowl. Eng., 2022)

Dynamic Segmentation, Configuration, and Governance of SDN. - Mohammed Alabbad; Ridha Khédri (J. Ubiquitous Syst. Pervasive Networks, 2022)

An OWL Multi-Dimensional Information Security Ontology. - Ines Meriah; Latifa Ben Arfa Rabai; Ridha Khédri (ENASE, 2023)

The prediction of mid-winter and spring breakups of ice cover on Canadian rivers using a hybrid ontology-based and machine learning model. - Michael De Coste; Zhong Li; Ridha Khédri (Environ. Model. Softw., 2023)

A Review on Ontology Modularization Techniques - A Multi-Dimensional Perspective. - Andrew LeClair; Alicia Marinache; Haya El Ghalayini; Wendy MacCaull; Ridha Khédri (IEEE Trans. Knowl. Data Eng., 2023)

Hardening of network segmentation using automated referential penetration testing. - Mohammed Alabbad; Neerja Mhaskar; Ridha Khédri (J. Netw. Comput. Appl., 2024)

A hybrid ontology-based semantic and machine learning model for the prediction of spring breakup. - Michael De Coste; Zhong Li; Ridha Khédri (Comput. Aided Civ. Infrastructure Eng., 2024)

Two formal design solutions for the generalization of network segmentation. - Mohammed Alabbad; Neerja Mhaskar; Ridha Khédri (J. Netw. Comput. Appl., 2024)

Building a comprehensive and multi-dimensional information security ontology: elicitation process and OWL implementation. - Ines Meriah; Latifa Ben Arfa Rabai; Ridha Khédri (Knowl. Inf. Syst., 2025)