Johannes Späth

20 papers A* 2A 2Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Poster: The FAIRer Path Forward: Advancing Research Infrastructures for Unified Reproducibility and Usability.
CoNEXT (Short Papers)
Eric Hauser, Kilian Warmuth, Johannes Späth, Georg Carle
2025 J jnl
QUIC Steps: Evaluating Pacing Strategies in QUIC Implementations.
CoRR
Marcel Kempf, Simon Tietz, Benedikt Jaeger, Johannes Späth, Georg Carle, Johannes Zirngibl
2025 J jnl
QUIC Steps: Evaluating Pacing Strategies in QUIC Implementations.
Proc. ACM Netw.
Marcel Kempf, Simon Tietz, Benedikt Jaeger, Johannes Späth, Georg Carle, Johannes Zirngibl
2024 — conf
Sim2HW: Modeling Latency Offset Between Network Simulations and Hardware Measurements.
GNNet@CoNEXT
Johannes Späth, Max Helm, Benedikt Jaeger, Georg Carle
2022 J jnl
Fluently specifying taint-flow queries with fluentTQL.
CoRR
Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden
2022 J jnl
Fluently specifying taint-flow queries with fluentTQL.
Empir. Softw. Eng.
Goran Piskachev, Johannes Späth, Ingo Budde, Eric Bodden
2021 J jnl
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
IEEE Trans. Software Eng.
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2019 A* conf
A Qualitative Analysis of Android Taint-Analysis Results.
ASE
Linghui Luo, Eric Bodden, Johannes Späth
2019 — conf
Applications of Synchronized Pushdown Systems.
Denert Award
Johannes Späth
2019 — conf
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.
FM Workshops (2)
Goran Piskachev, Tobias Petrasch, Johannes Späth, Eric Bodden
2019 J jnl
Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems.
Proc. ACM Program. Lang.
Johannes Späth, Karim Ali, Eric Bodden
2019 — ch.
Synchronisierte Pushdown Systeme für Datenfluss-Analysen.
Ausgezeichnete Informatikdissertationen
Johannes Späth
2019 — —
Synchronized pushdown systems for pointer and data-flow analysis.
Johannes Späth
2018 J jnl
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).
Dagstuhl Artifacts Ser.
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2018 A conf
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
ECOOP
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2017 J jnl
CrySL: Validating Correct Usage of Cryptographic APIs.
CoRR
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2017 J jnl
IDE
Proc. ACM Program. Lang.
Johannes Späth, Karim Ali, Eric Bodden
2016 J jnl
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact).
Dagstuhl Artifacts Ser.
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden
2016 A conf
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java.
ECOOP
Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden
2015 A* conf
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T).
ASE
Johannes Lerch, Johannes Späth, Eric Bodden, Mira Mezini