curriculum vitˆ - mcmaster university...curriculum vitˆ ridha khedri 1. home address 19 gaines...

Curriculum VitæRidha Khedri

1. Home Address

19 Gaines Avenue

Dundas, Ontario, Canada

L9H 7M4

T +1-905-627-2294

B [email protected]

2. Business Address

Department of Computing and Software

Faculty of Engineering

McMaster University

Information Technology Building, Room 131

1280 Main Street West

Hamilton, Ontario, Canada

L8S 4K1

T (905) 525-9140 ext. 23163

B [email protected]

Í http://www.cas.mcmaster.ca/~khedri/

3. Other Personal Data

Date of birth: November 4, 1963

Place of birth: Beja, Tunisia

Nationality: Canadian, Tunisian

October 27, 2015 Ridha Khedri – Curriculum Vitæ 1/28

4. Educational Background

∗ 1998 Ph.D. (Computer Science),Universite Laval, Sainte-Foy, Quebec, Canada.Supervisor: Prof. Jules Desharnais

∗ 1993 M.Sc. (Computer Science),Universite Laval, Sainte-Foy, Quebec, Canada.Supervisor: Prof. Ali Jaoua

∗ 1987 Engineering Diploma (Computer Science),Faculty of Science, University of Tunis, Tunis, Tunisia.

∗ 1985 University Certificate of Scientific Studies in Physics and Chemistry,Faculty of Science, University of Tunis, Tunis, Tunisia.

5. Current Status

July 1, 2014 – Present,Professor (Tenured), Department of Computing and Software, Faculty of Engineering,McMaster University, Hamilton, Ontario, Canada

6. Professional Organizations

∗ March 2007 –Present

Professional Engineers Ontario (PEO),Licence Number 100020656.

∗ 2003 – Present Member of the Association for Computing Machinery (ACM).

∗ 2003 – Present Member of the Institute of Electrical and Electronics Engineers (IEEE).

∗ 2003 – Present Member of IEEE Computer Society.

∗ 2011 – Present Member of McMaster Software Formal Requirements and Information SecurityEnhancement (FRAISE) Research Group.I founded this research group. Currently it includes 6 professors and 11 graduatestudents.

∗ 1999 – 2011 Member of McMaster Software Quality Research Laboratory (SQRL).


7. Employment History

7.1. Academic

∗ July 2014 –Present

Professor (Tenured), Department of Computing and Software,Faculty of Engineering, McMaster University, Hamilton, Ontario, Canada.

∗ January 2014 –June 2014

Acting Associate Chair –Graduate Studies–, Department of Computing andSoftware,Faculty of Engineering, McMaster University, Hamilton, Ontario, Canada.

∗ July 2005 –June 2014

Associate Professor (Tenured), Department of Computing and Software,Faculty of Engineering, McMaster University, Hamilton, Ontario, Canada.

∗ July 2009 –June 2010

Associate Chair, Department of Computing and Software,Faculty of Engineering, McMaster University, Hamilton, Ontario, Canada.

∗ Dec. 1998 –June 2005

Assistant Professor, Department of Computing and Software,Faculty of Engineering, McMaster University, Hamilton, Ontario, Canada.

∗ Sept. 1998 –Dec. 1998

Instructor (Part-time), Department of Computing and Software,Faculty of Engineering, McMaster University, Hamilton, Ontario, Canada.

∗ Mar. 1998 –Dec. 1998

Post-doctoral Fellow (Supervisor: Prof. D. Parnas), Communications ResearchLaboratory, Faculty of Engineering, McMaster University, Hamilton, Ontario,Canada.

∗ Jan. 1993 –May 1996

Instructor (Part-time), Department of Computer Science,Faculty of Science and Engineering, Universite Laval, Sainte-Foy, Quebec,Canada.

7.2. Concurrent Appointments

∗ May. 1, 2015 –Sept. 30, 2015

Visiting professor, School of Computer Engineering and Science,Shanghai University, Shanghai, China.Program of High-end Foreign Experts of the State Administration of Foreign ExpertsAffairs.

∗ Sept. 1, 2005 –Sept. 30, 2005

Visiting professor, Group on Algebraic Methods in Computer Science, Institutefor Informatics, University of Augsburg, Germany.

7.3. Consultations

N/A


7.4. Other

∗ Apr. 1988 –Dec. 1989

Engineer-Analyst,Full-time, Tunisie Micro-Informatique, Avenue Habib Bourguiba, Tunis,Tunisia.

8. Scholarly and Professional Activities

TOTAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101

i. Journal Referee . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

ii. Conference Referee . . . . . . . . . . . . . . . . . . . . . . . . 38

iii. Conference and Workshop Organiser . . . . . . . 29

iv. Other External Reviews . . . . . . . . . . . . . . . . . . . . . 3

v. External Grant Reviews . . . . . . . . . . . . . . . . . . . 10

8.1. Grant & Personnel Committees

∗ Nov. 2010 –June 2011

Committee member of Ontario Graduate Scholarship Program (OGS), OntarioMinistry of Training, Colleges and Universities, Ontario, Canada.

8.2. Executive Positions

N/A

8.3. Journal Referee

The journal of Logic and Algebraic Programming (2 paper)• Dec. 2014, Oct. 2007

Theoretical Computer Science (1 paper)• Dec. 2010

Fundamenta Informaticae (6 papers)• Feb. 2012, Dec. 2007, Feb. 2005, Mar. 2004, Nov. 2003, Dec. 1999

Annals of Telecommunications (1 paper)• Apr. 2006

IEEE Transactions on Software Engineering (1 paper)• Nov. 2002, May 2003 –Re-review–

Information Sciences (2 papers)• Aug. 2000 –two papers–

International Journal of Computers and Applications (9 papers)• Nov. 2006, Oct. 2006, July 2006, June 2006, Apr. 2006, Feb. 2006, May 2004, Feb. 2004, July 2003


8.4. Conference Referee

The Third International Conference on Ambient Computing, Applications, Services andTechnologies (2 papers)

• May 2013

ASME International Design Engineering Technical Conferences (IDETC) and Computers andInformation in Engineering Conference (CIE) (1 paper)

• Apr. 2011

Workshop on Requirements Engineering (9 papers)• Dec. 2011 –two papers–, Dec. 2010 –two papers–, Jan. 2010, June 2008 –two papers–, Feb. 2007

–two papers–

Practice and Theory of IT Security –PTITS– (6 papers)• Dec. 2007 –two papers–, Mar. 2006 –two papers–, Dec. 2005 –two papers–

International Workshop on Model-based Methodologies for Pervasive and Embedded Software(4 papers)

• Nov. 2007 –two papers–, Nov. 2006 –two papers–

The International Computing Conference in Arabic (7 papers)• Apr. 2011 –four papers–, Mar. 2010 –three papers–

6th International Conference on the Quality of Information and Communications Technology–QUATIC 2007– (2 papers)

• May 2007 –two papers–

Formal Methods 2005 (1 paper)• Feb. 2005

The 1st International Colloquium on Theoretical Aspects of Computing (1 paper)• July 2004

The 3rd International Conference on Software Methodologies, Tools and Techniques (2 papers)• June 2004 –two papers–

International Conference on Application of Concurrency to System Design –ACSD’2004, 2003–(2 papers)

• Feb. 2004, Jan. 2003

The 1st Workshop on Inspection in Software Engineering –WISE’2001– (1 paper)• June 2001

8.5. Workshop and Conference Organiser

∗ 2015 Program Committee member, 5th International Conference on Ambient Com-puting, Applications, Services and Technologies (AMBIENT 2015).

∗ 2015 Program Committee member, 6th International Conference on Ambient Sys-tems, Networks and Technologies (ANT 2015), Track on Systems Software En-gineering.


∗ 2014 Local Arrangements Chair, 5th International Conference on Emerging Ubiqui-tous Systems and Pervasive Networks (EUSPN-2014).

∗ 2014 Track Co-chair, 5th International Conference on Ambient Systems, Networksand Technologies (ANT 2014).

∗ 2013 Program Chair, 4th International Conference on Emerging Ubiquitous Sys-tems and Pervasive Networks (EUSPN 2013).

∗ 2013 Program Committee member, 3rd International Conference on Ambient Com-puting, Applications, Services and Technologies (AMBIENT 2013).

∗ 2012, 2013 Program Committee member and track chair on Systems Security and Privacy,International Conference on Ambient Systems, Networks and Technologies.

∗ 2009 Program Committee member, 7th IEEE International Conferences on SoftwareEngineering and Formal Methods (SEFM 2009).

∗ 2011, 2010,2009, 2008, 2007

Program Committee member, Workshop on Requirements Engineering.

∗ 2011, 2010 Program Committee member, International Computing Conference in Arabic.

∗ 2007, 2006,2005

Program Committee member, International Workshop on Model-based Method-ologies for Pervasive and Embedded Software.

∗ 2008, 2007,2006, 2005

Program Committee member, Workshop on Practice and Theory of IT Security.

∗ 2007 Program Committee member, International Conference on the Quality ofInformation and Communications Technology.

∗ 2005 Program Committee member, Information Resources Management Interna-tional Conference –Track: Information Technology Education–.

∗ 2005 Publication Chair, IEEE International Requirements Engineering Conference.

∗ 2005 Program Committee member, Les Nouvelles Technologies de laRepartition (NOTERE’2005).

∗ 2005, 2004 Program Committee member, International Conference on Software Method-ologies, Tools, and Techniques.

∗ 2004 Program Committee member, 2004 GITEX Research Conference on Innovationsin Information Technology.

∗ 2004 Organising Committee (workshop coordinator), The 4th InternationalConference on Application of Concurrency to System Design.

∗ 2003 Co-organiser, Canadian Software Requirements Symposium.

∗ 1999 Co-organiser, Symposium on Relational Methods in Software Engineering:Connecting Theory with Practice.


8.6. Other External Reviews

Undergraduate Computer Science program evaluation committee,Apr. 2009.Mandated by the Vice-President Academic of the Universite du Quebec en Outaouais to evaluate theundergraduate Computer Science program.

Undergraduate Software Engineering program evaluation committee,Nov. 2006.Mandated by the Vice-President Academic and Provost of the University of Ottawa to evaluate theundergraduate Software Engineering program.

M.Sc. Computer Science program evaluation committee,Feb. 2001.Mandated by the Conference of Rectors and Principals of Quebec Universities (Conference des recteurset des principaux des universites du Quebec) CREPUQ to evaluate the M.Sc. Computer Science programof the Universite du Quebec a Hull (UQAH).

8.7. External Grant Reviews

Reviewer, NSERC Strategic Project Grants• July 2014

Reviewer, Mitacs Accelerate Proposal Application• Mar. 2014

Reviewer, Canada Foundation for Innovation• June 2012

Reviewer, Fonds de recherche sur la nature et les technologies Grant• Nov. 2008

Reviewer, NSERC Collaborative Research and Development Grant• Apr. 2008, May 2004

Reviewer, NSERC Discovery Grant• Dec. 2012, Dec. 2011, Dec. 2009, Dec. 2008, Dec. 2006, Dec. 2002

9. Areas of Interest

9.1. Research

Software Product Families of Dependable Systems.During the last 12 years, I tackled problems related to software requirements verification, the modellingand verification of software product families, and software design. Recently, I completed a work on theusage of aspects in the requirements of software product families.


Software and Data Security for Real-Time Elderly Monitoring in a Smart Home.Ubi-systems present very challenging problems in particular when they are used in healthcare applications.My research in this area targets sound development techniques for medical device software. My interesttouch all their development stages and the issues related to security and privacy.

Information Security.I am interested in the research related to information confidentiality. In the last 6 years, I worked on ana-lyzing confidentiality policies, key distribution policies, covert channels, and on developing mathematicalframeworks to deal with the wide problem of information confidentiality.

Foundation of Reasoning on Big Data.I am using and advocating the use of universal algebraic approaches as a basis for analysing, modelling,or resolving several Big Data problems. I think that we need new ways to tackle issues such reasoningon Big Data and cleaning data. The classical techniques do not scale to large size data sets. My work inthis area is characterised by the use of algebraic approaches. We already started getting very promisingresults.

9.2. Teaching

Software Engineering.Software Requirements; Software Architecture Design; Software Detailed Design; Software Testing;Software Security.

Discrete Mathematics and Formal Methods.Formal methods; Model theory; Relation algebras; Formal languages and automata.

10. Honours, Awards, Recognitions

Best presentation award for invited presentation at 2nd Int. Symposium on FutureInformation and Communication Technologies for Ubiquitous HealthCare(Ubi-HealthTech 2015),May 2015.The award is for the presentation titled Engineering of Personalized Medical Device Software: Challengesand Solution Elements.

Adjunct Professor,May 1, 2015 to Apr. 30, 2018.The School of Computer Engineering and Science, Shanghai University, Shanghai, People’s Republic ofChina (PRC)

Best Paper Award Nominee.Paper [35] was nominated for the best paper award at the 4th International Multidisciplinary Conferenceon e-Technologies (MCETECH), May 2009.

Nominated by the McMaster Student Union (MSU) for the 1999-2000 MeritAward.The award is awarded to a first or second year instructor. Candidates are those who receive a certainclass percentage of nominations during the Faculty Awards Nomination Period.

One of best papers of the conference.Paper [50] was selected as one of the best papers of the 6th European Software Engineering Conference/5thACM SIGSOFT Symposium on the Foundations of Software Engineering.


Graduate Scholarships.• Faculty of Science and Engineering, Univ. Laval, Ste-Foy, QC, Canada (Sept. 1997–Dec. 1997)

• Faculty of Science and Engineering, Univ. Laval, Ste-Foy, QC, Canada (Sept. 1992–Aug. 1993)

• Funds for Ph.D. studies support, Univ. Laval, Ste-Foy, QC, Canada (fall 1992, winter 1993, summer1993, fall 1993, winter 1994, fall 1994, winter 1995, fall 1995)

• Faculty of Science and Engineering, Univ. Laval, Ste-Foy, QC, Canada (Jan. 1991–March 1992)

11. Courses Taught

11.1. Undergraduate

SFWR ENG 3A04 – Software Design II• 2014-2015, 2012-2013, 2011-2012, 2010-2011, 2009-2010, 2008-2009

SFWR ENG / COMP SC 2S0A3 – Principles of Programming• 2012-2013

SFWR ENG 2FA3 – Discrete Mathematics and Logic II• 2011-2012, 2010-2011, 2009-2010, 2008-2009, 2007-2008, 2006-2007

SFWR ENG 3RA3 – Software Requirements and Security Considerations• 2007-2008, 2006-2007

SFWR ENG 3R03 – Software Requirements, Inspection, and Testing• 2005-2006

SFWR ENG 2E03 – Applications of Discrete Mathematics in Software Engineering• 2003-2004, 2002-2003, 2001-2002, 2000-2001

SFWR ENG 4EF3; COMP SCI 4EF3 – Software Requirements Activities• 2003-2004, 2002-2003

COMP SCI 4ZP6 – Computer Science Capstone Project• 2003-2004

SFWR ENG 4G03 – Software Engineering Senior Thesis I• 2002-2003, 2001-2002

SFWR ENG 4H03 – Software Engineering Senior Thesis II• 2002-2003, 2001-2002

SFWR ENG 3B04 – Software Design III• 2000-2001

ENG. 1D04 – Engineering Computation• 1999-2000, 1998-1999

SFWR ENG. 2B04 – Software Design II• 1998-1999


11.2. Graduate

CAS 738 Algebraic Methods in Software Engineering and Computer Science• 2013-2014, 2011-2012

COM SFWR 707 – Formal Specification Techniques• 2010-2011, 2009-2010, 2008-2009, 2007-2008, 2006-2007, 2005-2006, 2004-2005

11.3. Postgraduate

N/A

11.4. Other

N/A


12. Supervisorships

TOTAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

i. Master . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

a. Completed . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

b. Current . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

ii. Ph.D. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

a. Completed . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

b. Current . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

iii. Post-Doctoral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

a. Completed . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

b. Current . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0

iv. Doctoral Supervisory Committees . . . . . . . . . . 13

a. Completed . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

b. Current . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

v. Others . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0

a. Completed . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0

b. Current . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0

12.1. Master

12.1.1. Completed (Solo supervision)

∗ Sep. 2013 Mohammed Alabbad,A Feature Modeling Language Based on Product Family.M.A.Sc., McMaster University

∗ Sep. 2010 Jason Jaskolka,Modeling, Analysis, and Detection of Information Leakage via Protocol-BasedCovert Channels.M.A.Sc., McMaster University

∗ Mar. 2010 Fadil Alturki,Jory: A Tool for Feature Modeling Based on Product.M.A.Sc., McMaster University

∗ Sep. 2006 Huong Thi Thu Nguyen,A Proof-of-concept for Using PVS and MAXIMA to Support RelationalCalculus.M.Sc., McMaster University

∗ May 2005 Sara Kennedy,Design and construction of an Encryption Tool.M.Eng., McMaster University

∗ Aug. 2004 Lei Situ,Requirements Decomposition Approaches to Guide System and AcceptanceTesting.M.Sc., McMaster University

∗ Apr. 2002 Ling Wang,Detecting Formality Discrepancy Between Formal Requirements Scenarios.M.Sc., McMaster University


∗ Oct. 2001 Rong Wu,A Tool for Consistency Verification and for Integration of Formal RelationalRequirements Scenarios.M.Sc., McMaster University

12.1.2. Completed (Joint supervision)

∗ Sep. 2014 Reham Fadul,Quantitative Modelling of Non Functional Requirements in Product Families.M.A.Sc., McMaster University

∗ Jan. 2007 Ayesha Kashif,Requirements, Design, and Construction of an Online Research ResourceDatabase System.M.Eng., McMaster University

∗ Sep. 2006 Mahnaz Ahmadi,Requirements Documentation for Manufacturing Systems.M.Sc., McMaster University

∗ Dec. 2004 Issam Al-azzoni,The Verification of Cryptographic Protocols Using Coloured Petri Nets.M.A.Sc., McMaster University

∗ July 2004 Lei Lai,Requirements Documentation For Engineering Mechanics Software: Guidelines,Template and a Case Study.M.A.Sc., McMaster University

∗ June 2003 Bahati Sanga,Assessing and Improving the Quality of Software Requirements SpecificationDocuments (SRSDs).M.Sc., McMaster University

12.1.3. In progress (Solo supervision)

∗ Alicia Marinache.M.A.Sc., McMaster University

∗ Andrew Leclair.M.A.Sc., McMaster University

∗ Amritpal Singh Kabbay.M.Eng., McMaster University

12.1.4. In progress (Joint supervision)

N/A


12.2. Doctoral

12.2.1. Completed (Solo supervision)

∗ Mar. 2015 Jason Jaskolka,On the Modelling, Analysis, and Mitigation of Distributed Covert Channels,Holder of NSERC PGS D scholarship, received School of Graduate Studies Dean’s Award for Excellence

in Communicating Graduate Research, received Department Graduate Student Best Paper Award

(June 2014).

Ph.D. Software Engineering, McMaster University

∗ July 2013 Qinglei Zhang,Aspect-Oriented Product Family Modeling.Ph.D. Software Engineering, McMaster University

The PhD defense committee recommended that the Department should nominate Qinglei Zhang forCAGS/UMI Distinguished Award.

∗ Mar. 2010 Khair Eddin Sabri,Algebraic Framework for the Verification of Confidentiality Properties.Ph.D. Software Engineering, McMaster University

Currently an assistant professor at the department of Computer Science, King Abdullah II School forInformation Technology, The University of Jordan, Jordan.

12.2.2. In progress (Solo supervision)

∗ Mohammed AlAbbad.Ph.D. Software Engineering, McMaster University

12.3. Post-Doctoral

∗ Jan. 2013 –Sep. 2014

Hao Wang, Southern Ontario Smart Computing Innovation Platform (SOSCIP) Consortium.

Certification of Safety and Security in Software Intensive Medical Devices

12.4. Supervisory Committees

∗ Mar. 2012 –Present

Adam Lenarcic.Ph.D. Computer Science, McMaster University

∗ Sep. 2011 –Present

Qian Hu.Ph.D. Computer Science, McMaster University


Xiang Yin.Ph.D. Computer Science, McMaster University


Paul Joannou.Ph.D. Software Engineering, McMaster University



HongFeng Liang.Ph.D. Computer Science, McMaster University


Eden Burton.Ph.D. Software Engineering, McMaster University

∗ Sep. 2011 –Feb. 2015

Morteza Y. Sanati.Ph.D. Computer Science, McMaster University

∗ Sep. 2009 –Dec. 2014

Lucian M. Patcas.Ph.D. Software Engineering, McMaster University

∗ Sep. 2009 –Dec. 2012

Andrew Baker.Ph.D. Computer Science, McMaster University

∗ Sep. 2009 –Dec. 2011

Wessam Gad El-Rab.Ph.D. Computer Science, McMaster University

∗ Sep. 2007 –June 2011

Wen Yu.Ph.D. Software Engineering, McMaster University

∗ Sep. 2007 –Oct. 2010

Yun Zhai.Ph.D. Computer Science, McMaster University

∗ Sep. 2007 –Sep. 2009

Jie Wu.Ph.D. Computer Science, McMaster University

13. Research Funding

13.1. Funding Applied for (under review)

∗ July 2015 –May 2017

Multi-displinary project,Ontario Research Fund (ORF),Role: Leading the software development and will participate in MultisensorInformation Fusion, Software and Data Security for Real-Time Elderly Moni-toring; Co-Investigators: MJ Deen (PI), Q Fang, R. Khedri, R. Selvaganapthyn,T. Kirubarajan, K. Hassanein, S. Hranilovic, A. Grenier, N. Carter, D. Chan,D. Price, and C.H. Chen,$2,856,500 requested. We were invited to resubmit the application for furtherreview..Title: Smarter Home Technologies Towards Better Healthcare for the Elderly


13.2. Support currently held

∗ May 1, 2015 –Apr., 2018

Collaborative Research Work,Route 1 Inc., Investigator: Ridha Khedri, $150, 000.00.Title: Use of Digital Security and Identity Management Infrastructure in the Deliveryof Health Care in Smart Homes

∗ Nov. 1, 2014 –Nov. 1, 2015

Collaborative Research Work,CMC Microsystems, Investigator: Ridha Khedri, $12, 468.00.Title: An Access Control Policy Broker for Securely Accessing and Sharing NetworkResources

∗ Apr. 2014 –Mar. 2019

Discovery Grants - Individual,National Sciences and Engineering Research Council of Canada, $100, 000($20, 000/year).Title: Unifying security and software Product family models to enhance informationconfidentiality

13.3. Support held in the past

∗ Sept. 2012 –Aug. 2014

Southern Ontario Smart Computing Innovation Platform (SOSCIP)Consortium,IBM Canada, Investigators: R. Khedri, M. Lawford, and A. Wassyng, about$120,000 (Funding for one post-doctoral fellow for two years).Title: Formal Verification of Safety and Security in Software Intensive Medical Devices

∗ Apr. 2009 –Mar. 2014

Discovery Grants - Individual,National Sciences and Engineering Research Council of Canada, $95, 000($19, 000/year).Title: Multi-view Assessment of Security Requirements for Software Product Lines

∗ Apr. 2004 –Mar. 2009

Discovery Grants - Individual,National Sciences and Engineering Research Council of Canada, $98, 500($19, 700/year).Title: Software Functional Requirements Specification Decomposition: ArchitecturalDesign and System-Testing Driven Approaches

∗ Jan. 2003 –Dec. 2004

CITO Research Partnership Program,Communication and Information Technology Ontario (CITO),Investigators: J. Carette, W. Kahl, R. Khedri, M. Lawford, and A. Wassyng,$200, 000 ($100, 000/year), my share: $40, 000 ($20, 000/year).Title: Reverse Engineering of High Level Requirements from Assembly Code

∗ Apr. 2000 –Mar. 2004

Research Grants - Individual,National Sciences and Engineering Research Council of Canada, $60, 000($15, 000/year).Title: Using Sequential and Concurrent Scenarios in the Software RequirementsActivities: A Relational Approach

∗ Jan. 1999 –Dec. 2000

Start-up - Individual, $40, 000 ($25, 000 for 1999 and $15, 000 for 2000).


14. Lifetime Publications

TOTAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76

i. Peer Reviewed . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55

a. Contributions to Books . . . . . . . . . . . . . . . . . . . . . . . .2

b. Journal Articles . . . . . . . . . (309 pages) . . . . . . . . .13

c. Proceedings of Meetings . . . . . . . . . . . . . . . . . . . . . . 40

d. Other . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0

ii. Not Peer Reviewed . . . . . . . . . . . . . . . . . . . . . . . . . .2

a. Journal Solicited Reviews of Scholarly Books . . 1

b. Other . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

iii. Accepted for Publication . . . . . . . . . . . . . . . . . . . . 0

a. Peer Reviewed . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0

b. Not Peer Reviewed . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0

iv. Submitted for Publication . . . . . . . . . . . . . . . . . . . 0

a. Peer Reviewed . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0

b. Not Peer Reviewed . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0

v. Unpublished Documents . . . . . . . . . . . . . . . . . . . 19

a. Technical Reports . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

b. Other . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

NB. Principal author’s name is underlined. If no name is underlined, all authors’ contributionsare considered equal. The names of my graduate students are in bold font.

14.1. Peer Reviewed

14.1.1. Contributions to Books

[1] Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka. Advance Technologies, chapter 1:Algebraic Model for Agent Explicit Knowledge in Multi-agent Systems, pages 225 – 250. IN-TECH, August 2009.

[2] Jules Desharnais, Ridha Khedri, and Ali Mili. Relational Methods for Computer Science Ap-plications, chapter 1: Interpretation of Tabular Expressions Using Arrays of Relations, pages 3– 14. Studies in Fuzziness and Soft Computing. Springer-Physica Verlag, 2001. Edited by EwaOr lowska and Andrzej Sza las.

14.1.2. Journal Articles

[3] Jason Jaskolka and Ridha Khedri. Mitigating covert channels based on analysis of thepotential for communication. Theoretical Computer Science, pages 1–40, 2015. (Submitted onDecember 10, 2014. Accepted on March 18, 2015. To Appear.).

[4] Qinglei Zhang and Ridha Khedri. On the weaving process of aspect-oriented product familyalgebra. Journal of Logical and Algebraic Methods in Programming, page 34, 2015. (Submittedon July 16, 2014. Accepted on January 16, 2015. To Appear.).

[5] Jason Jaskolka, Ridha Khedri, and Khair Eddin Sabri. Investigative support for informa-tion confidentiality. Journal of Ambient Intelligence and Humanized Computing, pages 1–23,2015. (Submitted on December 08, 2014. Accepted on April 26, 2015. To Appear. This paperis an extended version of [12] and [13] that has been invited for submission in a Special Issueof the journal.).

[6] Qinglei Zhang, Ridha Khedri, and Jason Jaskolka. An aspect-oriented language for feature-modeling. Journal of Ambient Intelligence and Humanized Computing, 5:343 – 356, 2014.


[7] Khair Eddin Sabri and Ridha Khedri. Algebraic framework for the specification and analysisof cryptographic-key distribution. Fundamenta Informaticae, 112(4):305–335, 2011.

[8] Peter Hofner, Ridha Khedri, and Bernhard Moller. Supplementing product families withbehaviour. International Journal of Informatics, 5(1 – 2 Part 2):245–266, 2011. Special IssueII: Foundations and Practice of Systems and Software Engineering Festschrift in Honor ofManfred Broy.

[9] Peter Hofner, Ridha Khedri, and Bernhard Moller. An algebra of product families. Softwareand Systems Modeling, 10(2):161 – 182, 2011.

[10] Spencer Smith, Lei Lai, and Ridha Khedri. Requirements analysis for engineering compu-tation: A systematic approach for improving reliability. Reliable Computing, 13(1):83 – 107,February 2007.

[11] Issam Al-Azzoni, Douglas G. Down, and Ridha Khedri. Modeling and verification of cryp-tographic protocols using coloured petri nets and design/CPN. Nordic Journal of Computing,12(3):201 – 228, June 2005.

[12] Ridha Khedri. Requirements scenarios formalization technique: N versions towards one goodversion. Electronic Notes in Theoretical Computer Science, 44(3):24 pages, 2003.

[13] Ryszard Janicki and Ridha Khedri. On a formal semantics of tabular expressions. Science ofComputer Programming, 39(1-2):189–213, March 2001.

[14] Jules Desharnais, Marc Frappier, Ridha Khedri, and Ali Mili. Integration of sequential sce-narios. IEEE Transactions on Software Engineering, 24(9):695 – 708, September 1998.

[15] Ali Jaoua, Nadir Belkhiter, Jules Desharnais, and Ridha Khedri. Augmentation automatiquede la fiabilite d’un logiciel. ICO Quebec, 3(3):332 – 337, Autumn 1991.

14.1.3. Proceedings of Meetings (Peer Reviewed)

[16] Mao Huang, Yihai Chen, Ridha Khedri, and Huaikou Miao. In Proceedings of the 5th Interna-tional Workshop on SOFL + MSVL, Lecture Notes in Computer Science, page 14, Las Vegas,USA, 2015. Springer Berlin / Heidelberg. To appear.

[17] Jason Jaskolka, Wendy MacCaull, and Ridha Khedri. Towards an ontology design archi-tecture. In Proceedings of the 2015 International Conference on Computational Science andComputational Intelligence (CSCI’15), page 4, Las Vegas, USA, December 7–9 2015. IEEEComputer Society Conference Publishing Services.

[18] Mouna Jouini, Latifa Ben Arfa Rabai, and Ridha Khedri. Multidimensional approach towards aquantitative assessment of security threats. In Proceedings of the 6th International Conferenceon Ambient Systems, Networks and Technologies, volume 52 of Procedia Computer Science,pages 507– 514, London, United Kingdom, June 2-5 2015. Elsevier.

[19] Jason Jaskolka and Ridha Khedri. Towards the certification of covert channel freeness incloud-based systems. In Proceedings of the 6th International Conference on Ambient Systems,Networks and Technologies, volume 52 of Procedia Computer Science, pages 318–325, London,United Kingdom, June 2-5 2015. Elsevier.


[20] Hao Wang, Yihai Chen, Ridha Khedri, and Alan Wassyng. Envisioning a requirements specifi-cation template for medical device software. In A. Jedlitschka et al., editor, The 15th Interna-tional Conference of Product Focused Software Development and Process Improvement (PRO-FES 2014), volume 8892 of Lecture Notes in Computer Science, pages 209 – 223. SpringerInternational Publishing Switzerland, 2014.

[21] Jason Jaskolka and Ridha Khedri. A formulation of the potential for communication con-dition using C2KA. In Adriano Peron and Carla Piazza, editors, Proceedings of the 5th In-ternational Symposium on Games, Automata, Logics and Formal Verification, volume 161of Electronic Proceedings in Theoretical Computer Science, pages 161–174. Open PublishingAssociation, Verona, Italy, September 2014.

[22] Jason Jaskolka, Ridha Khedri, and Khair Eddin Sabri. Investigative support for infor-mation confidentiality part I: Detecting confidential information leakage via protocol-basedcovert channels. In Proceedings of the 9th International Conference on Future Networks andCommunications, volume 34 of Procedia Computer Science, FNC 2014 and MobiSPC 2014,pages 276 – 285, Niagara Falls, ON, Canada, August 2014. (Invited Paper).

[23] Jason Jaskolka, Ridha Khedri, and Khair Eddin Sabri. Investigative support for informa-tion confidentiality part II: Applications in cryptanalysis and digital forensics. In Proceedingsof the 9th International Conference on Future Networks and Communications, volume 34 ofProcedia Computer Science, FNC 2014 and MobiSPC 2014, pages 266 – 275, Niagara Falls,ON, Canada, August 2014. (Invited Paper).

[24] Jason Jaskolka, Ridha Khedri, and Qinglei Zhang. Endowing concurrent Kleene algebrawith communication actions. In P. Hfner et al., editor, 14th International Conference on Re-lational and Algebraic Methods in Computer Science (RAMiCS 2014), volume 8428 of LectureNotes in Computer Science, pages 19 – 36. Springer International Publishing Switzerland,2014.

[25] Ridha Khedri, Fei Chiang, and Khair Eddin Sabri. An algebraic approach for data cleansing.In the 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks,volume 21 of Procedia Computer Science, pages 50 – 59. Procedia Computer Science, October2013.

[26] Khair Eddin Sabri and Ridha Khedri. A generic algebraic model for the analysis ofcryptographic-key assignment schemes. In J. Garcia-Alfaro et al., editor, Foundations andPractice of Security Symposium, volume 7743 of Lecture Notes in Computer Science, pages 62– 77. Springer Berlin / Heidelberg, 2013.

[27] Qinglei Zhang, Ridha Khedri, and Jason Jaskolka. An aspect-oriented language for productfamily specification. In E. Shakshuki and M. Younas, editors, Proceedings of the 3rd Inter-national Conference on Ambient Systems, Networks and Technologies, volume 10 of ProcediaComputer Science, pages 482 – 489, Niagara Falls, Ontario, Canada, August 2012. Elsevier.

[28] Qinglei Zhang, Ridha Khedri, and Jason Jaskolka. Verification of aspectual composition infeature-modeling. In George Eleftherakis, Mike Hinchey, and Mike Holcombe, editors, SoftwareEngineering and Formal Methods, volume 7504 of Lecture Notes in Computer Science, pages109 – 125. Springer Berlin / Heidelberg, 2012.


[29] Jason Jaskolka, Ridha Khedri, and Qinglei Zhang. On the necessary conditions for covertchannel existence: A state-of-the-art survey. In E. Shakshuki and M. Younas, editors, Pro-ceedings of the 3rd International Conference on Ambient Systems, Networks and Technologies,volume 10 of Procedia Computer Science, pages 458 – 465, Niagara Falls, Ontario, Canada,August 2012. Elsevier.

[30] Jason Jaskolka, Ridha Khedri, and Khair Eddin Sabri. A formal test for detecting infor-mation leakage via covert channels. In Proceedings of the 7th Cyber Security and InformationIntelligence Research Workshop, CSIIRW7, pages 1 – 4, Oak Ridge, TN, USA, October 2011.

[31] Jason Jaskolka and Ridha Khedri. Exploring covert channels. In 44th Hawaii InternationalConference on System Sciences (HICSS), Minitrack on Information Security and Cyber Crime,pages 1 – 10, January 4 –7 2011.

[32] Fadil Alturki and Ridha Khedri. A tool for formal feature modeling based on BDDs andproduct families algebra. In Graciela Hadad, Oscar Dieste, and Juan Pablo, editors, 13thWorkshop on Requirements Engineering (WER 2010), pages 109 – 120. Universidad del Azuay,Ecuador, April 12 – 16 2010.

[33] Fadil Alturki and Ridha Khedri. A literature survey of feature modeling. In The InternationalComputing Conference in Arabic (ICCA 2010), pages 45 – 464. Hammamet, Tunisia, May 19– 21 2010.

[34] Khair Eddin Sabri and Ridha Khedri. An algebraic framework for the analysis of informationconfidentiality. In The International Computing Conference in Arabic (ICCA 2010), pages103–119. Hammamet, Tunisia, May 19 – 21 2010.

[35] Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka. Verification of information flowin agent-based systems. In G. Babin, P. Kropf, and M. Weiss, editors, 4th InternationalMCETECH Conference on e-Technologies, volume 26 of Lecture Notes in Business InformationProcessing, pages 252 – 266, Ottawa, Ontario, Canada, May 4 – 6, 2009. Springer-Verlag BerlinHeidelberg.

[36] Peter Hofner, Ridha Khedri, and Bernhard Moller. Algebraic view reconciliation. In 6th IEEEInternational Conferences on Software Engineering and Formal Methods, pages 85 – 94. CapeTown, South Africa, November 10 – 14, 2008.

[37] Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka. Specification of agent explicitknowledge in cryptographic protocols. In World Academy of Science, Engineering and Tech-nology (WASET), and presented at the International Conference on Computer, Electrical, andSystems Science, and Engineering (CESSE 2008), volume 35, pages 447 – 454. Venice, Italy,October 29-31 2008.

[38] Khair Eddin Sabri and Ridha Khedri. Agent explicit knowledge: Survey of the literatureand elements of a suitable representation. In Practice and Theory of IT Security, Satelliteworkshop of the Montreal Conference on e-Technologies, Montreal, Quebec, Canada, January23, 2008.

[39] Peter Hofner, Ridha Khedri, and Bernhard Moller. Feature algebras. In Jayadev Misra,Tobias Nipkow, and Emil Sekerinski, editors, FM 2006: Formal Methods, volume 4085 ofLecture Notes in Computer Science series, pages 300 – 315, 14th International Symposium


on Formal Methods, McMaster University, Hamilton, Ontario, Canada, August 21 – 27 2006.Springer.

[40] Khair Eddin Sabri and Ridha Khedri. A multi-view approach for the analysis of crypto-graphic protocols. In Practice and Theory of IT Security, Satellite workshop of the MontrealConference on e-Technologies, pages 21 – 27, Montreal, Quebec, Canada, May 17 – 19 2006.

[41] Issam Al-Azzoni, Douglas G. Down, and Ridha Khedri. Modeling and verification of cryp-tographic protocols using coloured petri nets and design/CPN. In Johan Lilius, Ricardo J.Machado, Dragos Truscan, and Joao M. Fernandes, editors, 2nd International Workshop onModel-based Methodologies for Pervasive and Embedded Software (MOMPES 2005), volume 39of TUCS General Publication, pages 1 – 19, Rennes, France, June 2005. Turku Centre for Com-puter Science. ISBN 952-12-1556-9, ISSN 1239-1905.

[42] Spencer Smith, Lei Lai, and Ridha Khedri. Requirements analysis for engineering computa-tion. In National Science Foundation Workshop on Reliable Engineering Computing, pages 29– 51, Savannah, Georgia, USA, September 15 – 17 2004.

[43] Ridha Khedri and Imen Bourguiba. Formal derivation of functional architectural design. In2nd IEEE International Conference on Software Engineering and Formal Methods, pages 356– 365, Beijing, China, September 26 – 30 2004. IEEE Computer Society Press.

[44] Ridha Khedri and Imen Bourguiba. Requirements scenaros based system-testing. InSixteenth International Conference on Software Engineering and Knowledge Engineering(SEKE’04), pages 252 – 257, Banff, Alberta, Canada, June 20 – 24 2004.

[45] Ridha Khedri, Ling Wang, and Situ Lei. Requirements specification decomposition: Asystem-testing driven approach. In Proceedings of the 7th International Seminar On Rela-tional Methods in Computer Science, pages 97 – 104, Bad Melente, Germany, May 12 – 172003.

[46] Ridha Khedri, Rong Wu, and Bahati Sanga. SCENATOR: A prototype tool for require-ments inconsistency detection. In Farn Wang and Insup Lee, editors, Proceedings of the 1stInternational Workshop on Automated Technology for Verification and Analysis, pages 75 –86, Taiwan, Republic of China, December 10 – 13 2003. National Taiwan University.

[47] Ridha Khedri. Requirements scenarios formalization technique: N versions towards one goodversion. In Wolfram Kahl, David L. Parnas, and Gunther Schmidt, editors, Proceedings ofthe Relational Methods in Software. RelMiS 2001. A satellite event of ETAPS 2001, Genova,Italy, April 7 – 8 2001, pages 1 – 24, 2001.

[48] Ryszard Janicki and Ridha Khedri. Remarks on mereology of relations. In Jules Desharnais,editor, 5th International Seminar On Relational Methods in Computer Science, pages 133 –140, Valcartier, Quebec, Canada, January 9 – 14 2000.

[49] Jules Desharnais, Ridha Khedri, and Ali Mili. Towards a uniform relational semantics fortabular expressions. In Ewa Or lowska and Andrzej Sza las, editors, 4th International SeminarOn Relational Methods in Computer Science, Warsaw, Poland, September 14 – 20 1998.

[50] Jules Desharnais, Marc Frappier, Ridha Khedri, and Ali Mili. Integration of sequential scenar-ios. In M. Jazayeri and H. Schauer, editors, Lecture Notes in Computer Science 1301, pages 310– 326, Zurich, Suisse, September 1997. Software Engineering-ESEC/FSE’97, Springer-Verlag.(Also appeared in ACM Software Engineering Notes, 22(6):310 – 326, November 1997).


[51] B. Chaib-Draa, J. Desharnais, R. Khedri, I. Jarras, S. Sayadi, and F. Tchier. Une approcherelationnelle a la decomposition parallele. In S. Brlek, editor, Methodes mathematiques pourla synthese des systemes informatiques, BMW-94, pages 89 – 103, UQAM, Montreal, Canada,May 1994. Laboratoire de combinatoire et d’informatique mathematique.

[52] John Plaice, Ridha Khedri, and Rene Lalement. From abstract time to real time. In Proceedingsof Sixth International Symposium on Lucid and Intensional Programming, pages 83 – 92, 1993.

[53] Ridha Khedri. Relational methods in software engineering: Connecting theory with practice.In Proceedings, Symposium on Relational Methods in Software Engineering, Hamilton, Ontario,Canada, March 22 – 24, 1999. Position paper.

[54] Joanne Atlee, Wolfram Bartussek, Jan Bredereke, Martin Glinz, Ridha Khedri, Lutz Prechelt,and David Weiss. Requirements. In Ernst Denert, Daniel Hoffman, Jochen Ludewig, andDavid Parnas, editors, Software Engineering Research and Education: Seeeking a new Agenda,pages 9 – 16. Internationales Begegnungs-und Forschungszentrum fur Informatik, February 14– 19 1999.

[55] Jan Bredereke, Karol Fruhauf, Ridha Khedri, Stefan Krauss, and Andreas Zeller. Maintenance.In Ernst Denert, Daniel Hoffman, Jochen Ludewig, and David Parnas, editors, Software Engi-neering Research and Education: Seeeking a new Agenda, Dagstuhl-Seminar-Report 230, pages41 – 53. Internationales Begegnungs-und Forschungszentrum fur Informatik, February 14 – 191999.

[56] Jules Desharnais, Ridha Khedri, and Ali Mili. Relational semantics to tabular expressions.Talk abstract, Invited talk, Proceedings, 5th Maghrebine Conference on Software Engineeringand Artificial Intelligence, Tunis, Tunisia, December 8 – 10, 1998.

[57] Fairouz Tchier, Ridha Khedri, and Jules Desharnais. Une semantique relationnelle demoniaque.

In 62eme congres de l’ACFAS, pages 209 – 209, Montreal, Canada, May 1994. (Summary).

14.1.4. Other

14.2. Not Peer Reviewed

14.2.1. Journal Solicited Book Reviews of Scholarly Books

[58] Ridha Khedri. Optimization in Computer Engineering–Theory and Applications: Book Reviewof Chapter 8 – Applying Graph Coloring to Frequency Assignment. Journal of SoftwareEngineering and Applications, 5(3):109 – 109, May 2012.

14.2.2. Not Peer Reviewed Invited Papers and Others

[59] Ridha Khedri and Karim Djouani. Preface. In the 4th International Conference on EmergingUbiquitous Systems and Pervasive Networks, volume 21 of Procedia Computer Science, pages7 – 8. Elsevier, October 2013.


14.3. Accepted for Publication (Final Form)

14.3.1. Peer Reviewed

N/A

14.3.2. Not Peer Reviewed

N/A

14.4. Submitted for Publication


N/A


N/A

14.5. Unpublished Documents

14.5.1. Technical Reports

[60] Jason Jaskolka, Ridha Khedri, and Qinglei Zhang. Foundations of communicating concur-rent kleene algebra. Technical Report CAS-13-07-RK, McMaster University, November 2013.Available: http://www.cas.mcmaster.ca/cas/0reports/CAS-13-01-RK.pdf.

[61] Qinglei Zhang and Ridha Khedri. Proofs of the convergence of the rewriting system for theweaving of aspects in the ao-pfa language. Technical Report CAS-13-01-RK, McMaster Uni-versity, April 2013. Available: http://www.cas.mcmaster.ca/cas/0reports/CAS-13-01-RK.pdf.

[62] Qinglei Zhang, Ridha Khedri, and Jason Jaskolka. Aspect-oriented lan-guage based on product family algebra: Aspects specification and verification.Technical Report CAS-11-08-RK, McMaster University, August 2011. Available:http://www.cas.mcmaster.ca/cas/0reports/CAS-11-08-RK.pdf.


[63] Peter Hofner, Ridha Khedri, and Bernhard Moller. Supplementing product families withbehaviour. Universitat Augsburg Technical Report 2010-13, Institute of Computer Science,University of Augsburg, September 11, 2011.

[64] Jason Jaskolka, Ridha Khedri, and Khair Eddin Sabri. Information leakage via protocol-based covert channels: Detection, automation, and applications. Technical Report CAS-11-05-RK, Department of Computing and Software, Faculty of Engineering, McMaster University,January 2011.

[65] Khair Eddin Sabri, Ridha Khedri, and Jason Jaskolka. Automated verification of informa-tion flow in agent-based systems. Technical Report CAS-09-01-RK, Department of Computingand Software, Faculty of Engineering, McMaster University, January 2009.

[66] Ridha Khedri. Formal model driven approach to deal with requirements volatility. Comput-ing and Software Technical Reports CAS-08-03-RK, Department of Computing and Software,Faculty of Engineering, McMaster University, January 2008.

[67] Khair Eddin Sabri and Ridha Khedri. A mathematical framework to capture agent explicitknowledge in cryptographic protocols. Computing and Software Technical Reports CAS-07-04-RK, Department of Computing and Software, Faculty of Engineering, McMaster University,October 2007.

[68] Khair Eddin Sabri and Ridha Khedri. Multi-view framework for the analysis of crypto-graphic protocols. Computing and Software Technical Reports CAS-07-04-RK, Department ofComputing and Software, Faculty of Engineering, McMaster University, November 2007.

[69] Peter Hofner, Ridha Khedri, and Bernhard Moller. Algebraic view reconciliation. UniversitatAugsburg Technical Report 2007-13, Institute of Computer Science, University of Augsburg,December 2007.

[70] Peter Hofner, Ridha Khedri, and Bernhard Moller. Feature algebra. Universitat AugsburgTechnical Report 2006-04, Institute of Computer Science, University of Augsburg, June 2006.

[71] Jules Desharnais, Ridha Khedri, and Ali Mili. Computing the demonic meet of relationsrepresented by predicate expression tables. C.A.S. Report Series CAS-04-03-RK, Departmentof Computing and Software, Faculty of Engineering, McMaster University, August 2004.

[72] Ridha Khedri. Requirements scenarios formalization technique: N versions towards one goodversion. In Wolfram Kahl, David L. Parnas, and Gunther Schmidt, editors, Proceedings ofthe Relational Methods in Software. RelMiS 2001. A satellite event of ETAPS 2001, pages19 – 35, Genova, Italy, April 7 – 8 2001. Universitat der Bundeswehr Munchen, Fakultat furInformatik.

[73] Ridha Khedri and Jules Desharnais. Concurrency: A relational approach. Technical Report382, Software Engineering Research Group, Department of Computing and Software, McMas-ter University, October 1999.

[74] Ridha Khedri. Sequential scenarios verification and integration using tabular expressions.CRL Report 374, Communications Research Laboratory, Faculty of Engineering, McMasterUniversity, June 1999.


[75] Ryszard Janicki and Ridha Khedri. On a formal semantics of tabular expres-sions. SERG Report 379, Software Engineering Research Group, Department of Com-puting And Software, Faculty of Engineering, McMaster University, September 1999.http://www.crl.mcmaster.ca/SERG/serg.publications.html.

[76] Jules Desharnais, Fairouz Tchier, and Ridha Khedri. Demonic relational semantics of se-quential programs. Technical Report DIUL-RR-9406, Departement d’Informatique, UniversiteLaval, Sainte-Foy, Quebec, Canada, 1994.

14.5.2. Other

[77] Ridha Khedri. Concurrence, bisimulation et equation d’interface : une approche relationnelle.PhD thesis, Faculte des etudes superieures de l’Universite Laval, Sainte-Foy, Quebec, Canada,August 1998.

[78] Ridha Khedri. Etude comparative des methodes de recouvrement avant de programmes. Mas-ter’s thesis, Faculte des etudes superieures de l’Universite Laval, Sainte-Foy, Quebec, Canada,May 1993.

15. Presentations at Meetings

15.1. Invited

∗ Oct. 17, 2014 Covert Channels: A close look at one of the necessary conditions for theirexistence, School of Computer Science, McGill University, Montreal, Canada.Ridha Khedri

∗ Mar. 18, 2013 The Nature and Challenges of Covert Channels,IEEE Toronto - Computer Chapter & the Distributed Applications and Broad-band NEtworks Laboratory (DABNEL), Department of Computer Science,Ryerson University, Toronto, Canada.Ridha Khedri

∗ May 16, 2010 Specification and Analysis of Software Product Families using Product FamiliesAlgebra,Half-day tutorial at the ACS/IEEE International Conference on ComputerSystems and Applications (AICCSA 2010), Hammamet, Tunisia.Ridha Khedri

∗ Oct. 26, 2006 Description and Analysis of Software System Families using Feature Algebra,Half-day tutorial at the 5th International Conference on Software Method-ologies, Tools and Techniques, Quebec, Quebec, Canada.Ridha Khedri

∗ Sep. 29, 2005 Software Requirements Validation and Consistency Verification: a RelationalApproach, University of Augsburg, Augsburg, Germany.Ridha Khedri


15.2. Contributed


∗ Oct. 12, 2011 A formal test for detecting information leakage via covert channels,The 7th Annual Cyber Security and Information Intelligence Research Work-shop (CSIIRW7), Oak Ridge National Laboratory, Tennessee, USA.Jason Jaskolka, Ridha Khedri, and Khair Eddin Sabri

∗ Jan. 5, 2011 Exploring Covert Channels,44th Hawaii International Conference on System Sciences (HICSS), Koloa,Kauai, Hawaii.Jason Jaskolka and Ridha Khedri

∗ May 20, 2010 A Literature Survey of Feature Modeling,The International Computing Conference in Arabic (ICCA 2010), Hammamet,Tunisia, (Presentation in Arabic).Fadil Alturki and Ridha Khedri

∗ May 20, 2010 An Algebraic Framework for the Analysis of Information Confidentiality,The International Computing Conference in Arabic (ICCA 2010), Hammamet,Tunisia, (Presentation in Arabic).Khair Eddin M. Sabri and Ridha Khedri

∗ Apr. 13, 2010 A Tool for Formal Feature Modeling Based on BDDs and Product FamiliesAlgebra,The 13th Workshop on Requirements Engineering , Cuenca, Ecuador.Ridha Khedri

∗ Nov. 12, 2008 Algebraic view reconciliation,6th IEEE International Conferences on Software Engineering and Formal Meth-ods, Cape Town, South Africa.Peter Hofner, Ridha Khedri, and Bernhard Moller

∗ Aug. 23, 2006 Feature algebras,14th International Symposium on Formal Methods, McMaster University,Hamilton, Ontario, Canada.Peter Hofner, Ridha Khedri, and Bernhard Moller

∗ Dec. 11, 2003 SCENATOR: A Prototype Tool for Requirements Inconsistency Detection,International Workshop on Automated Technology for Verification and Analy-sis, Taiwan, Republic of China.Ridha Khedri, Rong Wu, and Bahati Sanga

∗ May 13, 2003 Requirements Specification Decomposition: A System-Testing Driven Ap-proach,7th International Seminar on Relational Methods in Computer Science,Bad Malente, Germany.Ridha Khedri, Ling Wang, and Lei Situ


∗ Sep. 21, 2002 The Calculus of Relations in Requirements Verification and Validation and inFunctional Testing,Relation Day at Brock, Computer Science Department, Brock University,St. Catharines, Ontario, Canada.Ridha Khedri

∗ Apr. 8, 2001 Requirements Scenarios Formalization Technique: N Versions Towards OneGood Version,Relational Methods in Software, A Satellite Event to ETAPS 2001, Genova,Italy.Ridha Khedri

∗ Dec. 8, 1998 Relational Semantics to Tabular Expressions,5th Maghrebine Conference on Software Engineering and Artificial Intelligence,Tunis, Tunisia.Jules Desharnais, Ridha Khedri, and Ali Mili

∗ Sep. 1997 Integration of Sequential Scenarios,6th European Software Engineering Conference, Zurich, Switzerland.Jules Desharnais, Marc Frappier, Ridha Khedri, and Ali Mili


∗ Apr. 8, 2001 SCENATOR: A Tool for Formal Scenarios Consistency Verification,Relational Methods in Software, A Satellite Event to ETAPS 2001, Genova,Italy.Ridha Khedri

∗ Dec. 7, 1998 Sequential Scenario Verification and Integration Using Tabular Expressions,Department of Computer Science and Software Engineering, Faculty of En-gineering and Computer Science, Concordia University, Montreal, Quebec,Canada.Ridha Khedri

∗ Nov. 11, 1997 Integration of Sequential Scenarios, Communication Research Laboratory,Faculty of Engineering, McMaster University, Hamilton, Ontario, Canada.Ridha Khedri

16. Administrative Responsibilities

16.1. Department

∗ Jan. 2015 –June 2015

Health and Safety Committee, Chair

∗ Apr. 2014 –June 2015

Tenure, Promotions, and Consulting –Elected–


∗ Jan. 2014 –June 2014

Appointments Committee, Member

∗ Jan. 2014 –Jun. 2015

Graduate Curriculum and Policy Committee, Chair from Jan. 2014 to Jun.2014

∗ Jul. 2014 –June 2015

Software Engineering Graduate Admissions Committee, Member

∗ Jan. 2014 –June 2014

Graduate Admissions and Studies Committee, Member

∗ Jan. 2014 –June 2014

Graduate Awards Committee, Member

∗ Sep. 2011 –Dec. 2012

Strategic Planning Subcommittee, Chair

∗ July 2011 –Dec. 2012

Graduate Advisor for Software Engineering, Mechatronics, and SoftwareEngineering and Virtual System Design programs

∗ July 2010 –Dec. 2012


∗ July 2010 –Dec. 2012

Software Engineering Admissions Committee, Chair

∗ July 2010 –Dec. 2012

Graduate Curriculum and Policy Committee, Member

∗ July 2008 –June 2010

Faculty student liaison (Software Engineering)

∗ July 2007 –June 2010

Undergraduate Advisor for Software Engineering Programs and Mechatron-ics Program

∗ July 2007 –June 2010

Undergraduate Curriculum and Policy – All CEAB Accredited EngineeringPrograms, Chair

∗ July 2007 –June 2010

Tenure, Promotions, and Consulting –Elected–

∗ July 2004 –June 2007

Undergraduate Curriculum and Policy – All CEAB Accredited EngineeringPrograms, Member

∗ July 2004 –June 2005

Department Seminars, Organizer

∗ June 2003 –Dec. 2012

Software Engineering Ph.D. Comprehensive Oral Exams Committee, Member

∗ Nov. 2003 –July 2005

Appointments Committee, Member

∗ Sep. 2001 –July 2004

Computer Science Graduate Committee, Member


∗ Jan. 1999 –Aug. 2001


16.2. Faculty

∗ Jan. 2015 –June 2015

Joint Health and Safety Committee, Member

∗ July 2010 –Dec. 2012


∗ July 2009 –June 2010

Undergraduate Curriculum, Calendar and Policy, Member

∗ July 2009 –June 2010

Undergraduate Recruitment and Admissions Committee, Member

∗ July 2004 –July 2007

Undergraduate Curriculum, Calendar and Policy, Member

∗ Jan. 1999 –Aug. 2001


16.3. University

∗ Jul. 2015 –Present

Faculty of Engineering Representative to the Faculty ofSocial Sciences –Elected–

17. Biographical Listings

N/A

18. Other Responsibilities

N/A
