Yehia Elrakaiby

According to our database, Yehia Elrakaiby authored at least 25 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

CaRE: a refinement calculus for requirements engineering based on argumentation theory.

Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos

Softw. Syst. Model., 2022

2020

CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool).

Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos

Dataset, October, 2020

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material.

Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos

Dataset, May, 2020

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material.

Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos

Dataset, May, 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.

Yehia ElRakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos

Proceedings of the Conceptual Modeling - 39th International Conference, 2020

2018

CaRE: A Refinement Calculus for Requirements Engineering Based on Argumentation Semantics.

Yehia Elrakaiby, Alessio Ferrari, John Mylopoulos

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

2017

Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews.

Yehia Elrakaiby, Alessio Ferrari, Paola Spoletini, Stefania Gnesi, Bashar Nuseibeh

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

2015

Automatic derivation of context descriptions.

Christian Jung, Denis Feth, Yehia Elrakaiby

Proceedings of the IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, 2015

2014

Dynamic Analysis of Usage Control Policies.

Yehia Elrakaiby, Jun Pang

Proceedings of the SECRYPT 2014, 2014

Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies.

Yehia Elrakaiby, Moussa Amrani, Yves Le Traon

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

Towards a Full Support of Obligations in XACML.

Donia El Kateb, Yehia ElRakaiby, Tejeddine Mouelhi, Iram Rubab, Yves Le Traon

Proceedings of the Risks and Security of Internet and Systems, 2014

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

Proceedings of the 2014 AAAI Spring Symposia, 2014

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

Access control enforcement testing.

Donia El Kateb, Yehia ElRakaiby, Tejeddine Mouelhi, Yves Le Traon

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

Normative Reasoning and Consequence.

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

Proceedings of the Normative Multi-Agent Systems, 2013

A PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications.

Yehia Elrakaiby, Yves Le Traon

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

2012

Formal enforcement and management of obligation policies.

Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia

Data Knowl. Eng., 2012

Testing Obligation Policy Enforcement Using Mutation Analysis.

Yehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

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

2010

From Contextual Permission to Dynamic Pre-obligation: An Integrated Approach.

Yehia Elrakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia

Proceedings of the ARES 2010, 2010

2009

Formalization and Management of Group Obligations.

Yehia El Rakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia

Proceedings of the POLICY 2009, 2009

From state-based to event-based contextual security policies.

Yehia El Rakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia

Proceedings of the Fourth IEEE International Conference on Digital Information Management, 2009

Semantic context aware security policy deployment.

Stere Preda, Frédéric Cuppens, Nora Cuppens-Boulahia, Joaquín García-Alfaro, Laurent Toutain, Yehia Elrakaiby

Proceedings of the 2009 ACM Symposium on Information, 2009

2008

Interactivity for Reactive Access Control.

Yehia ElRakaiby, Frédéric Cuppens, Nora Cuppens-Boulahia

Proceedings of the SECRYPT 2008, 2008