| 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 | 24 | 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 | 22 | 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 | 22 | 2018 |
| Modeling adaptive socio-cyber-physical systems with goals and SysML AA Anda 2018 IEEE 26th International Requirements Engineering Conference (RE), 442-447, 2018 | 17 | 2018 |
| 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 | 14 | 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 | 11 | 2020 |
| Consistency Analysis for User Requirements Notation Models. O Akhigbe, D Amyot, AA Anda, L Lessard, D Xiao iStar, 43-48, 2016 | 11 | 2016 |
| Self-Adaptation Driven by SysML and Goal Models–A Literature Review AA Andaa, D Amyot e-Informatica Software Engineering Journal 16 (1), 2022 | 9 | 2022 |
| A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges S Alfuhaid, D Amyot, AA Anda, J Mylopoulos IEEE Access, 2023 | 6 | 2023 |
| Traceability management of GRL and SysML models AA Anda, D Amyot Proceedings of the 12th System Analysis and Modelling Conference, 117-126, 2020 | 4 | 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 | 4 | 2020 |
| Automated generation of smart contract code from legal contract specifications with SYMBOLEO2SC R Aidin, A Amal, Ahmed, A Sofana, P Alireza, A Daniel, R Marco, L Luigi, ... Software and Systems Modeling, 2024 | 3 | 2024 |
| 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 | 3 | 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 | 2 | 2023 |
| Model-checking legal contracts with symboleopc A Rasti, D Amyot, A Parvizimosaed, M Roveri, L Logrippo, AA Anda, ... ACM/IEEE 25th International Conference on Model Driven Engineering Languages …, 2022 | 2 | 2022 |
| SymboleoPC: checking properties of legal contracts A Parvizimosaed, M Roveri, A Rasti, AA Anda, S Alfuhaid, D Amyot, ... Software and Systems Modeling, 1-34, 2024 | 1 | 2024 |
| 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 | 1 | 2023 |
| SymboleoAC: An Access Control Model for Legal Contracts S Alfuhaid, AA Anda, D Amyot, M Roveri, J Mylopoulos IFIP Working Conference on The Practice of Enterprise Modeling, 227-243, 2025 | | 2025 |
| Social Dependence Relationships and Their Role in Social Modelling Languages J Mylopoulos, D Amyot, AA Anda Social Modeling Using the i* Framework, 119-128, 2024 | | 2024 |
| Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo MN Zitouni, AA Anda, S Rajpal, D Amyot, J Mylopoulos arXiv preprint arXiv:2411.15898, 2024 | | 2024 |
Daniel AmyotProfessor, University of OttawaVerified email at site.uottawa.ca
