| 2024 | TAP | Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM. | Malte Mues, Julian Rschoff, Ben Hermann |
| 2022 | SEFM | SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. | Malte Mues, Falk Howar, Simon Dierl |
| 2022 | TACAS | GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). | Falk Howar, Malte Mues |
| 2022 | TACAS | GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution). | Malte Mues, Falk Howar |
| 2021 | TACAS | JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). | Malte Mues, Falk Howar |
| 2020 | IFM | Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. | Malte Mues, Till Schallau, Falk Howar |
| 2020 | TACAS | JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). | Malte Mues, Falk Howar |
| 2019 | TACAS | RERS 2019: Combining Synthesis with Real-World Models. | Marc Jasper, Malte Mues, Alnis Murtovi, Maximilian Schlter, Falk Howar, Bernhard Steffen, Markus Schordan, Dennis Hendriks, Ramon R. H. Schiffelers, Harco Kuppens, Frits W. Vaandrager |
| 2018 | ISoLA | Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. | Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas |
| 2018 | ISoLA | RERS 2018: CTL, LTL, and Reachability. | Marc Jasper, Malte Mues, Maximilian Schlter, Bernhard Steffen, Falk Howar |