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 | 19 | 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 | 18 | 2018 |
Modeling adaptive socio-cyber-physical systems with goals and SysML AA Anda 2018 IEEE 26th International Requirements Engineering Conference (RE), 442-447, 2018 | 14 | 2018 |
Consistency Analysis for User Requirements Notation Models. O Akhigbe, D Amyot, AA Anda, L Lessard, D Xiao iStar, 43-48, 2016 | 10 | 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 |
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 | 7 | 2022 |
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 |
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 |
A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges S Alfuhaid, D Amyot, AA Anda, J Mylopoulos IEEE Access, 2023 | 1 | 2023 |
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 | 1 | 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 | | 2023 |
Chairs S Ebersold, M Ahmad, AA Anda, M Bersani, A Bucchiarone, JYM Bruel, ... | | |