Interactivity for Reactive Access Control. - Yehia ElRakaiby; Frédéric Cuppens; Nora Cuppens-Boulahia (SECRYPT, 2008)

Semantic context aware security policy deployment. - Stere Preda; Frédéric Cuppens; Nora Cuppens-Boulahia; Joaquín García-Alfaro; Laurent Toutain; Yehia Elrakaiby (AsiaCCS, 2009)

From state-based to event-based contextual security policies. - Yehia El Rakaiby; Frédéric Cuppens; Nora Cuppens-Boulahia (ICDIM, 2009)

Formalization and Management of Group Obligations. - Yehia El Rakaiby; Frédéric Cuppens; Nora Cuppens-Boulahia (POLICY, 2009)

From Contextual Permission to Dynamic Pre-obligation: An Integrated Approach. - Yehia Elrakaiby; Frédéric Cuppens; Nora Cuppens-Boulahia (ARES, 2010)

An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations. - Yehia Elrakaiby; Frédéric Cuppens; Nora Cuppens-Boulahia (Int. J. Mob. Comput. Multim. Commun., 2011)

Testing Obligation Policy Enforcement Using Mutation Analysis. - Yehia Elrakaiby; Tejeddine Mouelhi; Yves Le Traon (ICST, 2012)

Formal enforcement and management of obligation policies. - Yehia Elrakaiby; Frédéric Cuppens; Nora Cuppens-Boulahia (Data Knowl. Eng., 2012)

A PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications. - Yehia Elrakaiby; Yves Le Traon (ARES, 2013)

Normative Reasoning and Consequence. - Jan M. Broersen; Stephen Cranefield; Yehia Elrakaiby; Dov M. Gabbay; Davide Grossi; Emiliano Lorini; Xavier Parent 001; Leendert W. N. van der Torre; Luca Tummolini; Paolo Turrini; François Schwarzentruber (Normative Multi-Agent Systems, 2013)

Access control enforcement testing. - Donia El Kateb; Yehia ElRakaiby; Tejeddine Mouelhi; Yves Le Traon (AST, 2013)

Formal specification and management of security policies with collective group obligations. - Frédéric Cuppens; Nora Cuppens-Boulahia; Yehia Elrakaiby (J. Comput. Secur., 2013)

Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. - Pouyan Ziafati; Yehia Elrakaiby; Marc van Zee; Mehdi Dastani; John-Jules Ch. Meyer; Leendert W. N. van der Torre; Holger Voos (AAAI Spring Symposia, 2014)

Towards a Full Support of Obligations in XACML. - Donia El Kateb; Yehia ElRakaiby; Tejeddine Mouelhi; Iram Rubab; Yves Le Traon (CRiSIS, 2014)

Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies. - Yehia Elrakaiby; Moussa Amrani; Yves Le Traon (ESSoS, 2014)

Dynamic Analysis of Usage Control Policies. - Yehia Elrakaiby; Jun Pang 001 (SECRYPT, 2014)

Automatic derivation of context descriptions. - Christian Jung 001; Denis Feth; Yehia Elrakaiby (CogSIMA, 2015)

Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. - Yehia Elrakaiby; Alessio Ferrari 001; Paola Spoletini; Stefania Gnesi; Bashar Nuseibeh (RE, 2017)

CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. - Yehia Elrakaiby; Alessio Ferrari 001; John Mylopoulos (RE, 2018)

A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (ER, 2020)

Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems. - Yehia Elrakaiby; Paola Spoletini; Bashar Nuseibeh (CoRR, 2020)

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Zenodo, 2020)

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Zenodo, 2020)

CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool). - Yehia ElRakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Zenodo, 2020)

CaRE: a refinement calculus for requirements engineering based on argumentation theory. - Yehia Elrakaiby; Alexander Borgida; Alessio Ferrari 001; John Mylopoulos (Softw. Syst. Model., 2022)