Search filters

List of works by Andrea Morichetta

A Choreography-Driven Approach for Blockchain-Based IoT Applications

scientific article published on 21 March 2022

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

scientific article published in 2023

CATANA: Replay Testing for the Ethereum Blockchain

scientific article published in 2023

Correction to: Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift

scientific article published in 2023

Correctness checking for BPMN collaborations with sub-processes

scientific article published in August 2020

Enabling Auditing of Smart Contracts Through Process Mining

scientific article published in 2019

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

scientific article published on 11 February 2022

Engineering trustable choreography-based systems using blockchain

scientific article published on 30 March 2020

Flexible execution of multi-party business processes on blockchain

scientific article published on 19 May 2022

Managing Variability of Large Public Administration Event Log Collections: Dealing with Concept Drift

scientific article published in 2023

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

scientific article published in 2021

Mutation Testing of Smart Contracts As a Service

Programming and Verifying Component Ensembles

RESTChain: a Blockchain-based Mediator for REST Interactions in Service Choreographies

scientific article published on 27 March 2023

ReSuMo: Regression Mutation Testing for Solidity Smart Contracts

scientific article published in 2022

ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts

scientific article published in 2023

Smart contract testing

scientific article published on 19 May 2022

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts

scientific article published in May 2021

SuMo: A mutation testing approach and tool for the Ethereum blockchain

scientific article published in 2022

TLV-diss$$_{\gamma }$$: A Dissimilarity Measure for Public Administration Process Logs

scientific article published in 2021

The SCEL Language: Design, Implementation, Verification

article by Rocco De Nicola et al published 2015 in Lecture Notes in Computer Science

Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations

scientific article published in February 2021

Paulina is supported by:

About Paulina

Help