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
Springe zu: 2019 | 2018 | 2017 | 2016 | 2015
Anzahl der Einträge: 6.

2019

Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira (2019)
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
In: IEEE Transactions on Software Engineering, 2019
doi: 10.1109/TSE.2019.2948910
Artikel, Bibliographie

2018

Krüger, Stefan ; Späth, Johannes ; Ali, Karim ; Bodden, Eric ; Mezini, Mira (2018)
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
32nd European Conference on Object-Oriented Programming (ECOOP 2018). Amsterdam, The Netherlands (15.-21.07.2018)
doi: 10.4230/LIPIcs.ECOOP.2018.10
Konferenzveröffentlichung, Bibliographie

2017

Späth, Johannes ; Ali, Karim ; Bodden, Eric (2017)
IDEal: Efficient and Precise Alias-aware Dataflow Analysis.
Konferenzveröffentlichung, Bibliographie

2016

Späth, Johannes ; Nguyen Quang Do, Lisa ; Ali, Karim ; Bodden, Eric (2016)
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis.
Rome, Italy
doi: 10.4230/LIPIcs.ECOOP.2016.22
Konferenzveröffentlichung, Bibliographie

Späth, Johannes ; Nguyen, Lisa ; Ali, Karim ; Bodden, Eric (2016)
Boomerang: Demand-Driven Flow-Sensitive, Field-Sensitive, and Context-Sensitive Pointer Analysis.
Rome, Italy
Konferenzveröffentlichung, Bibliographie

2015

Lerch, Johannes ; Späth, Johannes ; Bodden, Eric ; Mezini, Mira (2015)
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths.
Automated Software Engineering (ASE), 2015 30th IEEE/ACM International Conference on. Lincoln, Nebraska, USA (9.-13. November 2015)
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 02:47:29 2024 CET generiert.