SPASS-SATT - A CDCL(LA) Solver. - Martin Bromberger; Mathias Fleury; Simon Schwarz; Christoph Weidenbach (CADE, 2019)

Findoo - Interoperable E-Learning Semantic Search and Content Authoring Assistance. - Alexander Streicher; Simon Schwarz (DELFI, 2022)

Exploring Partial Models with SCL. - Martin Bromberger; Simon Schwarz; Christoph Weidenbach (LPAR, 2023)

SCL(FOL) Revisited. - Martin Bromberger; Simon Schwarz; Christoph Weidenbach (CoRR, 2023)

Automatic Bit- and Memory-Precise Verification of eBPF Code. - Martin Bromberger; Simon Schwarz; Christoph Weidenbach (LPAR, 2024)

Efficient and Generic Microarchitectural Hash-Function Recovery. - Lukas Gerlach 001; Simon Schwarz; Nicolas Faroß; Michael Schwarz 001 (SP, 2024)

You Cannot Escape Me: Detecting Evasions of SIEM Rules in Enterprise Networks. - Rafael Uetz; Marco Herzog; Louis Hackländer; Simon Schwarz; Martin Henze (USENIX Security Symposium, 2024)

Efficient Random Walks on Riemannian Manifolds. - Simon Schwarz; Michael Herrmann 004; Anja Sturm; Max Wardetzky (Found. Comput. Math., 2025)