( en | de | ru )

 

Disambiguation of "Anda, Amal Ahmed"

Author of the publication

copydeleteadd this publication to your clipboard
Engineering Smart Contracts with Symboleo: A Progress Report.

, , , , , , , , , , and . CASCON, page 235-237. ACM, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ahmad Anda

Anda Napo

László Anda

Domenico Amalfitano

Linda Amalou-Döpke

 

Other publications of authors with the same name

Consistency Analysis for User Requirements Notation Models., , , , and . iStar, volume 1674 of CEUR Workshop Proceedings, page 43-48. CEUR-WS.org, (2016)Modeling Adaptive Socio-Cyber-Physical Systems with Goals and SysML.. RE, page 442-447. IEEE Computer Society, (2018)A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges., , , and . IEEE Access, (2023)Self-Adaptation Driven by SysML and Goal Models - A Literature Review., and . e Informatica Softw. Eng. J., (2022)An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models., and . MoDRE@RE, page 11-20. IEEE, (2020)Symboleo2SC: from legal contract specifications to smart contracts., , , , , , and . MoDELS, page 300-310. ACM, (2022)Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems., and . RE, page 245-256. IEEE, (2019)Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems., and . J. Integr. Des. Process. Sci., 25 (2): 141-177 (2021)Towards Improved Requirements Engineering with SysML and the User Requirements Notation., , , , and . RE, page 329-334. IEEE Computer Society, (2016)An Arithmetic Semantics for GRL Goal Models with Function Generation., , and . SAM, volume 11150 of Lecture Notes in Computer Science, page 144-162. Springer, (2018)