I agree that this site is using cookies. You can find further informations here.
X
Alireza Parvizimosaed
20  results:
Search for persons X
?
1

Automated generation of smart contract code from legal cont..:

Rasti, Aidin ; Anda, Amal Ahmed ; Alfuhaid, Sofana...
Software and Systems Modeling.  , 2024
Link: https://doi.org/10.1007/..
 
?
2

SymboleoPC: checking properties of legal contracts:

Parvizimosaed, Alireza ; Roveri, Marco ; Rasti, Aidin...
Software and Systems Modeling.  , 2024
Link: https://doi.org/10.1007/..
 
?
3

Protection against Ransomware in Industrial Control Systems..:

, In: 2023 20th Annual International Conference on Privacy, Security and Trust (PST),
Parvizimosaed, Alireza ; Azad, Hamid ; Amyot, Daniel. - p. 1-5 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Model-checking legal contracts with SymboleoPC:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,
Parvizimosaed, Alireza ; Roveri, Marco ; Rasti, Aidin... - p. 278-288 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

Symboleo2SC : from legal contract specifications to smar..:

, In: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems,
Rasti, Aidin ; Amyot, Daniel ; Parvizimosaed, Alireza... - p. 300-310 , 2022
Link: https://dl.acm.org/doi/1..
 
?
6

Specification and analysis of legal contracts with Symboleo:

Parvizimosaed, Alireza ; Sharifi, Sepehr ; Amyot, Daniel...
Software and Systems Modeling.  21 (2022)  6 - p. 2395-2427 , 2022
Link: https://doi.org/10.1007/..
 
?
7

BIOT: A Blockchain-Based IoT Platform for Distributed Energ..:

, In: Silicon Valley Cybersecurity Conference; Communications in Computer and Information Science,
Yalpanian, Mostafa ; Mirzaei, Naser ; Parvizimosaed, Alireza... - p. 134-147 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Social Requirements Models for Services:

, In: Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future; Lecture Notes in Computer Science,
Mylopoulos, John ; Amyot, Daniel ; Logrippo, Luigi.. - p. 100-108 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Towards the Specification and Verification of Legal Contrac..:

, In: 2020 IEEE 28th International Requirements Engineering Conference (RE),
Parvizimosaed, Alireza - p. 445-450 , 2020
Link: https://doi.org/10.1109/..
 
?
10

Symboleo: Towards a Specification Language for Legal Contra..:

, In: 2020 IEEE 28th International Requirements Engineering Conference (RE),
Sharifi, Sepehr ; Parvizimosaed, Alireza ; Amyot, Daniel.. - p. 364-369 , 2020
Link: https://doi.org/10.1109/..
 
?
11

Subcontracting, Assignment, and Substitution for Legal Cont..:

, In: Conceptual Modeling; Lecture Notes in Computer Science,
Parvizimosaed, Alireza ; Sharifi, Sepehr ; Amyot, Daniel.. - p. 271-285 , 2020
Link: https://doi.org/10.1007/..
 
?
12

Automated Generation of Smart Contract Code from Legal Cont..:

Aidin Rasti ; Amal Ahmed Anda ; Sofana Alfuhaid...
doi:10.5281/zenodo.7897781.  , 2023
Link: https://zenodo.org/recor..
 
?
13

Automated Generation of Smart Contract Code from Legal Cont..:

Aidin Rasti ; Amal Ahmed Anda ; Sofana Alfuhaid...
doi:10.5281/zenodo.7897781.  , 2023
Link: https://zenodo.org/recor..
 
?
14

Automated Generation of Smart Contract Code from Legal Cont..:

Aidin Rasti ; Amal Ahmed Anda ; Sofana Alfuhaid...
doi:10.5281/zenodo.7897781.  , 2023
Link: https://zenodo.org/recor..
 
?
15

Symboleo2SC: From Legal Contract Specifications to Smart Co..:

Aidin Rasti ; Daniel Amyot ; Alireza Parvizimosaed...
doi:10.5281/zenodo.6974786.  , 2022
Link: https://zenodo.org/recor..
 
1-15