45 citations · 62 across the 4 of their papers we have counts for
6 papers
Mechanizing Refinement Types (extended)
Michael Borkowski, Niki Vazou, Ranjit Jhala
Practical checkers based on refinement types use the combination of implicit semantic sub-typing and parametric polymorphism to simplify the specification and automate the verifica…
Towards Cross-Blockchain Smart Contracts
Markus Nissl, Emanuel Sallinger, Stefan Schulte +1
In recent years, manifold blockchain protocols have been proposed by researchers and industrial companies alike. This has led to a very heterogeneous blockchain landscape. Accordin…
A Framework for Blockchain Interoperability and Runtime Selection
Philipp Frauenthaler, Michael Borkowski, Stefan Schulte
The suitability of a particular blockchain for a given use case depends mainly on the blockchain's functional and non-functional properties. Such properties may vary over time, and…
DeXTT: Deterministic Cross-Blockchain Token Transfers
Michael Borkowski, Marten Sigwart, Philipp Frauenthaler +2
Current blockchain technologies provide very limited interoperability. Restrictions with regards to asset transfers and data exchange between different blockchains reduce usability…
Blockchain-based Data Provenance for the Internet of Things
Marten Sigwart, Michael Borkowski, Marco Peise +2
As more and more applications and services depend on data collected and provided by Internet of Things (IoT) devices, it is of importance that such data can be trusted. Data proven…
Event-based Failure Prediction in Distributed Business Processes
Michael Borkowski, Walid Fdhila, Matteo Nardelli +2
Traditionally, research in Business Process Management has put a strong focus on centralized and intra-organizational processes. However, today's business processes are increasingl…