Amal Ahmed Anda

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 12

Top Topics

Adaptive Systems

Subtractive Clustering

User Requirements

Top Venues

Publications

Sofana Alfuhaid, Daniel Amyot, Amal Ahmed Anda, John Mylopoulos
A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges. IEEE Access 11 (2023)
Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz
Engineering Smart Contracts with Symboleo: A Progress Report. CASCON (2023)
Amal Ahmed Anda, Daniel Amyot
Self-Adaptation Driven by SysML and Goal Models - A Literature Review. e Informatica Softw. Eng. J. 16 (1) (2022)
Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
Symboleo2SC: from legal contract specifications to smart contracts. MoDELS (2022)
Amal Ahmed Anda, Daniel Amyot
Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems. J. Integr. Des. Process. Sci. 25 (2) (2021)
Amal Ahmed Anda, Daniel Amyot
Traceability Management of GRL and SysML Models. SAM (2020)
Amal Ahmed Anda, Daniel Amyot
An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models. MoDRE@RE (2020)
Amal Ahmed Anda, Daniel Amyot
Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems. RE (2019)
Amal Ahmed Anda
Modeling Adaptive Socio-Cyber-Physical Systems with Goals and SysML. RE (2018)
Yuxuan Fan, Amal Ahmed Anda, Daniel Amyot
An Arithmetic Semantics for GRL Goal Models with Function Generation. SAM (2018)
Daniel Amyot, Amal Ahmed Anda, Malak Baslyman, Lysanne Lessard, Jean-Michel Bruel
Towards Improved Requirements Engineering with SysML and the User Requirements Notation. RE (2016)
Okhaide Akhigbe, Daniel Amyot, Amal Ahmed Anda, Lysanne Lessard, Daoyang Xiao
Consistency Analysis for User Requirements Notation Models. iStar (2016)