TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 9.

Bračevac, Oliver (2019):
Event Correlation with Algebraic Effects - Theory, Design and Implementation.
Darmstadt, Technische Universität,
[Ph.D. Thesis]

Bračevac, Oliver and Amin, Nada and Salvaneschi, Guido and Erdweg, Sebastian and Eugster, Patrick and Mezini, Mira (2018):
Versatile Event Correlation with Algebraic Effects.
In: Proceedings of the ACM on Programming Languages, 2 (ICFP), pp. 67:1-67:31. ISSN 2475-1421,
DOI: 10.1145/3236762,
[Article]

Bračevac, Oliver and Gay, Richard and Grewe, Sylvia and Mantel, Heiko and Sudbrock, Henning and Tasch, Markus (2018):
An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties.
In: Archive of Formal Proofs, 2018, [Article]

Kuci, Edlira and Erdweg, Sebastian and Bračevac, Oliver and Bejleri, Andi and Mezini, Mira (2017):
A Co-contextual Type Checker for Featherweight Java.
In: Leibniz International Proceedings in Informatics (LIPIcs), 74, In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), pp. 18:1-18:26, DOI: 10.4230/LIPIcs.ECOOP.2017.18,
[Book Section]

Bračevac, Oliver and Erdweg, Sebastian and Salvaneschi, Guido and Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing.
In: MODULARITY 2016, In: Proceedings of the 15th International Conference on Modularity, pp. 94-105, New York, NY, USA, ACM, ISBN 978-1-4503-3995-7,
[Book Section]

Bračevac, Oliver and Erdweg, Sebastian and Salvaneschi, Guido and Mezini, Mira (2016):
CPL: A Core Language for Cloud Computing -- Technical Report.
In: ArXiv-CoRR, (Preprint), [Article]

Bračevac, Oliver (2015):
Temporal Correlation Patterns -- Intersecting Joins, Streams, Events and Reactive Programming.
Workshop on Reactive and Event-based Languages & Systems co-located with SPLASH '15, 27 Oct 2015, [Conference or Workshop Item]

Erdweg, Sebastian and Bračevac, Oliver and Kuci, Edlira and Krebs, Matthias and Mezini, Mira (2015):
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: OOPSLA 2015, In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 880-897, New York, NY, USA, ACM, ISBN 978-1-4503-3689-5,
[Book Section]

Bračevac, Oliver (2013):
A Formal Model for Event Correlation in Information Flow Processing.
TU Darmstadt, [Master Thesis]

This list was generated on Sat Jan 16 02:22:14 2021 CET.