21 citations · 38 across the 7 of their papers we have counts for
7 papers
Validated Strong Consensus Protocol for Asynchronous Vote-based Blockchains
Yibin Xu, Jianhua Shao, Tijs Slaats +2
Vote-based blockchains construct a state machine replication (SMR) system among participating nodes, using Byzantine Fault Tolerance (BFT) consensus protocols to transition from on…
A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance
Yibin Xu, Jingyi Zheng, Boris Düdder +2
Sharding is essential for improving blockchain scalability. Existing protocols overlook diverse adversarial attacks, limiting transaction throughput. This paper presents Reticulum,…
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain
Yibin Xu, Tijs Slaats, Boris Düdder +2
We provide a practical translation from the Dynamic Condition Response (DCR) process modelling language to the Transaction Execution Approval Language (TEAL) used by the Algorand b…
DisCoveR: Accurate & Efficient Discovery of Declarative Process Models
Christoffer Olling Back, Tijs Slaats, Thomas Troels Hildebrandt +1
Declarative process modeling formalisms - which capture high-level process constraints - have seen growing interest, especially for modeling flexible processes. This paper presents…
A Adversary Power Resistant Blockchain Sharding Approach
Yibin Xu, Jianhua Shao, Yangyu Huang +2
Blockchain Sharding is a blockchain performance enhancement approach. By splitting a blockchain into several parallel-run committees (shards), it helps increase transaction through…
Blockchains for Business Process Management - Challenges and Opportunities
Jan Mendling, Ingo Weber, Wil van der Aalst +29
Blockchain technology promises a sizable potential for executing inter-organizational business processes without requiring a central party serving as a single point of trust (and f…
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Søren Debois, Thomas Hildebrandt, Tijs Slaats +1
We present the first session typing system guaranteeing request-response liveness properties for possibly non-terminating communicating processes. The types augment the branch and…