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: 8.

Bračevac, Oliver and Amin, Nada and Salvaneschi, Guido and Erdweg, Sebastian and Eugster, Patrick and Mezini, Mira :
Versatile Event Correlation with Algebraic Effects.
[Online-Edition: https://doi.org/10.1145/3236762]
In: Proceedings of the ACM on Programming Languages. PACMPL, Volume 2 (Issue ICFP). ACM , 67:1-67:31.
[Book Section] , (2018)

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

Kuci, Edlira and Erdweg, Sebastian and Bračevac, Oliver and Bejleri, Andi and Mezini, Mira :
A Co-contextual Type Checker for Featherweight Java.
[Online-Edition: http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=7262]
In: 31st European Conference on Object-Oriented Programming (ECOOP 2017). Leibniz International Proceedings in Informatics (LIPIcs), 74. , 18:1-18:26.
[Book Section] , (2017)

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

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

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

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

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

This list was generated on Sat May 25 00:53:28 2019 CEST.