Ridha Khedri

Cited by

	All	Since 2019
Citations	1302	597
h-index	16	11
i10-index	28	13

140

105

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202416 12 8 16 24 24 24 20 14 17 46 36 42 57 35 37 55 57 65 41 33 47 61 119 109 119 137

Public access

View all

11 articles

4 articles

available

not available

Based on funding mandates

Co-authors

Jason JaskolkaAssociate Professor - Carleton UniversityVerified email at carleton.ca
Khair Eddin SabriProfessor, University of JordanVerified email at ju.edu.jo
Peter HöfnerAustralian National University (ANU)Verified email at hoefner-online.de
Mohammed AlabbadMcmaster UniversityVerified email at mcmaster.ca
Latifa Ben Arfa RabaiProfessor, Université de Tunis, ISG de TunisVerified email at isg.rnu.tn
Jouini MounaAssistant Professor Computer Science with Business, University of Jendouba, TunisiaVerified email at fsjegj.u-jendouba.tn
Marc FrappierUniversité de SherbrookeVerified email at usherbrooke.ca
Zhibo PangABB Corporate Research, and KTH Royal Institute of Technology, SwedenVerified email at kth.se
Geng YangRoyal Institute of Technology (KTH), SwedenVerified email at kth.se
Douglas DownMcMaster UniversityVerified email at mcmaster.ca
Issam Al-AzzoniAl Ain University of Science and TechnologyVerified email at aau.ac.ae
Spencer SmithAssociate Professor, Computing and Software Department, McMaster UniversityVerified email at mcmaster.ca
Sumit Majumder, Ph.D.Assistant Professor, Chittagong University of Engineering & Technology, BangladeshVerified email at cuet.ac.bd
MJ DeenDistinguished University Professor, McMaster UniversityVerified email at mcmaster.ca
Tapas MondalProfessor, McMaster UniversityVerified email at mcmaster.ca
Ryszard JanickiProfessor, Department of Computing and Software, McMaster UniversityVerified email at mcmaster.ca
Fairouz Tchierprofessor of mathematics and computer scienceVerified email at ksu.edu.sa
Fei ChiangMcMaster UniversityVerified email at mcmaster.ca
Bahati SangaStellenbosch UniversityVerified email at usb.ac.za
Alan WassyngMcMaster University, Dept Computing and Software, McMaster Centre for Software CertificationVerified email at McMaster.ca

Ridha Khedri

Professor of Software Engineering, McMaster University

Verified email at mcmaster.ca - Homepage

Algebraic techniques for Software Engineering Software Requirements Information Security Software Product Families Ontology-


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Introduction to the special section: convergence of automation technology, biomedical engineering, and health informatics toward the healthcare 4.0 Z Pang, G Yang, R Khedri, YT Zhang IEEE Reviews in Biomedical Engineering 11, 249-259, 2018	179	2018
A wearable tele-health system towards monitoring COVID-19 and chronic diseases W Jiang, S Majumder, S Kumar, S Subramaniam, X Li, R Khedri, ... IEEE Reviews in Biomedical Engineering 15, 61-84, 2021	91	2021
On a formal semantics of tabular expressions R Janicki, R Khedri Science of Computer Programming 39 (2-3), 189-213, 2001	89	2001
Feature algebra P Höfner, R Khedri, B Möller International Symposium on Formal Methods, 300-315, 2006	75	2006
An algebra of product families P Höfner, R Khedri, B Möller Software & Systems Modeling 10, 161-182, 2011	66	2011
Modeling and verification of cryptographic protocols using coloured Petri nets and design/CPN I Al-Azzoni, DG Down, R Khedri Nordic Journal of Computing 12 (3), 200--228, 2005	62	2005
Integration of sequential scenarios J Desharnais, M Frappier, R Khédri, A Mili IEEE Transactions on Software Engineering 24 (9), 695-708, 1998	56	1998
A formal approach to network segmentation N Mhaskar, M Alabbad, R Khedri Computers & Security 103, 102162, 2021	49	2021
Requirements analysis for engineering computation: A systematic approach for improving reliability S Smith, L Lai, R Khedri Reliable Computing 13 (1), 83-107, 2007	48	2007
A multidimensional approach towards a quantitative assessment of security threats M Jouini, LBA Rabai, R Khedri Procedia Computer Science 52, 507-514, 2015	44	2015
Exploring covert channels J Jaskolka, R Khedri 2011 44th Hawaii International Conference on System Sciences, 1-10, 2011	30	2011
Integration of Sequential Scenarios A Desharnais, Jules & Frappier, Marc & Khedri, Ridha & Mili ACM SIGSOFT Software Engineering Notes 22, 310-326, 1997	26	1997
Supplementing Product Families with Behaviour P Höfner, B Möller, R Khedri	25	2011
Algebraic view reconciliation P Höfner, R Khedri, B Möller 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008	23	2008
Verification of information flow in agent-based systems KE Sabri, R Khedri, J Jaskolka E-Technologies: Innovation in an Open World: 4th International Conference …, 2009	19	2009
A quantitative assessment of security risks based on a multifaceted classification approach M Jouini, L Ben Arfa Rabai, R Khedri International Journal of Information Security 20 (4), 493-510, 2021	16	2021
Endowing concurrent Kleene algebra with communication actions J Jaskolka, R Khedri, Q Zhang Relational and Algebraic Methods in Computer Science: 14th International …, 2014	16	2014
An algebraic approach towards data cleaning R Khedri, F Chiang, KE Sabri Procedia Computer Science 21, 50-59, 2013	16	2013
On the necessary conditions for covert channel existence: A state-of-the-art survey J Jaskolka, R Khedri, Q Zhang Procedia Computer Science 10, 458-465, 2012	15	2012
Towards a uniform relational semantics for tabular expressions. J Desharnais, R Khédri, A Mili RelMiCS, 53-57, 1998	14	1998

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors