BibTeX records: Oliver Bracevac

download as .bib file

@article{DBLP:journals/corr/abs-1907-02990,
  author    = {Oliver Bracevac and
               Guido Salvaneschi and
               Sebastian Erdweg and
               Mira Mezini},
  title     = {Type-safe, Polyvariadic Event Correlation},
  journal   = {CoRR},
  volume    = {abs/1907.02990},
  year      = {2019},
  url       = {http://arxiv.org/abs/1907.02990},
  archivePrefix = {arXiv},
  eprint    = {1907.02990},
  timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1907-02990.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/BracevacGGMST18,
  author    = {Oliver Bracevac and
               Richard Gay and
               Sylvia Grewe and
               Heiko Mantel and
               Henning Sudbrock and
               Markus Tasch},
  title     = {An Isabelle/HOL Formalization of the Modular Assembly Kit for Security
               Properties},
  journal   = {Archive of Formal Proofs},
  volume    = {2018},
  year      = {2018},
  url       = {https://www.isa-afp.org/entries/Modular\_Assembly\_Kit\_Security.html},
  timestamp = {Mon, 07 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/afp/BracevacGGMST18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BracevacASEEM18,
  author    = {Oliver Bracevac and
               Nada Amin and
               Guido Salvaneschi and
               Sebastian Erdweg and
               Patrick Eugster and
               Mira Mezini},
  title     = {Versatile event correlation with algebraic effects},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{ICFP}},
  pages     = {67:1--67:31},
  year      = {2018},
  url       = {https://doi.org/10.1145/3236762},
  doi       = {10.1145/3236762},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/pacmpl/BracevacASEEM18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KuciEBBM17,
  author    = {Edlira Kuci and
               Sebastian Erdweg and
               Oliver Bracevac and
               Andi Bejleri and
               Mira Mezini},
  editor    = {Peter M{\"{u}}ller},
  title     = {A Co-contextual Type Checker for Featherweight Java},
  booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
               June 19-23, 2017, Barcelona, Spain},
  series    = {LIPIcs},
  volume    = {74},
  pages     = {18:1--18:26},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2017},
  url       = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.18},
  doi       = {10.4230/LIPIcs.ECOOP.2017.18},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/ecoop/KuciEBBM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KuciEBBM17,
  author    = {Edlira Kuci and
               Sebastian Erdweg and
               Oliver Bracevac and
               Andi Bejleri and
               Mira Mezini},
  title     = {A Co-contextual Type Checker for Featherweight Java (incl. Proofs)},
  journal   = {CoRR},
  volume    = {abs/1705.05828},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.05828},
  archivePrefix = {arXiv},
  eprint    = {1705.05828},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/KuciEBBM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/BracevacESM16,
  author    = {Oliver Bracevac and
               Sebastian Erdweg and
               Guido Salvaneschi and
               Mira Mezini},
  editor    = {Lidia Fuentes and
               Don S. Batory and
               Krzysztof Czarnecki},
  title     = {{CPL:} a core language for cloud computing},
  booktitle = {Proceedings of the 15th International Conference on Modularity, {MODULARITY}
               2016, M{\'{a}}laga, Spain, March 14 - 18, 2016},
  pages     = {94--105},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2889443.2889452},
  doi       = {10.1145/2889443.2889452},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/aosd/BracevacESM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BracevacESM16,
  author    = {Oliver Bracevac and
               Sebastian Erdweg and
               Guido Salvaneschi and
               Mira Mezini},
  title     = {{CPL:} {A} Core Language for Cloud Computing - Technical Report},
  journal   = {CoRR},
  volume    = {abs/1602.00981},
  year      = {2016},
  url       = {http://arxiv.org/abs/1602.00981},
  archivePrefix = {arXiv},
  eprint    = {1602.00981},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/BracevacESM16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ErdwegBKKM15,
  author    = {Sebastian Erdweg and
               Oliver Bracevac and
               Edlira Kuci and
               Matthias Krebs and
               Mira Mezini},
  editor    = {Jonathan Aldrich and
               Patrick Eugster},
  title     = {A co-contextual formulation of type rules and its application to incremental
               type checking},
  booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
               25-30, 2015},
  pages     = {880--897},
  publisher = {{ACM}},
  year      = {2015},
  url       = {https://doi.org/10.1145/2814270.2814277},
  doi       = {10.1145/2814270.2814277},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/oopsla/ErdwegBKKM15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics