Amal Ahmed Anda

21 papers A 4Misc 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Web-Based Environment for the Specification and Generation of Smart Legal Contracts.
CoRR
Regan Meloche, Durga Sivakumar, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2025 J jnl
Automated generation of smart contract code from legal contract specifications with Symboleo2SC.
Softw. Syst. Model.
Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos
2025 — ed.
Proceedings of the 17th International iStar Workshop (iStar 2024) co-located with the 43rd International Conference on Conceptual Modeling (ER 2024), Pittsburgh, Pennsylvania, October 28, 2024.
iStar@ER
Amal Ahmed Anda, Sotirios Liaskos, Elda Paja
2025 J jnl
SymboleoPC: checking properties of legal contracts.
Softw. Syst. Model.
Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Daniel Amyot, Luigi Logrippo, John Mylopoulos
2025 — conf
Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo.
RAISE@ICSE
Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos
2024 — conf
Opportunities and Challenges for GORE in the era of Learning-based AI - iStar'24 Panel Report.
iStar@ER
Travis D. Breaux, Giancarlo Guizzardi, Eric Yu, Amal Ahmed Anda, Sotirios Liaskos, Elda Paja
2024 — conf
Social Dependence Relationships and Their Role in Social Modelling Languages.
Social Modeling Using the i* Framework
John Mylopoulos, Daniel Amyot, Amal Ahmed Anda
2024 Misc conf
SymboleoAC: An Access Control Model for Legal Contracts.
PoEM
Sofana Alfuhaid, Amal Ahmed Anda, Daniel Amyot, Marco Roveri, John Mylopoulos
2024 J jnl
Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo.
CoRR
Mounira Nihad Zitouni, Amal Ahmed Anda, Sahil Rajpal, Daniel Amyot, John Mylopoulos
2023 J jnl
A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges.
IEEE Access
Sofana Alfuhaid, Daniel Amyot, Amal Ahmed Anda, John Mylopoulos
2023 — conf
Engineering Smart Contracts with Symboleo: A Progress Report.
CASCON
Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz
2022 J jnl
Self-Adaptation Driven by SysML and Goal Models - A Literature Review.
e Informatica Softw. Eng. J.
Amal Ahmed Anda, Daniel Amyot
2022 A conf
Symboleo2SC: from legal contract specifications to smart contracts.
MoDELS
Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos
2021 J jnl
Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems.
J. Integr. Des. Process. Sci.
Amal Ahmed Anda, Daniel Amyot
2020 — conf
An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models.
MoDRE@RE
Amal Ahmed Anda, Daniel Amyot
2020 — conf
Traceability Management of GRL and SysML Models.
SAM
Amal Ahmed Anda, Daniel Amyot
2019 A conf
Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems.
RE
Amal Ahmed Anda, Daniel Amyot
2018 — conf
An Arithmetic Semantics for GRL Goal Models with Function Generation.
SAM
Yuxuan Fan, Amal Ahmed Anda, Daniel Amyot
2018 A conf
Modeling Adaptive Socio-Cyber-Physical Systems with Goals and SysML.
RE
Amal Ahmed Anda
2016 — conf
Consistency Analysis for User Requirements Notation Models.
iStar
Okhaide Akhigbe, Daniel Amyot, Amal Ahmed Anda, Lysanne Lessard, Daoyang Xiao
2016 A conf
Towards Improved Requirements Engineering with SysML and the User Requirements Notation.
RE
Daniel Amyot, Amal Ahmed Anda, Malak Baslyman, Lysanne Lessard, Jean-Michel Bruel