index

Florian Kübler, M.Sc.

I am a doctoral researcher at the Software Technology Group at TU Darmstadt. My research focuses on composition of multiple modular static analyses for bug and vulnerability finding.

I am also interested in improving the current infrastructure and tool support for such kind of analyses.

Publications

Group by: Date | Item type | No grouping
Jump to: 2018 | 2017
Number of items: 4.

2018

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
[Conference or workshop item], (2018)

2017

Kübler, Florian :
Foundations of a refinement-based framework for escape analyses.
TU Darmstadt
[Master thesis], (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
[Conference or workshop item], (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
[Conference or workshop item], (2017)

This list was generated on Wed Oct 17 04:41:06 2018 CEST.