title = {BiobankCloud: a Platform for the Secure Storage, Sharing, and Processing of Large Biomedical Data Sets},
  author = {Alysson Bessani and J\"orgen Brandt and Marc Bux and Vinicius Cogo and Lora Dimitrova and Jim Dowling and Ali Gholami and Kamal Hakimzadeh and Michael Hummel and Mahmoud Ismail and Erwin Laure and Ulf Leser and Jan-Eric Litton and Roxanna Martinez and Salman Niazi and Jane Reichel and Karin Zimmermann},
  booktitle = {The First International Workshop on Data Management and Analytics for Medicine and Healthcare (DMAH 2015)},
  year = {2015},
  month = {September},
  url = {}
  title = {Cuneiform: A Functional Language for Large Scale Scientific Data Analysis},
  author = {Brandt, J{\"o}rgen and Bux, Marc and Leser, Ulf},
  booktitle = {Proceedings of the Workshops of the EDBT/ICDT},
  year = {2015},
  address = {Brussels, Belgium},
  month = {March},
  pages = {17--26},
  volume = {1330},
  url = {}
  author = {Bux, Marc and Brandt, J\"{o}rgen and Lipka, Carsten and Hakimzadeh, Kamal and Dowling, Jim and Leser, Ulf},
  title = {SAASFEE: Scalable Scientific Workflow Execution Engine},
  journal = {Proc. VLDB Endow.},
  issue_date = {August 2015},
  volume = {8},
  number = {12},
  month = aug,
  year = {2015},
  issn = {2150-8097},
  pages = {1892--1895},
  numpages = {4},
  url = {},
  doi = {10.14778/2824032.2824094},
  acmid = {2824094},
  publisher = {VLDB Endowment}
  title = {Hi-WAY: Execution of Scientific Workflows on Hadoop YARN},
  author = {Bux, Marc and Brandt, J{\"{o}}rgen and Witt, Carl and Dowling, Jim and Leser, Ulf},
  booktitle = {Proceedings of the 20th International Conference on Extending Database Technology (EDBT).},
  year = {2017},
  address = {Venice, Italy}
  title = {Computation semantics of the functional scientific workflow language Cuneiform},
  volume = {27},
  doi = {10.1017/S0956796817000119},
  journal = {Journal of Functional Programming},
  publisher = {Cambridge University Press},
  author = {Brandt, Jörgen and Reisig, Wolfgang and Leser, Ulf},
  year = {2017},
  pages = {e22}
  author = {Brandt, J\"orgen and Reisig, Wolfgang},
  title = {Modeling Erlang Processes as Petri Nets},
  booktitle = {Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang (Erlang ’18)},
  year = {2018},
  address = {St. Louis, MO, USA},
  month = sep,
  publisher = {ACM},
  abstract = {Distributed systems are more important in systems design than ever. Partitioning systems into independent, distributed components has many advantages but also brings about design challenges. The OTP framework addresses such challenges by providing process templates that separate application-dependent from application-specific logic. This way the OTP framework hosts a variety of modeling techniques, e.g., finite state machines.

Petri nets are a modeling technique especially suited for distributed systems. We introduce gen_pnet, a behavior for designing Erlang processes as Petri nets. We give a short introduction to Petri net semantics and demonstrate how Erlang applications can be modeled as Petri nets. Furthermore, we discuss two Erlang applications modeled and implemented as Petri nets. For both applications we introduce
a Petri net model and discuss design challenges.},
  doi = {10.1145/3239332.3242767}
@comment{{jabref-meta: databaseType:bibtex;}}

This file was generated by bibtex2html 1.98.