Yehia Elrakaiby

20 papers A 5B 2C 3Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
CaRE: a refinement calculus for requirements engineering based on argumentation theory.
Softw. Syst. Model.
Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
2020 A conf
A Refinement Calculus for Requirements Engineering Based on Argumentation Theory.
ER
Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
2020 J jnl
Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems.
CoRR
Yehia Elrakaiby, Paola Spoletini, Bashar Nuseibeh
2018 A conf
CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.
RE
Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos
2017 A conf
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews.
RE
Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh
2015 Misc conf
Automatic derivation of context descriptions.
CogSIMA
Christian Jung, Denis Feth, Yehia Elrakaiby
2014 C conf
Dynamic Analysis of Usage Control Policies.
SECRYPT
Yehia Elrakaiby, Jun Pang
2014 — conf
Reasoning on Robot Knowledge from Discrete and Asynchronous Observations.
AAAI Spring Symposia
Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos
2014 — conf
Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies.
ESSoS
Yehia Elrakaiby, Moussa Amrani, Yves Le Traon
2014 C conf
Towards a Full Support of Obligations in XACML.
CRiSIS
Donia El Kateb, Yehia Elrakaiby, Tejeddine Mouelhi, Iram Rubab, Yves Le Traon
2013 B conf
A PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications.
ARES
Yehia Elrakaiby, Yves Le Traon
2013 — conf
Access control enforcement testing.
AST@ICSE
Donia El Kateb, Yehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon
2013 J jnl
Formal specification and management of security policies with collective group obligations.
J. Comput. Secur.
Frédéric Cuppens, Nora Cuppens-Boulahia, Yehia Elrakaiby
2013 — ch.
Normative Reasoning and Consequence.
Normative Multi-Agent Systems
Jan M. Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber
2012 J jnl
Formal enforcement and management of obligation policies.
Data Knowl. Eng.
Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia
2012 A conf
Testing Obligation Policy Enforcement Using Mutation Analysis.
ICST
Yehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon
2011 J jnl
An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations.
Int. J. Mob. Comput. Multim. Commun.
Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia
2010 B conf
From Contextual Permission to Dynamic Pre-obligation: An Integrated Approach.
ARES
Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia
2009 A conf
Semantic context aware security policy deployment.
AsiaCCS
Stere Preda, Frédéric Cuppens, Nora Cuppens-Boulahia, Joaquín García-Alfaro, Laurent Toutain, Yehia Elrakaiby
2008 C conf
Interactivity for Reactive Access Control.
SECRYPT
Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia