Symboleo2SC-Reference-Cited by-同舟云学术

Symboleo2SC

Published:2022-10-23 Issue: Volume: Page:300-310
ISSN:
Container-title:Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

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

Affiliation:

1. University of Ottawa, Ottawa, Ontario, Canada

2. University of Trento, Trento, Italy

3. University of Ottawa, Ottawa, Ontario, Canada and UQO, Gatineau, Quebec, Canada

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3550355.3552407

Reference41 articles.

1. A Model-Driven Framework for Security Labs using Blockchain Methodology

2. Hyperledger fabric

3. Empowering Business-Level Blockchain Users with a Rules Framework for Smart Contracts

4. Lorenzo Bettini . 2016. Implementing Domain Specific Languages with Xtext and Xtend - Second Edition (2 nd ed.). Packt Publishing . Lorenzo Bettini. 2016. Implementing Domain Specific Languages with Xtext and Xtend - Second Edition (2nd ed.). Packt Publishing.

5. A Grammar of Institutions

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Secure and Interactive Smart Contract Code from Formal Symboleo Specifications;2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2025-04-27

2. Distributed Policy Enforcement Framework for System Transactions;2025 IEEE International systems Conference (SysCon);2025-04-07

3. Integrating smart contracts into the modeling paradigm to harness the potential of models;Software and Systems Modeling;2025-01-28

4. A formal specification language and automatic modeling method of asset securitization contract;Journal of King Saud University - Computer and Information Sciences;2024-10

5. Requirement-Driven Generation of Distributed Ledger Architectures;Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems;2024-09-22