| 2026 | WWW | The State of the Internet: Insights from Security Indicators. | Florian Nettersheim, Stephan Arlt |
| 2024 | ICWE | Utilizing DNS and VirusTotal for Automated Ad-Malware Detection. | Florian Nettersheim, Stephan Arlt, Michael Rademacher |
| 2023 | WWW | Katti: An Extensive and Scalable Tool for Website Analyses. | Florian Nettersheim, Stephan Arlt, Michael Rademacher, Florian Dehling |
| 2015 | ICST | If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing. | Stephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner |
| 2014 | ISoLA | Verification of GUI Applications: A Black-Box Approach. | Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski |
| 2014 | ISSTA | Reducing GUI test suites via program slicing. | Stephan Arlt, Andreas Podelski, Martin Wehrle |
| 2013 | ATVA | A Theory for Control-Flow Graph Exploration. | Stephan Arlt, Philipp Rmmer, Martin Schf |
| 2013 | ICFEM | Reconstructing Paths for Reachable Code. | Stephan Arlt, Zhiming Liu, Martin Schf |
| 2013 | PLDI | Joogie: from Java through Jimple to Boogie. | Stephan Arlt, Philipp Rmmer, Martin Schf |
| 2012 | CAV | Joogie: Infeasible Code Detection for Java. | Stephan Arlt, Martin Schf |
| 2012 | ISSRE | Lightweight Static Analysis for GUI Testing. | Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schf, Ishan Banerjee, Atif M. Memon |
| 2012 | MODELS | Model-based development of embedded systems' user interfaces. | Jelena Barth, Bernd Westphal, Stephan Arlt |
| 2011 | ICST | Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. | Stephan Arlt, Cristiano Bertolini, Martin Schf |