Johannes Spth
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2016–2025
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CoNEXT | Poster: The FAIRer Path Forward: Advancing Research Infrastructures for Unified Reproducibility and Usability. | Eric Hauser, Kilian Warmuth, Johannes Spth, Georg Carle |
| 2019 | FM | AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. | Goran Piskachev, Tobias Petrasch, Johannes Spth, Eric Bodden |
| 2018 | ECOOP | CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. | Stefan Krger, Johannes Spth, Karim Ali, Eric Bodden, Mira Mezini |
| 2016 | ECOOP | Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java. | Johannes Spth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden |