AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Johannes Späth

Johannes Späth

Universität Paderborn - Paderborn / Germany
Others
AD Scientific Index ID: 4509268
University of Paderborn
person_outline Johannes Späth's MOST POPULAR ARTICLES
1-) CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs IEEE Transactions on Software Engineering 47 (11), 2382-2400, 2019
2-) Boomerang: Demand-driven flow-and context-sensitive pointer analysis for java 30th European Conference on Object-Oriented Programming (ECOOP 2016), 22: 1 …, 2016
3-) Context-, flow-, and field-sensitive data-flow analysis using synchronized pushdown systems Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
4-) Access-path abstraction: Scaling field-sensitive data-flow analysis with unbounded access paths (t) 2015 30th IEEE/ACM International Conference on Automated Software …, 2015
5-) IDEal: efficient and precise alias-aware dataflow analysis Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017