| 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 | 20 | 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 | 13 | 2022 |
| 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 | 8 | 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 | 8 | 2020 |
| A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges S Alfuhaid, D Amyot, AA Anda, J Mylopoulos IEEE Access, 2023 | 5 | 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 |
| 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 |
| 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 |
| 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 |
| Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models AA Anda, D Amyot, J Mylopoulos Modelling 4 (2), 133-167, 2023 | 1 | 2023 |
| 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 | | 2024 |
| 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 | | 2024 |
| List of Subreviewers AA Anda, AR Preda, A Tsoury, C Khor, C Rahe, E Cavalcante, ... | | |
| Chairs S Ebersold, M Ahmad, AA Anda, M Bersani, A Bucchiarone, JYM Bruel, ... | | |
Daniel AmyotProfessor, University of OttawaVerified email at site.uottawa.ca
