Alireza Parvizimosaed

According to our database, Alireza Parvizimosaed authored at least 14 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Protection against Ransomware in Industrial Control Systems through Decentralization using Blockchain.

Alireza Parvizimosaed, Hamid Azad, Daniel Amyot, John Mylopoulos

Proceedings of the 20th Annual International Conference on Privacy, Security and Trust, 2023

Engineering Smart Contracts with Symboleo: A Progress Report.

Daniel Amyot, Luigi Logrippo, John Mylopoulos, Marco Roveri, Amal Ahmed Anda, Alireza Parvizimosaed, Sofana Alfuhaid, Sepehr Sharifi, Aidin Rasti, Regan Meloche, Daniel Sousa-Diaz

Proceedings of the 33rd Annual International Conference on Computer Science and Software Engineering, 2023

2022

Specification and analysis of legal contracts with Symboleo.

Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, Marco Roveri, Aidin Rasti, Ali Roudak, John Mylopoulos

Softw. Syst. Model., 2022

Symboleo2SC: from legal contract specifications to smart contracts.

Aidin Rasti, Daniel Amyot, Alireza Parvizimosaed, Marco Roveri, Luigi Logrippo, Amal Ahmed Anda, John Mylopoulos

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Model-checking legal contracts with SymboleoPC.

Alireza Parvizimosaed, Marco Roveri, Aidin Rasti, Daniel Amyot, Luigi Logrippo, John Mylopoulos

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021

Social Requirements Models for Services.

John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi

Proceedings of the Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future, 2021

2020

BIOT: A Blockchain-Based IoT Platform for Distributed Energy Resource Management.

Mostafa Yalpanian, Naser Mirzaei, Alireza Parvizimosaed, Farid Farmani, Mehdi Parvizimosaed, Behdad Bahrami

Proceedings of the Silicon Valley Cybersecurity Conference - First Conference, 2020

Symboleo: Towards a Specification Language for Legal Contracts.

Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, John Mylopoulos

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Towards the Specification and Verification of Legal Contracts.

Alireza Parvizimosaed

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Social Dependence Relationships in Requirements Engineering.

John Mylopoulos, Daniel Amyot, Luigi Logrippo, Alireza Parvizimosaed, Sepehr Sharifi

Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020), 2020

Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo.

Alireza Parvizimosaed, Sepehr Sharifi, Daniel Amyot, Luigi Logrippo, John Mylopoulos

Proceedings of the Conceptual Modeling - 39th International Conference, 2020

2015

Towards a self-adaptive service-oriented methodology based on extended SOMA.

Alireza Parvizi-Mosaed, Shahrouz Moaven, Jafar Habibi, Ghazaleh Beigi, Mahdieh Naser-Shariat

Frontiers Inf. Technol. Electron. Eng., 2015

Towards a Knowledge Based Approach to Style Driven Architecture Design.

Shahrouz Moaven, Jafar Habibi, Razie Alidoosti, Alireza Parvizi-Mosaed

Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, 2015

2014

Towards a Tactic-Based Evaluation of Self-Adaptive Software Architecture Availability.

Alireza Parvizi-Mosaed, Shahrouz Moaven, Jafar Habibi, Abbas Heydarnoori

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014