Publications and Manuscripts

Also consult my dblp page.

Top publications highlighted


  1. Event Correlation with Algebraic Effects - Theory, Design and Implementation [link]
    Oliver Bračevac. PhD Thesis. Technische Universität Darmstadt, Germany. 2019.
  2. Type-safe, Polyvariadic Event Correlation [link]
    Oliver BračevacGuido SalvaneschiSebastian Erdweg, and Mira Mezini. In CoRR abs/1907.02990. 2019.


  1. An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties [link]
    Oliver BračevacRichard GaySylvia GreweHeiko MantelHenning Sudbrock, and Markus Tasch. In Archive of Formal Proofs. 2018.
  2. Versatile Event Correlation with Algebraic Effects [link]
    Oliver BračevacNada AminGuido SalvaneschiSebastian ErdwegPatrick Eugster, and Mira Mezini. In Proceedings of the ACM on Programming Languages (PACMPL) 2, International Conference on Functional Programming (ICFP). 2018.


  1. A Co-contextual Type Checker for Featherweight Java [link]
    Edlira KuciSebastian ErdwegOliver BračevacAndi Bejleri, and Mira Mezini. In Proceedings of European Conference on Object-Oriented Programming (ECOOP). 2017.


  1. CPL: A Core Language for Cloud Computing [link]
    Oliver BračevacSebastian ErdwegGuido Salvaneschi, and Mira Mezini. In Proceedings of Conference on Modularity (MODULARITY/AOSD). 2016.


  1. A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking [link]
    Sebastian ErdwegOliver BračevacEdlira KuciMatthias Krebs, and Mira Mezini. In Proceedings of Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). 2015.
  2. Temporal Correlation Patterns – Intersecting Joins, Streams, Events and Reactive Programming [link]
    Oliver Bračevac. In Workshop on Reactive and Event-based Languages & Systems (REBLS). 2015.
Publications - Dr.-Ing. Oliver Bračevac