Concepedia

Johannes Späth

JS

7

Publications

370

Citations

7

H-Index

2015

Active since

Affiliations

Paderborn University(Current)

University of Alberta

Fraunhofer Institute for Mechatronic Systems Design

Technical University of Darmstadt

Johannes Späth is an author at Paderborn University specializing in engineering, system software, and computer science.

Top concepts

EngineeringSystem SoftwareComputer ScienceSoftware AnalysisFormal MethodsProgram AnalysisFormal VerificationSoftware EngineeringComputer EngineeringData Security

Publications per year

2015–2019

7

Publications

7

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java

Johannes Späth, Lisa Nguyen Quang, Karim Ali et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 89 citations · Full text

Engineering, Compiler Technology, Software Engineering +19

Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems

Johannes Späth, Karim Ali, Eric Bodden · Proceedings of the ACM on Programming Languages · 2019 · 72 citations · Full text

Engineering, Reachability Problem, Verification +19

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs

Stefan Krüger, Johannes Späth, Karim Ali et al. · IEEE Transactions on Software Engineering · 2019 · 69 citations

Mobile Security, Cryptographic Primitive, Engineering +28

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs

Stefan Krüger, Johannes Späth, Karim Ali et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 57 citations · Full text

Mobile Security, Cryptographic Primitive, Engineering +26

Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T)

Johannes Lerch, Johannes Späth, Eric Bodden et al. · 2015 · 33 citations

Engineering, Computer Architecture, Unbounded Access Paths +25

Rows per page

1–5 of 7