TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 4.

Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira :
A unified lattice model and framework for purity analyses.
[Online-Edition: http://www.ase2018.com/]
In: ASE 2018, 3.-7.9.2018, Corum, Montpellier, France. Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering ACM
[Konferenz- oder Workshop-Beitrag] , (2018)

Kübler, Florian :
Foundations of a refinement-based framework for escape analyses.
TU Darmstadt
[Masterarbeit] , (2017)

Erwig, Andreas ; Fischlin, Marc ; Hald, Martin ; Helm, Dominik ; Kiel, Robert ; Kübler, Florian ; Kümmerlin, Michael ; Laenge, Jakob ; Rohrbach, Felix :
Redactable Graph Hashing, Revisited.
ACISP 2017
[Konferenz- oder Workshop-Beitrag] , (2017)

Kübler, Florian ; Müller, Patrick ; Hermann, Ben :
SootKeeper: Runtime Reusability for Modular Static Analysis.
[Online-Edition: http://doi.acm.org/10.1145/3088515.3088518]
In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, New York, NY, USA. In: SOAP 2017 . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag] , (2017)

Diese Liste wurde am Wed Dec 12 18:38:14 2018 CET generiert.