Publications
2023
Zareh Chahoki, A., Roveri, M., Amyot, D., Mylopoulos, J. (2023) Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements. OVERLAY 2023: 5th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, Rome, Italy, November. CEUR WS (to appear)
Meloche, R., Amyot, D., Mylopoulos, J. (2023) Towards Legal Contract Formalization with Controlled Natural Language Templates. 31st IEEE International Requirements Engineering Conference (RE), Hannover, Germany, September 2023. IEEE CS, 317-322
Amyot, D., Logrippo, L., Mylopoulos, J., Roveri, M., Anda, A.A., Parvizimosaed, A., Alfuhaid, S.A., Sharifi, S., Meloche, R., Sousa-Dias, D. (2023) Engineering Smart Contracts with Symboleo: A Progress Report. CyPress Workshop – CASCON’23, Las Vegas, USA. ACM (to appear)
Parvizimosaed, A., Amyot, D., Mylopoulos, J., Azad, H. (2023) Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain. 20th International Conference on Privacy, Security, and Trust (PST 2023), Copenhagen, Denmark, August 2023. IEEE CS (to appear)
Alfuhaid, S., Amyot, D., Anda, A.A., Mylopoulos, J. (2023) A Mapping Review on Cyber-Physical Smart Contracts: Architectures, Platforms, and Challenges. IEEE Access, 2023. DOI:10.1109/ACCESS.2023.3290899
Sousa-Dias, D., Amyot, D., Rahimi-Kian, A., Mylopoulos, J. (2023) A Review of Cybersecurity Concerns for Transactive Energy Markets. Energies, 16(13), 4838, 2023. DOI:10.3390/en16134838
Anda, A.A., Amyot, D., Mylopoulos, J. (2023) Traceability Management of Socio-Cyber-Physical Systems Involving Goal and SysML Models. Modelling 4, 133-167, 2023. DOI:10.3390/a15060180
2022
Parvizimosaed, A., Sharifi, S., Amyot, D., Logrippo, L., Roveri, M., Rasti, A., Roudak, A., Mylopoulos, J. (2022) Specification and Analysis of Legal Contracts with Symboleo. Software and Systems Modeling (SoSyM), 21(6), 2395–2427, Springer, 2022. DOI:10.1007/s10270-022-01053-6 (Online First, 7 November 2022)
Parvizimosaed, A. (2022) Symboleo: Specification and Verification of Legal Contracts. Ph.D. thesis, Computer Science, University of Ottawa, October.
Rasti, A. (2022) From Symboleo to Smart Contracts - A Code Generator. Master's thesis, Computer Science, University of Ottawa, October.
Rasti, A. Amyot, D., Parvizimosaed, A., Roveri, M., Logrippo, L., Mylopoulos, J., Anda, A.A. (2022) Symboleo2SC: From Legal Contract Specifications to Smart Contracts. ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS), Montreal, Canada, October. ACM, 300-310.
Parvizimosaed, A., Roveri, M., Rasti, A. Amyot, D., Logrippo, L., Mylopoulos, J. (2022) Model-Checking Legal Contracts with SymboleoPC. ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS), Montreal, Canada, October. ACM, 278-288.
Sharifi, S., Amyot, D., Mylopoulos, J., McLaughlin, P., Feodoroff, R. (2022) Towards Improved Certification of Complex FinTech Systems – A Requirements-based Approach. Twelfth International Model-Driven Requirements Engineering Workshop (MoDRE), virtual event, Melbourne, Australia, August. IEEE CS, 205-214.
Anda, A.A., Amyot, D. (2022) Goal and Feature Model Optimization for the Design and Self-Adaptation of Socio-Cyber-Physical Systems. Journal of Integrated Design & Process Science, Vol. 26, IOS Press. (Online 29 January 2022)
Anda, A.A., Amyot, D. (2022) Self-Adaptation Driven by SysML and Goal Models – A Literature Review. e-Informatica Software Engineering Journal, 16(1), 220101. DOI:10.37190/e-Inf220101 (Online 15 December 2021)
2021
Mylopoulos, J., Amyot, D., Logrippo, L., Parvizimosaed, A., Sharifi, S. (2021) Social Requirements Models for Services. M. Aiello, A. Bouguettaya, D. Tamburri, W.-J. van den Heuvel (Eds) Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future. LNCS 12521, Springer, 100–108.
2020
Parvizimosaed, A., Bashari, M., Kian, A.R., Amyot, D., Mylopoulos, J. (2020) Compliance Checking for Transactive Energy Contracts using Smart Contracts. IEEE PES International Transactive Energy Systems Conference and Workshop (TESC2020), virtual event, December. IEEE, 1-5.
Parvizimosaed, A., Sharifi, S., Amyot, D., Logrippo, L., Mylopoulos, J. (2020) Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo. 39th International Conference on Conceptual Modeling (ER 2020), Vienna, Austria, November. LNCS 12400, Springer, 271-285.
Parvizimosaed, A. (2020) Towards the Specification and Verification of Legal Contracts. 28th IEEE Int. Requirements Engineering Conf. (RE’20), Doctoral Symposium, Zurich, September. IEEE CS, 445-450.
Mylopoulos, J., Amyot, D., Logrippo, L., Parvizimosaed, A., Sharifi, S. (2020) Social Dependence Relationships in Requirements Engineering. Thirteenth International iStar Workshop (iStar 2020), Zurich, Switzerland, September. CEUR-WS, Vol. 2641, 55-60.
Sharifi, S., McLaughlin, P., Amyot, D., Mylopoulos, J. (2020) Goal Modeling for FinTech Certification. Thirteenth International iStar Workshop (iStar 2020), Zurich, Switzerland, September. CEUR-WS, Vol. 2641, 73-78.
Sharifi, S., Parvizimosaed, A., Amyot, D., Logrippo, L., Mylopoulos, J. (2020) Symboleo: Towards a Specification Language for Smart Contracts. 28th IEEE Int. Requirements Engineering Conf. (RE’20), RE@Next! track, Zurich, Switzerland, September. IEEE CS, 384-389.
Sharifi, S. (2020) Smart Contracts: from Formal Specification to Blockchain Code. Master's thesis, Systems Science, University of Ottawa, August.
Joseph De Koninck Thesis Prize 2020 (outstanding master’s thesis in an interdisciplinary or collaborative program at the University of Ottawa)
Ref1: Symboleo Specification Language
Ref5: Symboleo Verification Approach
Ref3: Social Dependency Relationships
Ref7: Compliance Checking for Transactive Energy Contracts