Yehia Elrakaiby

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 6

Top Topics

Requirements Elicitation

Security Policies

Requirements Engineering

Top Venues

Publications

Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
CaRE: a refinement calculus for requirements engineering based on argumentation theory. Softw. Syst. Model. 21 (6) (2022)
Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh
Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems. CoRR (2020)
Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. ER (2020)
Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos
CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics. RE (2018)
Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews. RE (2017)
Christian Jung, Denis Feth, Yehia Elrakaiby
Automatic derivation of context descriptions. CogSIMA (2015)
Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos
Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. AAAI Spring Symposia (2014)
Yehia Elrakaiby, Jun Pang
Dynamic Analysis of Usage Control Policies. SECRYPT (2014)
Yehia Elrakaiby, Moussa Amrani, Yves Le Traon
Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies. ESSoS (2014)
Donia El Kateb, Yehia Elrakaiby, Tejeddine Mouelhi, Iram Rubab, Yves Le Traon
Towards a Full Support of Obligations in XACML. CRiSIS (2014)
Donia El Kateb, Yehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon
Access control enforcement testing. AST (2013)
Yehia Elrakaiby, Yves Le Traon
A PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications. ARES (2013)
Frédéric Cuppens, Nora Cuppens-Boulahia, Yehia Elrakaiby
Formal specification and management of security policies with collective group obligations. J. Comput. Secur. 21 (1) (2013)
Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia
Formal enforcement and management of obligation policies. Data Knowl. Eng. 71 (1) (2012)
Yehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon
Testing Obligation Policy Enforcement Using Mutation Analysis. ICST (2012)
Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia
An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations. Int. J. Mob. Comput. Multim. Commun. 3 (2) (2011)
Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia
From Contextual Permission to Dynamic Pre-obligation: An Integrated Approach. ARES (2010)
Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia
From state-based to event-based contextual security policies. ICDIM (2009)
Stere Preda, Frédéric Cuppens, Nora Cuppens-Boulahia, Joaquín García-Alfaro, Laurent Toutain, Yehia Elrakaiby
Semantic context aware security policy deployment. AsiaCCS (2009)
Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia
Formalization and Management of Group Obligations. POLICY (2009)
Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia
Interactivity for Reactive Access Control. SECRYPT (2008)