CaRE: a refinement calculus for requirements engineering based on argumentation theory Y Elrakaiby, A Borgida, A Ferrari, J Mylopoulos Software and Systems Modeling 21 (6), 2113-2132, 2022 | 5 | 2022 |
A refinement calculus for requirements engineering based on argumentation theory Y ElRakaiby, A Borgida, A Ferrari, J Mylopoulos International Conference on Conceptual Modeling, 3-18, 2020 | 1 | 2020 |
Optimal by Design: Model-Driven Synthesis of Adaptation Strategies for Autonomous Systems Y Elrakaiby, P Spoletini, B Nuseibeh arXiv preprint arXiv:2001.08525, 2020 | 3 | 2020 |
Care: A refinement calculus for requirements engineering based on argumentation semantics Y Elrakaiby, A Ferrari, J Mylopoulos 2018 IEEE 26th international requirements engineering conference (RE), 364-369, 2018 | 11 | 2018 |
Using argumentation to explain ambiguity in requirements elicitation interviews Y Elrakaiby, A Ferrari, P Spoletini, S Gnesi, B Nuseibeh 2017 IEEE 25th International Requirements Engineering Conference (RE), 51-60, 2017 | 21 | 2017 |
Automatic derivation of context descriptions C Jung, D Feth, Y Elrakaiby 2015 IEEE International Multi-Disciplinary Conference on Cognitive Methods …, 2015 | 5 | 2015 |
Towards a full support of obligations in xacml D El Kateb, Y ElRakaiby, T Mouelhi, I Rubab, Y Le Traon Risks and Security of Internet and Systems: 9th International Conference …, 2015 | 6 | 2015 |
Dynamic analysis of usage control policies Y Elrakaiby, J Pang 2014 11th International Conference on Security and Cryptography (SECRYPT), 1-13, 2014 | 4 | 2014 |
Reasoning on robot knowledge from discrete and asynchronous observations P Ziafati, Y Elrakaiby, M van Zee, M Dastani, JJ Meyer, L van der Torre, ... 2014 AAAI Spring Symposium Series, 2014 | 3 | 2014 |
Security@Runtime: A Flexible MDE Approach to Enforce Fine-grained Security Policies Y Elrakaiby, M Amrani, Y Le Traon Engineering Secure Software and Systems: 6th International Symposium, ESSoS …, 2014 | 11 | 2014 |
A PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications Y Elrakaiby, Y Le Traon 2013 International Conference on Availability, Reliability and Security, 367-374, 2013 | 1 | 2013 |
Revival of Arguments in Temporal Argumentation Networks M Van Zee, DA Ambrossio, Y Elrakaiby, A Antonini, D Gabbay 15th European Agent Systems Summer School (EASSS 2013), 2013 | | 2013 |
Access control enforcement testing D El Kateb, Y El Rakaiby, T Mouelhi, Y Le Traon 2013 8th International Workshop on Automation of Software Test (AST), 64-70, 2013 | 5 | 2013 |
Compliance in resourcebased process models SC Tosatto, Y Elrakaiby, P Ziafati The 25th Benelux Conference on Artificial Intelligence (BNAIC 2013), 2013 | 1 | 2013 |
Argument Revival in Annotated Argumentation Networks DA Ambrossio, A Antonini, Y Elrakaiby, D Gabbay, M Van Zee | | 2013 |
Compliance in Resource-based Process Models S Colombo Tosatto, Y Elrakaiby, P Ziafati Proceedings of the 25th Belgium-Netherlands Artificial Intelligence Conference, 2013 | | 2013 |
Normative reasoning and consequence J Broersen, S Cranefield, Y Elrakaiby, D Gabbay, D Grossi, E Lorini, ... Dagstuhl Follow-Ups 4, 2013 | 18 | 2013 |
Formal specification and management of security policies with collective group obligations F Cuppens, N Cuppens-Boulahia, Y Elrakaiby Journal of computer security 21 (1), 149-190, 2013 | 11 | 2013 |
An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations Y Elrakaiby, F Cuppens, N Cuppens-Boulahia Contemporary Challenges and Solutions for Mobile and Multimedia Technologies …, 2013 | | 2013 |
Testing obligation policy enforcement using mutation analysis Y Elrakaiby, T Mouelhi, Y Le Traon 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 27 | 2012 |