Michael Borkowski

27 papers C 1Misc 1Journal 11Unranked 13
YearRankTypeTitle / Venue / Authors
2024 J jnl
Mechanizing Refinement Types.
Proc. ACM Program. Lang.
Michael Borkowski, Niki Vazou, Ranjit Jhala
2022 J jnl
Mechanizing Refinement Types (extended).
CoRR
Michael Borkowski, Niki Vazou, Ranjit Jhala
2021 — conf
Towards Cross-Blockchain Smart Contracts.
DAPPS
Markus Nissl, Emanuel Sallinger, Stefan Schulte, Michael Borkowski
2020 — conf
A Framework for Assessing and Selecting Blockchains at Runtime.
DAPPS
Philipp Frauenthaler, Michael Borkowski, Stefan Schulte
2020 — conf
Characterizing Efficiency Optimizations in Solidity Smart Contracts.
Blockchain
Tamara Brandstätter, Stefan Schulte, Jürgen Cito, Michael Borkowski
2020 — ch.
Maschinelles Lernen für Ressourcenplanung in Verteilten Systemen.
Ausgezeichnete Informatikdissertationen
Michael Borkowski
2020 J jnl
Towards Cross-Blockchain Smart Contracts.
CoRR
Markus Nissl, Emanuel Sallinger, Stefan Schulte, Michael Borkowski
2019 J jnl
A Framework for Blockchain Interoperability and Runtime Selection.
CoRR
Philipp Frauenthaler, Michael Borkowski, Stefan Schulte
2019 — conf
Blockchain-based Data Provenance for the Internet of Things.
IOT
Marten Sigwart, Michael Borkowski, Marco Peise, Stefan Schulte, Stefan Tai
2019 J jnl
Blockchain-based Data Provenance for the Internet of Things.
CoRR
Marten Sigwart, Michael Borkowski, Marco Peise, Stefan Schulte, Stefan Tai
2019 J jnl
DeXTT: Deterministic Cross-Blockchain Token Transfers.
CoRR
Michael Borkowski, Marten Sigwart, Philipp Frauenthaler, Taneli Hukkinen, Stefan Schulte
2019 J jnl
Dextt: Deterministic Cross-Blockchain Token Transfers.
IEEE Access
Michael Borkowski, Marten Sigwart, Philipp Frauenthaler, Taneli Hukkinen, Stefan Schulte
2019 — conf
Edge computing with peer to peer interactions: use cases and impact.
IoT-Fog@IoTDI
Vasileios Karagiannis, Alexandre Venito, Rodrigo Coelho, Michael Borkowski, Gerhard Fohler
2019 J jnl
Event-based failure prediction in distributed business processes.
Inf. Syst.
Michael Borkowski, Walid Fdhila, Matteo Nardelli, Stefanie Rinderle-Ma, Stefan Schulte
2019 J jnl
Minimizing Cost by Reducing Scaling Operations in Distributed Stream Processing.
Proc. VLDB Endow.
Michael Borkowski, Christoph Hochreiner, Stefan Schulte
2019 — conf
Towards Blockchain Interoperability.
BPM (Blockchain and CEE Forum)
Stefan Schulte, Marten Sigwart, Philipp Frauenthaler, Michael Borkowski
2018 — conf
Data Prefetching in Smart Systems.
EDOC Workshops
Sabine Weninger, Michael Borkowski
2018 C conf
Process Simulation for Machine Reservation in Cloud Manufacturing.
INDIN
Philipp Waibel, Svetoslav Videnov, Michael Borkowski, Christoph Hochreiner, Stefan Schulte, Jan Mendling
2018 — conf
Trustworthy Detection and Arbitration of SLA Violations in the Cloud.
ESOCC
Christian Schubert, Michael Borkowski, Stefan Schulte
2017 J jnl
Event-based Failure Prediction in Distributed Business Processes.
CoRR
Michael Borkowski, Walid Fdhila, Matteo Nardelli, Stefanie Rinderle-Ma, Stefan Schulte
2017 — conf
Moderated Resource Elasticity for Stream Processing Applications.
Euro-Par Workshops
Michael Borkowski, Christoph Hochreiner, Stefan Schulte
2017 J jnl
Optimized IoT service placement in the fog.
Serv. Oriented Comput. Appl.
Olena Skarlat, Matteo Nardelli, Stefan Schulte, Michael Borkowski, Philipp Leitner
2016 — conf
Bridging gaps in cloud manufacturing with 3D printing.
GI-Jahrestagung
Christoph Hochreiner, Philipp Waibel, Michael Borkowski
2016 Misc conf
Predicting cloud resource utilization.
UCC
Michael Borkowski, Stefan Schulte, Christoph Hochreiner
2016 — conf
Prediction-Based Prefetch Scheduling in Mobile Service Applications.
IEEE MS
Michael Borkowski, Olena Skarlat, Stefan Schulte, Schahram Dustdar
2016 — conf
Resource Provisioning for IoT Services in the Fog.
SOCA
Olena Skarlat, Stefan Schulte, Michael Borkowski, Philipp Leitner
2016 — conf
Towards a methodology and instrumentation toolset for cloud manufacturing.
CPPS@CPSWeek
Olena Skarlat, Michael Borkowski, Stefan Schulte