Ridha Khedri

Cited by

	All	Since 2017
Citations	927	318
h-index	14	8
i10-index	20	5

120

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120224 12 12 8 18 15 25 24 21 14 14 45 34 39 58 33 40 53 56 61 41 30 41 54 116 34

Public access

View all

9 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Jason JaskolkaAssistant 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 RabaiTunis University, ISGVerified email at isg.rnu.tn
Marc FrappierUniversité de SherbrookeVerified email at usherbrooke.ca
Jouini MounaAssistant Professor Computer Science with Business, University of Jendouba, TunisiaVerified email at fsjegj.u-jendouba.tn
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
Fairouz Tchierprofessor of mathematics and computer scienceVerified email at ksu.edu.sa
Fei ChiangMcMaster UniversityVerified email at mcmaster.ca
Neerja MhaskarMcMaster UniversityVerified email at mcmaster.ca
Sumit Majumder, M.A.Sc., PhDAssistant Professor, Chittagong University of Engineering & Technology, BangladeshVerified email at cuet.ac.bd
MJ DeenDistinguished University Professor, McMaster UniversityVerified email at mcmaster.ca
Alan WassyngMcMaster University, Dept Computing and Software, McMaster Centre for Software CertificationVerified email at McMaster.ca
Hao WangNorwegian University of Science and TechnologyVerified email at acm.org
Qinglei Zhang

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	92	2018
On a formal semantics of tabular expressions R Janicki, R Khedri Science of Computer Programming 39 (2-3), 189-213, 2001	85	2001
Feature algebra P Höfner, R Khedri, B Möller International Symposium on Formal Methods, 300-315, 2006	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	60	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 (2), 161-182, 2011	48	2011
A multidimensional approach towards a quantitative assessment of security threats M Jouini, LBA Rabai, R Khedri Procedia Computer Science 52, 507-514, 2015	38	2015
Exploring covert channels J Jaskolka, R Khedri 2011 44th Hawaii International Conference on System Sciences, 1-10, 2011	29	2011
Requirements analysis for engineering computation: A systematic approach for improving reliability S Smith, L Lai, R Khedri Reliable Computing 13 (1), 83-107, 2007	29	2007
Integration of Sequential Scenarios A Desharnais, Jules & Frappier, Marc & Khedri, Ridha & Mili ACM SIGSOFT Software Engineering Notes 22, 310-326, 1997	27	1997
Supplementing Product Families with Behaviour P Höfner, B Möller, R Khedri	21	2011
Verification of information flow in agent-based systems KE Sabri, R Khedri, J Jaskolka International Conference on E-Technologies, 252-266, 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
Endowing concurrent Kleene algebra with communication actions J Jaskolka, R Khedri, Q Zhang International Conference on Relational and Algebraic Methods in Computer …, 2014	14	2014
An algebraic approach towards data cleaning R Khedri, F Chiang, KE Sabri Procedia Computer Science 21, 50-59, 2013	13	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	13	2012
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
A formal approach to network segmentation N Mhaskar, M Alabbad, R Khedri Computers & Security 103, 102162, 2021	11	2021
Towards a uniform relational semantics for tabular expressions. J Desharnais, R Khédri, A Mili RelMiCS, 53-57, 1998	11	1998
Demonic relational semantics of sequential programs J Desharnais, R Khédri, F Tchier Université Laval, Dép. d'informatique, 1994	11	1994

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 this author

Cited by

Co-authors