Follow
Alireza Parvizimosaed
Alireza Parvizimosaed
CEO at Infilock Inc. | Postdoc at University of Ottawa
Verified email at uottawa.ca
Title
Cited by
Cited by
Year
Symboleo: Towards a specification language for legal contracts
S Sharifi, A Parvizimosaed, D Amyot, L Logrippo, J Mylopoulos
2020 IEEE 28th international requirements engineering conference (RE), 364-369, 2020
692020
Subcontracting, assignment, and substitution for legal contracts in symboleo
A Parvizimosaed, S Sharifi, D Amyot, L Logrippo, J Mylopoulos
International Conference on Conceptual Modeling, 271-285, 2020
212020
Specification and analysis of legal contracts with Symboleo
A Parvizimosaed, S Sharifi, D Amyot, L Logrippo, M Roveri, A Rasti, ...
Software and Systems Modeling 21 (6), 2395-2427, 2022
182022
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
142022
Model-checking legal contracts with symboleopc
A Parvizimosaed, M Roveri, A Rasti, D Amyot, L Logrippo, J Mylopoulos
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
102022
Symboleo: A specification language for smart contracts
S Sharifi, A Parvizimosaed, D Amyot, L Logrippo, J Mylopoulos
28th IEEE Requirements Engineering Conference, RE@ Next track, Zurich, 2020
82020
Towards a Tactic-Based Evaluation of Self-Adaptive Software Architecture Availability.
A Parvizi-Mosaed, S Moaven, J Habibi, A Heydarnoori
SEKE, 168-173, 2014
72014
Towards the specification and verification of legal contracts
A Parvizimosaed
2020 IEEE 28th International Requirements Engineering Conference (RE), 445-450, 2020
62020
Towards a self-adaptive service-oriented methodology based on extended SOMA
A Parvizi-Mosaed, S Moaven, J Habibi, G Beigi, M Naser-Shariat
Frontiers of Information Technology & Electronic Engineering 16, 43-69, 2015
62015
Compliance Checking for Transactive Energy Contracts using Smart Contracts
A Parvizimosaed, M Bashari, AR Kian, P Eng
IEEE TESC 2020, 2020
52020
An ahp-based evaluation of real-time stream processing technologies in iot
P Killeen, A Parvizimosaed
environment 3, 6, 2018
52018
Social Dependence Relationships in Requirements Engineering⋆
J Mylopoulos, D Amyot, L Logrippo, A Parvizimosaed, S Sharifi
13th International i* Workshop (iStar’20), 55-60, 2020
42020
Automated generation of smart contract code from legal contract specifications with Symboleo2SC
A Rasti, AA Anda, S Alfuhaid, A Parvizimosaed, D Amyot, M Roveri, ...
Software and Systems Modeling, 1-30, 2024
32024
Symboleo: Specification and Verification of Legal Contracts
A Parvizimosaed
Université d'Ottawa/University of Ottawa, 2022
32022
BIOT: A Blockchain-Based IoT Platform for Distributed Energy Resource Management
M Yalpanian, N Mirzaei, A Parvizimosaed
Silicon Valley Cybersecurity Conference: First Conference, SVCC 2020, San …, 2020
32020
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
12024
Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain
A Parvizimosaed, H Azad, D Amyot, J Mylopoulos
2023 20th Annual International Conference on Privacy, Security and Trust …, 2023
12023
Social Requirements Models for Services
A John Mylopoulos, Daniel Amyot, Luigi Logrippo, Parvizimosaed, ...
Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing …, 2020
1*2020
Towards a knowledge based approach to style driven architecture design
S Moaven, J Habibi, R Alidoosti, AP Mosaed
Procedia Computer Science 62, 236-244, 2015
12015
Social Requirements Models for Services
A Parvizimosaed, S Sharifi
Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing …, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20