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 ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2020)
Versatile Event Correlation with Algebraic Effects.
In: Proceedings of the ACM on Programming Languages, 2018, 2 (ICFP)
doi: 10.25534/tuprints-00014556
Article, Secondary publication, Publisher's Version

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

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

Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver ; Bejleri, Andi ; Mezini, Mira (2017)
A Co-contextual Type Checker for Featherweight Java.
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017)
doi: 10.4230/LIPIcs.ECOOP.2017.18
Book Section, Bibliographie

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016)
CPL: A Core Language for Cloud Computing.
In: Proceedings of the 15th International Conference on Modularity
doi: 10.1145/2889443.2889452
Book Section, Bibliographie

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

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, Bibliographie

Erdweg, Sebastian ; Bračevac, Oliver ; Kuci, Edlira ; Krebs, Matthias ; Mezini, Mira (2015)
A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking.
In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
doi: 10.1145/2814270.2814277
Book Section, Bibliographie

Bračevac, Oliver (2013)
A Formal Model for Event Correlation in Information Flow Processing.
Technische Universität Darmstadt
Master Thesis, Bibliographie

This list was generated on Sat Mar 2 00:43:26 2024 CET.