Ridha Khedri
Cited by
Cited by
On a formal semantics of tabular expressions
R Janicki, R Khedri
Science of Computer Programming 39 (2-3), 189-213, 2001
Feature algebra
P Höfner, R Khedri, B Möller
International Symposium on Formal Methods, 300-315, 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
Integration of sequential scenarios
J Desharnais, M Frappier, R Khédri, A Mili
IEEE Transactions on Software Engineering 24 (9), 695-708, 1998
An algebra of product families
P Höfner, R Khedri, B Möller
Software & Systems Modeling 10 (2), 161-182, 2011
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
Integration of Sequential Scenarios
A Desharnais, Jules & Frappier, Marc & Khedri, Ridha & Mili
ACM Software Engineering Notes 22, 310-326, 1997
Requirements analysis for engineering computation: A systematic approach for improving reliability
S Smith, L Lai, R Khedri
Reliable computing 13 (1), 83-107, 2007
A Multidimensional Approach towards a Quantitative Assessment of Security Threats.
M Jouini, LBA Rabai, R Khedri
ANT/SEIT 52, 507-514, 2015
Exploring covert channels
J Jaskolka, R Khedri
2011 44th Hawaii International Conference on System Sciences, 1-10, 2011
Verification of information flow in agent-based systems
KE Sabri, R Khedri, J Jaskolka
International Conference on E-Technologies, 252-266, 2009
Supplementing Product Families with Behaviour
P Höfner, B Möller, R Khedri
Algebraic view reconciliation
P Höfner, R Khedri, B Möller
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
Towards a uniform relational semantics for tabular expressions.
J Desharnais, R Khédri, A Mili
RelMiCS, 53-57, 1998
Demonic relational semantics of sequential programs
J Desharnais, R Khédri, F Tchier
Université Laval, Dép. d'informatique, 1994
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
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
Endowing concurrent Kleene algebra with communication actions
J Jaskolka, R Khedri, Q Zhang
International Conference on Relational and Algebraic Methods in Computer …, 2014
Requirements scenarios formalization technique: N versions towards one good version
R Khedri
Electronic Notes in Theoretical Computer Science 44 (3), 112-135, 2003
Interpretation of tabular expressions using arrays of relations
J Desharnais, R Khedri, A Mili
Relational methods for computer science applications, 3-14, 2001
The system can't perform the operation now. Try again later.
Articles 1–20