Concepedia

Andrea Morichetta

AM

12

Publications

307

Citations

11

H-Index

2015

Active since

Affiliations

Università di Camerino(Current)

Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti

University of Florence

Andrea Morichetta is an author at Università di Camerino specializing in formal verification, software engineering, and engineering.

Top concepts

EngineeringFormal VerificationSoftware EngineeringVerificationFormal MethodsSoftware DesignSystems EngineeringComputer ScienceSoftware AnalysisBlockchain

Publications per year

2015–2023

12

Publications

12

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta et al. · ACM Transactions on Management Information Systems · 2022 · 44 citations

Blockchain Consensus Protocol, Engineering, Information Security +18

Correctness checking for BPMN collaborations with sub-processes

Flavio Corradini, Andrea Morichetta, Andrea Polini et al. · Journal of Systems and Software · 2020 · 41 citations

Engineering, Runtime Verification, Automated Reasoning +12

Engineering trustable choreography-based systems using blockchain

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta et al. · 2020 · 32 citations

Blockchain Consensus Protocol, Engineering, Information Security +20

Model-driven engineering for multi-party business processes on multiple blockchains

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta et al. · Blockchain Research and Applications · 2021 · 30 citations · Full text

A Flexible Approach to Multi-party Business Process Execution on Blockchain

Flavio Corradini, Alessandro Marcelletti, Andrea Morichetta et al. · Future Generation Computer Systems · 2023 · 29 citations · Full text

Rows per page

1–5 of 12