Consistency Analysis for User Requirements Notation Models. - Okhaide Akhigbe; Daniel Amyot; Amal Ahmed Anda; Lysanne Lessard; Daoyang Xiao (iStar, 2016)

Towards Improved Requirements Engineering with SysML and the User Requirements Notation. - Daniel Amyot; Amal Ahmed Anda; Malak Baslyman; Lysanne Lessard; Jean-Michel Bruel (RE, 2016)

Modeling Adaptive Socio-Cyber-Physical Systems with Goals and SysML. - Amal Ahmed Anda (RE, 2018)

An Arithmetic Semantics for GRL Goal Models with Function Generation. - Yuxuan Fan; Amal Ahmed Anda; Daniel Amyot (SAM, 2018)

Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems. - Amal Ahmed Anda; Daniel Amyot (RE, 2019)

An Optimization Modeling Method for Adaptive Systems Based on Goal and Feature Models. - Amal Ahmed Anda; Daniel Amyot (MoDRE@RE, 2020)

Traceability Management of GRL and SysML Models. - Amal Ahmed Anda; Daniel Amyot (SAM, 2020)

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)

Symboleo2SC: from legal contract specifications to smart contracts. - Aidin Rasti; Daniel Amyot; Alireza Parvizimosaed; Marco Roveri; Luigi Logrippo; Amal Ahmed Anda; John Mylopoulos (MoDELS, 2022)

Self-Adaptation Driven by SysML and Goal Models - A Literature Review. - Amal Ahmed Anda; Daniel Amyot (e Informatica Softw. Eng. J., 2022)

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 (CASCON, 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)

Social Dependence Relationships and Their Role in Social Modelling Languages. - John Mylopoulos; Daniel Amyot; Amal Ahmed Anda (Social Modeling Using the i* Framework, 2024)

SymboleoAC: An Access Control Model for Legal Contracts. - Sofana Alfuhaid; Amal Ahmed Anda; Daniel Amyot; Marco Roveri; John Mylopoulos (PoEM, 2024)

Opportunities and Challenges for GORE in the era of Learning-based AI - iStar'24 Panel Report. - Travis D. Breaux; Giancarlo Guizzardi; Eric Yu 001; Amal Ahmed Anda; Sotirios Liaskos; Elda Paja (iStar@ER, 2024)

Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo. - Mounira Nihad Zitouni; Amal Ahmed Anda; Sahil Rajpal; Daniel Amyot; John Mylopoulos (Zenodo, 2024)

Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo. - Mounira Nihad Zitouni; Amal Ahmed Anda; Sahil Rajpal; Daniel Amyot; John Mylopoulos (RAISE@ICSE, 2025)

Supplementary Material, Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo. - Mounira Nihad Zitouni; Amal Ahmed Anda; Sahil Rajpal; Daniel Amyot; John Mylopoulos (Zenodo, 2025)

SymboleoPC: checking properties of legal contracts. - Alireza Parvizimosaed; Marco Roveri; Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Daniel Amyot; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)

Automated generation of smart contract code from legal contract specifications with Symboleo2SC. - Aidin Rasti; Amal Ahmed Anda; Sofana Alfuhaid; Alireza Parvizimosaed; Daniel Amyot; Marco Roveri; Luigi Logrippo; John Mylopoulos (Softw. Syst. Model., 2025)