Baquero, P.M., Restrepo Amariles, D., Amyot, D., Anda, A.A., Bayirli, M., Logrippo, L., Lopes, A., Mylopoulos, J., Parvizimosaed, A., Rasti, A., Roveri, M. (2025) The Compliance Gap in Data Supply Chains: Contract Specification Languages and Smart Contracts as Compliance Technologies. Artificial Intelligence and Law (to appear) (49 pages). https://doi.org/10.1007/s10506-025-09464-8
Zitouni, M.N., Anda, A.A., Rajpal, S., Amyot, D., Mylopoulos, J. (2025) Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo. RAISE 2025: Requirements engineering for AI-powered SoftwarE. ICSE’25, Ottawa, Canada, April 2025. IEEE CS, 1-9. https://doi.org/10.1109/RAISE66696.2025.00006
Meloche, R., Sivakumar, D., Anda, A.A., Alfuhaid, S., Amyot, D., Logrippo, L., Mylopoulos, J. (2024) A Web-Based Environment for the Specification and Generation of Smart Legal Contracts. International Symposium on Compliance for Algorithmic Law (SCALGO), post-event proceedings, LNCS, Springer (to appear).
Alfuhaid, S., Anda, A.A., Amyot, D. Roveri, M., Mylopoulos, J. (2024) SymboleoAC: An Access Control Model for Legal Contracts. 17th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2024), LNBIP 538, Stockholm, Sweden, December 2024. Springer, 227–243.
Kontogiannis, K., Amyot, D., Mylopoulos, J. (2024) CyPress: 4th Workshop on Software Techniques for Engineering Cyber-Physical Systems. CASCON 2024: 34th International Conference on Collaborative Advances in Software and COmputiNg (CASCON), IEEE CS, November 2024.
Mylopoulos, J., Alfuhaid, S., Amyot, D. , Anda, A.A., Logrippo, L., Meloche, R., Rahimi-Kian, A., Rajpal, S., Roveri, M., Sivakumar, D., Sousa-Dias, D. (2024) Engineering Smart Contracts with Symboleo: Progress Report 2024. CyPress: 4th Workshop on Software Techniques for Engineering Cyber-Physical Systems. CASCON’24, Toronto, Canada, November 2024. IEEE CS, 1–5.
Mylopoulos, J., Amyot, D., Anda, A.A. (2024) Social Dependence Relationships and their Role in Social Modelling Languages. Social Modeling Using the i* Framework: Essays in Honour of Eric Yu. Springer, 21–36.
Sousa-Dias, D., Amyot, D., Rahimi-Kian, A., Mylopoulos, J. (2024) Enhancing Trust in Transactive Energy with Individually Linkable Pseudonymous Trading Using Smart Contracts. Energies, 17(14), 3568, 2024. DOI:10.3390/en17040878
Rasti, A., Anda, A.A., Alfuhaid, S., Parvizimosaed, A., Amyot, D., Roveri, M., Logrippo, L., Mylopoulos, J. (2024) Automated Generation of Smart Contract Code from Legal Contract Specifications with Symboleo2SC. Software and Systems Modeling (SoSyM), 2024. DOI:10.1007/s10270-024-01187-9 (Online first, June 29, 2024)
Parvizimosaed, A., Roveri, M., Rasti, A., Anda, A.A., Alfuhaid, S., Amyot, D., Logrippo, L., Mylopoulos, J. (2024) SymboleoPC: Checking Properties of Legal Contracts. Software and Systems Modeling (SoSyM), 2024. DOI:10.1007/s10270-024-01187-2 (Online first, July 3, 2024)
Sousa-Dias, D., Amyot, D., Rahimi-Kian, A., Bashari, M., Mylopoulos, J. (2024) Homomorphic Encryption Aggregation (CHEA)–A Novel Approach to Data Aggregation in the Smart Grid. Energies, 17(4), 878, 2024. DOI:10.3390/en17040878
Meloche, R., Amyot, D., Mylopoulos, J.: SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates. 2024 32nd IEEE International Requirements Engineering Conference (RE), Tools and Demos Track, Reykjavik, Iceland, June 2024. IEEE CS, 498–499. Best Poster/Demo Award
Sousa-Dias, D. (2024) Data Security and Privacy in Transactive Energy Markets. Master's thesis, Computer Science, University of Ottawa, May 2024
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 55-60.
Kontogiannis, K., Amyot, D., Mylopoulos, J. (2023) 3rd Workshop on Software Techniques for Engineering Cyber-Physical Systems. CASCON 2023: Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, ACM, 222–223, September 2023.
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: 3rd Workshop on Software Techniques for Engineering Cyber-Physical Systems. CASCON’23, Las Vegas, USA, September 2023. ACM, 235–237.
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
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
Meloche, R. (2023) Formalizing Contract Refinements Using a Controlled Natural Language Master's thesis, Computer Science, University of Ottawa, November 2023
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)
Kontogiannis, K., Mylopoulos, J., Amyot, D. 2nd Workshop on Software Techniques for Engineering Cyber-Physical Systems. CASCON x EVOKE 2022: Proceedings of the 32nd Annual International Conference on Computer Science and Software Engineering, ACM, 243–244, 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)
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.
Kontogiannis, K., Amyot, D., Mylopoulos, J. (2021) Software Techniques for Engineering Cyber-Physical Systems. CASCON '21: Proceedings of the 31st Annual International Conference on Computer Science and Software Engineering, 289–290, ACM, November 2021.
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)
Ref3(2020): Symboleo Specification Language
Ref3(2020): Symboleo Verification Approach
Ref4(2020): Social Dependency Relationships
Ref1(2020): Compliance Checking for Transactive Energy Contracts
Symboleo NLP Short Demo