Amal Ahmed Anda

According to our database, Amal Ahmed Anda authored at least 12 papers between 2016 and 2023.

Collaborative distances:

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

2023

A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges.

Sofana Alfuhaid, Daniel Amyot, Amal Ahmed Anda, John Mylopoulos

IEEE Access, 2023

Engineering Smart Contracts with Symboleo: A Progress Report.

Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz

Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023

2022

Self-Adaptation Driven by SysML and Goal Models - A Literature Review.

Amal Ahmed Anda, Daniel Amyot

e Informatica Softw. Eng. J., 2022

Symboleo2SC: from legal contract specifications to smart contracts.

Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021

Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems.

Amal Ahmed Anda, Daniel Amyot

J. Integr. Des. Process. Sci., 2021

2020

Traceability Management of GRL and SysML Models.

Amal Ahmed Anda, Daniel Amyot

Proceedings of the SAM '20: 12th System Analysis and Modelling Conference, 2020

An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models.

Amal Ahmed Anda, Daniel Amyot

Proceedings of the 10th IEEE International Model-Driven Requirements Engineering, 2020

2019

Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems.

Amal Ahmed Anda, Daniel Amyot

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

2018

An Arithmetic Semantics for GRL Goal Models with Function Generation.

Yuxuan Fan, Amal Ahmed Anda, Daniel Amyot

Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, 2018

Modeling Adaptive Socio-Cyber-Physical Systems with Goals and SysML.

Amal Ahmed Anda

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

2016

Towards Improved Requirements Engineering with SysML and the User Requirements Notation.

Daniel Amyot, Amal Ahmed Anda, Malak Baslyman, Lysanne Lessard, Jean-Michel Bruel

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Consistency Analysis for User Requirements Notation Models.

Okhaide Akhigbe, Daniel Amyot, Amal Ahmed Anda, Lysanne Lessard, Daoyang Xiao

Proceedings of the Ninth International i* Workshop co-located with 24th International Conference on Requirements Engineering (RE 2016), 2016