Michael Borkowski

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 26

Top Topics

Data Provenance

Top Venues

Proc. VLDB Endow.

Publications

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