Ridha Khedri

Cited by

	All	Since 2018
Citations	1041	387
h-index	15	8
i10-index	23	7

120

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220234 13 11 9 18 18 24 24 20 15 14 44 35 41 55 32 42 56 55 63 40 30 40 60 118 95 42

Public access

View all

8 articles

5 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
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
Mohammed AlabbadMcmaster UniversityVerified email at mcmaster.ca
Douglas DownMcMaster UniversityVerified email at mcmaster.ca
Issam Al-AzzoniAl Ain University of Science and TechnologyVerified email at aau.ac.ae
Zhibo PangABB Corporate Research, SwedenVerified email at se.abb.com
Geng YangRoyal Institute of Technology (KTH), SwedenVerified email at kth.se
Ryszard JanickiProfessor, Department of Computing and Software, McMaster UniversityVerified email at mcmaster.ca
Spencer SmithAssociate Professor, Computing and Software Department, McMaster UniversityVerified email at mcmaster.ca
Neerja MhaskarMcMaster UniversityVerified email at mcmaster.ca
Sumit Majumder, MASc., PhDAssistant Professor, Chittagong University of Engineering & Technology, BangladeshVerified email at cuet.ac.bd
MJ DeenDistinguished University Professor, McMaster UniversityVerified email at mcmaster.ca
Tapas MondalAssociate Professor,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

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	128	2018
On a formal semantics of tabular expressions R Janicki, R Khedri Science of Computer Programming 39 (2-3), 189-213, 2001	87	2001
Feature algebra P Höfner, R Khedri, B Möller	66	2006
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
An algebra of product families P Höfner, R Khedri, B Möller Software & Systems Modeling 10, 161-182, 2011	53	2011
A multidimensional approach towards a quantitative assessment of security threats M Jouini, LBA Rabai, R Khedri Procedia Computer Science 52, 507-514, 2015	39	2015
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	36	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	31	2007
Exploring covert channels J Jaskolka, R Khedri 2011 44th Hawaii International Conference on System Sciences, 1-10, 2011	29	2011
Integration of Sequential Scenarios A Desharnais, Jules & Frappier, Marc & Khedri, Ridha & Mili ACM SIGSOFT Software Engineering Notes 22, 310-326, 1997	28	1997
Supplementing Product Families with Behaviour P Höfner, B Möller, R Khedri	23	2011
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
Algebraic view reconciliation P Höfner, R Khedri, B Möller 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008	18	2008
A formal approach to network segmentation N Mhaskar, M Alabbad, R Khedri Computers & Security 103, 102162, 2021	17	2021
Endowing concurrent Kleene algebra with communication actions J Jaskolka, R Khedri, Q Zhang Relational and Algebraic Methods in Computer Science: 14th International …, 2014	15	2014
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
An algebraic approach towards data cleaning R Khedri, F Chiang, KE Sabri Procedia Computer Science 21, 50-59, 2013	14	2013
Representation, validation and integration of scenarios using tabular expressions J Desharnais, R Khedri, A Mili Formal Methods in System Design (accepted 2005, in press), 2003	12	2003
Towards a uniform relational semantics for tabular expressions. J Desharnais, R Khédri, A Mili RelMiCS, 53-57, 1998	12	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