Related references
Note: Only part of the references are listed.Zero-Chain: A Blockchain-Based Identity for Digital City Operating System
Kwame Omono Asamoah et al.
IEEE INTERNET OF THINGS JOURNAL (2020)
Simulating, Off-Chain and On-Chain: Agent-Based Simulations in Cross-Organizational Business Processes
Timotheus Kampik et al.
INFORMATION (2020)
Caterpillar: A business process execution engine on the Ethereum blockchain
Orlenys Lopez-Pintado et al.
SOFTWARE-PRACTICE & EXPERIENCE (2019)
An Infrastructure for Service Accountability based on Digital Identity and Blockchain 3.0
Angelo Furfaro et al.
IEEE CONFERENCE ON COMPUTER COMMUNICATIONS WORKSHOPS (IEEE INFOCOM 2019 WKSHPS) (2019)
A Cloud-based platform for the emulation of complex cybersecurity scenarios
Angelo Furfaro et al.
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE (2018)
Traceability System for Improved Utilization of Solid Biofuel from Agricultural Prunings
Techane Bosona et al.
SUSTAINABILITY (2018)
Formal Modeling and Verification of Smart Contracts
Xiaomin Bai et al.
PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018) (2018)
Blockchains for Business Process Management - Challenges and Opportunities
Jan Mendling et al.
ACM TRANSACTIONS ON MANAGEMENT INFORMATION SYSTEMS (2018)
Using virtual environments for the assessment of cyberseturity issues in IoT scenarios
Angelo Furfaro et al.
SIMULATION MODELLING PRACTICE AND THEORY (2017)
A reference architecture for managing dynamic inter-organizational business processes
Alex Norta et al.
DATA & KNOWLEDGE ENGINEERING (2014)
Model checking time-dependent system specifications using Time Stream Petri Nets and UPPAAL
Franco Cicirelli et al.
APPLIED MATHEMATICS AND COMPUTATION (2012)