Filtros de búsqueda

Lista de obras de

A Choreography-Driven Approach for Blockchain-Based IoT Applications

artículo científico publicado en 2022

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

scientific article published in 2023

CATANA: Replay Testing for the Ethereum Blockchain

artículo científico publicado en 2023

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

artículo científico publicado en 2023

Correctness checking for BPMN collaborations with sub-processes

artículo científico publicado en 2020

Enabling Auditing of Smart Contracts Through Process Mining

artículo científico publicado en 2019

Engineering Trustable and Auditable Choreography-based Systems Using Blockchain

artículo científico publicado en 2022

Engineering trustable choreography-based systems using blockchain

artículo científico publicado en 2020

Event log extraction methodology for Ethereum applications

artículo científico publicado en 2025

Flexible execution of multi-party business processes on blockchain

artículo científico publicado en 2022

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

artículo científico publicado en 2023

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

artículo científico publicado en 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

artículo científico publicado en 2023

ReSuMo: Regression Mutation Testing for Solidity Smart Contracts

artículo científico publicado en 2022

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

artículo científico publicado en 2023

Smart contract testing

artículo científico publicado en 2022

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts

artículo científico publicado en 2021

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

artículo científico publicado en 2022

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

artículo científico publicado en 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

artículo científico publicado en 2021

Dominio Público Uruguay está sostenido por:

Acerca de Dominio Público Uruguay

Ayuda