TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 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
Artikel, Zweitveröffentlichung, Verlagsversion

Bračevac, Oliver (2019)
Event Correlation with Algebraic Effects - Theory, Design and Implementation.
Technische Universität Darmstadt
Dissertation, Erstveröffentlichung

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

Bračevac, Oliver ; Erdweg, Sebastian ; Salvaneschi, Guido ; Mezini, Mira (2016)
CPL: A Core Language for Cloud Computing -- Technical Report.
In: ArXiv-CoRR, (Preprint)
Artikel, 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)
Konferenzveröffentlichung, 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
Buchkapitel, Bibliographie

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

Diese Liste wurde am Tue Mar 19 02:10:35 2024 CET generiert.