Ridha Khédri - RankMe

59 papers B 6C 6Misc 1Journal 21Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Building a comprehensive and multi-dimensional information security ontology: elicitation process and OWL implementation. Knowl. Inf. Syst. Ines Meriah, Latifa Ben Arfa Rabai, Ridha Khédri
2025	—	`conf`	Possibilistic Extension of Domain Information System (DIS) Framework. IC3K (KEOD/KMIS) Deemah Alomair, Ridha Khédri
2024	J	`jnl`	A hybrid ontology-based semantic and machine learning model for the prediction of spring breakup. Comput. Aided Civ. Infrastructure Eng. Michael De Coste, Zhong Li, Ridha Khédri
2024	J	`jnl`	Hardening of network segmentation using automated referential penetration testing. J. Netw. Comput. Appl. Mohammed Alabbad, Neerja Mhaskar, Ridha Khédri
2024	J	`jnl`	Two formal design solutions for the generalization of network segmentation. J. Netw. Comput. Appl. Mohammed Alabbad, Neerja Mhaskar, Ridha Khédri
2023	J	`jnl`	A Review on Ontology Modularization Techniques - A Multi-Dimensional Perspective. IEEE Trans. Knowl. Data Eng. Andrew LeClair, Alicia Marinache, Haya El Ghalayini, Wendy MacCaull, Ridha Khédri
2023	B	`conf`	An OWL Multi-Dimensional Information Security Ontology. ENASE Ines Meriah, Latifa Ben Arfa Rabai, Ridha Khédri
2023	J	`jnl`	The prediction of mid-winter and spring breakups of ice cover on Canadian rivers using a hybrid ontology-based and machine learning model. Environ. Model. Softw. Michael De Coste, Zhong Li, Ridha Khédri
2022	J	`jnl`	Architecture for ontology-supported multi-context reasoning systems. Data Knowl. Eng. Andrew LeClair, Jason Jaskolka, Wendy MacCaull, Ridha Khédri
2022	—	`conf`	DISEL: A Language for Specifying DIS-Based Ontologies. KSEM (2) Yijie Wang, Yihai Chen, Deemah Alomair, Ridha Khédri
2022	J	`jnl`	Dynamic Segmentation, Configuration, and Governance of SDN. J. Ubiquitous Syst. Pervasive Networks Mohammed Alabbad, Ridha Khédri
2021	J	`jnl`	A Formal Approach to Network Segmentation. Comput. Secur. Neerja Mhaskar, Mohammed Alabbad, Ridha Khédri
2021	Misc	`conf`	A Formal Engineering Approach to Product Family Modeling. TASE Xi Wang, Ridha Khédri, Weikai Miao
2021	J	`jnl`	A quantitative assessment of security risks based on a multifaceted classification approach. Int. J. Inf. Sec. Mouna Jouini, Latifa Ben Arfa Rabai, Ridha Khédri
2021	—	`conf`	Configuration and Governance of Dynamic Secure SDN. ANT/EDI40 Mohammed Alabbad, Ridha Khédri
2019	C	`conf`	Formalizing Graphical Modularization Approaches for Ontologies and the Knowledge Loss. IC3K Andrew LeClair, Ridha Khédri, Alicia Marinache
2019	C	`conf`	Toward Measuring Knowledge Loss due to Ontology Modularization. KEOD Andrew LeClair, Ridha Khédri, Alicia Marinache
2018	C	`conf`	Software Requirements for an Ultra Large Scale System to Compute Multi Dimension Mean Failure Cost. PDCAT Mouna Jouini, Latifa Ben Arfa Rabai, Ridha Khédri
2017	C	`conf`	A Framework for Multi-view Reconciliation and for Medical Devices Personalization. ICFEM Yihai Chen, Bofang Zhang, Ridha Khédri, Huaikou Miao
2017	—	`conf`	Defense in Depth Formulation and Usage in Dynamic Access Control. POST Ridha Khédri, Owain Jones, Mohammed Alabbad
2016	—	`conf`	Conto: A Protégé Plugin for Configuring Ontologies. ANT/SEIT Andrew LeClair, Ridha Khédri
2016	J	`jnl`	Mitigating covert channels based on analysis of the potential for communication. Theor. Comput. Sci. Jason Jaskolka, Ridha Khédri
2016	J	`jnl`	On the weaving process of aspect-oriented product family algebra. J. Log. Algebraic Methods Program. Qinglei Zhang, Ridha Khédri
2015	—	`conf`	A Multidimensional Approach towards a Quantitative Assessment of Security Threats. ANT/SEIT Mouna Jouini, Latifa Ben Arfa Rabai, Ridha Khédri
2015	J	`jnl`	Investigative support for information confidentiality. J. Ambient Intell. Humaniz. Comput. Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
2015	—	`conf`	The Interchange Format of Tabular Expressions Using XML. SOFL+MSVL Mao Huang, Yihai Chen, Ridha Khédri, Huaikou Miao
2015	—	`conf`	Towards the Certification of Covert Channel Freeness in Cloud-based Systems. ANT/SEIT Jason Jaskolka, Ridha Khédri
2014	—	`conf`	A Formulation of the Potential for Communication Condition using C2KA. GandALF Jason Jaskolka, Ridha Khédri
2014	J	`jnl`	An aspect-oriented language for feature-modeling. J. Ambient Intell. Humaniz. Comput. Qinglei Zhang, Ridha Khédri, Jason Jaskolka
2014	C	`conf`	Endowing Concurrent Kleene Algebra with Communication Actions. RAMiCS Jason Jaskolka, Ridha Khédri, Qinglei Zhang
2014	B	`conf`	Envisioning a Requirements Specification Template for Medical Device Software. PROFES Hao Wang, Yihai Chen, Ridha Khédri, Alan Wassyng
2014	—	`conf`	Investigative Support for Information Confidentiality Part I: Detecting Confidential Information Leakage via Protocol-based Covert Channels. FNC/MobiSPC Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
2014	—	`conf`	Investigative Support for Information Confidentiality Part II: Applications in Cryptanalysis and Digital Forensics. FNC/MobiSPC Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
2013	—	`conf`	An Algebraic Approach Towards Data Cleaning. EUSPN/ICTH Ridha Khédri, Fei Chiang, Khair Eddin Sabri
2013	—	`conf`	Preface. EUSPN/ICTH Ridha Khédri, Karim Djouani
2012	—	`conf`	A Generic Algebraic Model for the Analysis of Cryptographic-Key Assignment Schemes. FPS Khair Eddin Sabri, Ridha Khédri
2012	—	`conf`	An Aspect-Oriented Language for Product Family Specification. ANT/MobiWIS Qinglei Zhang, Ridha Khédri, Jason Jaskolka
2012	—	`conf`	On the Necessary Conditions for Covert Channel Existence: A State-of-the-Art Survey. ANT/MobiWIS Jason Jaskolka, Ridha Khédri, Qinglei Zhang
2012	B	`conf`	Verification of Aspectual Composition in Feature-Modeling. SEFM Qinglei Zhang, Ridha Khédri, Jason Jaskolka
2011	—	`conf`	A formal test for detecting information leakage via covert channels. CSIIRW Jason Jaskolka, Ridha Khédri, Khair Eddin Sabri
2011	J	`jnl`	Algebraic Framework for the Specification and Analysis of Cryptographic-Key Distribution. Fundam. Informaticae Khair Eddin Sabri, Ridha Khédri
2011	J	`jnl`	An algebra of product families. Softw. Syst. Model. Peter Höfner, Ridha Khédri, Bernhard Möller
2011	—	`conf`	Exploring Covert Channels. HICSS Jason Jaskolka, Ridha Khédri
2011	J	`jnl`	Supplementing Product Families with Behaviour. Int. J. Softw. Informatics Peter Höfner, Ridha Khédri, Bernhard Möller
2010	—	`conf`	A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra. WER Fadil Alturki, Ridha Khédri
2009	—	`conf`	Verification of Information Flow in Agent-Based Systems. MCETECH Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka
2008	B	`conf`	Algebraic View Reconciliation. SEFM Peter Höfner, Ridha Khédri, Bernhard Möller
2007	—	`ed.`	Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings MOMPES João M. Fernandes, Ricardo Jorge Machado, Ridha Khédri, Siobhán Clarke
2007	J	`jnl`	Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability. Reliab. Comput. Spencer Smith, Lei Lai, Ridha Khédri
2006	B	`conf`	Feature Algebra. FM Peter Höfner, Ridha Khédri, Bernhard Möller
2005	J	`jnl`	Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Nord. J. Comput. Issam Al-Azzoni, Douglas G. Down, Ridha Khédri
2004	B	`conf`	Formal Derivation of Functional Architectural Design. SEFM Ridha Khédri, Imen Bourguiba
2004	C	`conf`	Requirements Scenarios Based System-Testing. SEKE Ridha Khédri, Imen Bourguiba
2001	J	`jnl`	On a formal semantics of tabular expressions. Sci. Comput. Program. Ryszard Janicki, Ridha Khédri
2001	—	`conf`	Requirements Scenarios Formalization Technique: N Versions Towards One Good Version. RelMiS Ridha Khédri
2000	—	`conf`	Remarks on Mereology of Relations. RelMiCS Ryszard Janicki, Ridha Khédri
1998	J	`jnl`	Integration of Sequential Scenarios. IEEE Trans. Software Eng. Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili
1998	—	`conf`	Towards a uniform relational semantics for tabular expressions. RelMiCS Jules Desharnais, Ridha Khédri, Ali Mili
1997	—	`conf`	Integration of Sequential Scenarios. ESEC / SIGSOFT FSE Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili