Amal Ahmed Anda
Cited by
Cited by
Towards improved requirements engineering with SysML and the user requirements notation
D Amyot, AA Anda, M Baslyman, L Lessard, JM Bruel
2016 IEEE 24th International Requirements Engineering Conference (RE), 329-334, 2016
Arithmetic semantics of feature and goal models for adaptive cyber-physical systems
AA Anda, D Amyot
2019 IEEE 27th International Requirements Engineering Conference (RE), 245-256, 2019
An arithmetic semantics for GRL goal models with function generation
Y Fan, AA Anda, D Amyot
System Analysis and Modeling. Languages, Methods, and Tools for Systems …, 2018
Modeling adaptive socio-cyber-physical systems with goals and SysML
AA Anda
2018 IEEE 26th International Requirements Engineering Conference (RE), 442-447, 2018
Consistency Analysis for User Requirements Notation Models.
O Akhigbe, D Amyot, AA Anda, L Lessard, D Xiao
iStar, 43-48, 2016
Self-Adaptation Driven by SysML and Goal Models–A Literature Review
AA Andaa, D Amyot
e-Informatica Software Engineering Journal 16 (1), 2022
An optimization modeling method for adaptive systems based on goal and feature models
A Anda, D Amyot
2020 IEEE Tenth International Model-Driven Requirements Engineering (MoDRE …, 2020
Symboleo2SC: From legal contract specifications to smart contracts
A Rasti, D Amyot, A Parvizimosaed, M Roveri, L Logrippo, AA Anda, ...
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
Traceability management of GRL and SysML models
AA Anda, D Amyot
Proceedings of the 12th System Analysis and Modelling Conference, 117-126, 2020
Combining goals and SysML for traceability and decision-making in the development of adaptive socio-cyber-physical systems
AA Anda
Université d'Ottawa/University of Ottawa, 2020
Engineering Smart Contracts with Symboleo: A Progress Report
D Amyot, L Logrippo, J Mylopoulos, M Roveri, AA Anda, A Parvisimosaed, ...
Proceedings of the 33rd Annual International Conference on Computer Science …, 2023
A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges
S Alfuhaid, D Amyot, AA Anda, J Mylopoulos
IEEE Access, 2023
Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems
AA Anda, D Amyot
Journal of Integrated Design and Process Science 25 (2), 141-177, 2021
Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models
AA Anda, D Amyot, J Mylopoulos
Modelling 4 (2), 133-167, 2023
S Ebersold, M Ahmad, AA Anda, M Bersani, A Bucchiarone, JYM Bruel, ...
The system can't perform the operation now. Try again later.
Articles 1–15