Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. - Malte Mues; Falk Howar; Kasper Søe Luckow; Temesghen Kahsai; Zvonimir Rakamaric (ACM SIGSOFT Softw. Eng. Notes, 2016)

JConstraints: A Library for Working with Logic Expressions in Java. - Falk Howar; Fadi Jabbour; Malte Mues (Models, Mindsets, Meta, 2018)

Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. - Falk Howar; Dimitra Giannakopoulou; Malte Mues; Jorge A. Navas (ISoLA (2), 2018)

RERS 2018: CTL, LTL, and Reachability. - Marc Jasper; Malte Mues; Maximilian Schlüter; Bernhard Steffen; Falk Howar (ISoLA (2), 2018)

RERS 2019: Combining Synthesis with Real-World Models. - Marc Jasper; Malte Mues; Alnis Murtovi; Maximilian Schlüter; Falk Howar; Bernhard Steffen; Markus Schordan; Dennis Hendriks; Ramon R. H. Schiffelers; Harco Kuppens; Frits W. Vaandrager (TACAS (3), 2019)

Teaching a Project-Based Course at a Safe Distance: An Experience Report. - Malte Mues; Falk Howar (CSEE&T, 2020)

Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. - Malte Mues; Till Schallau; Falk Howar (IFM, 2020)

Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation. - Malte Mues; Sebastian Gerard; Falk Howar (ITSC, 2020)

JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). - Malte Mues; Falk Howar (TACAS (2), 2020)

Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education. - Simon Dierl; Falk Howar; Malte Mues; Stefan Naujokat; Till Schallau (SEENG@ICSE, 2021)

Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. - Malte Mues; Falk Howar (ASE, 2021)

JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). - Malte Mues; Falk Howar (TACAS (2), 2021)

Can We Trust Theorem Provers for Industrial AI? - Falk Howar; Malte Mues (IEEE Softw., 2021)

The RERS challenge: towards controllable and scalable benchmark synthesis. - Falk Howar; Marc Jasper; Malte Mues; David Schmidt 001; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2021)

Data-Driven Design and Evaluation of SMT Meta-Solving Strategies. - Malte Mues; Falk Howar (Software Engineering, 2022)

SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. - Malte Mues; Falk Howar; Simon Dierl (SEFM, 2022)

GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). - Falk Howar; Malte Mues (TACAS (2), 2022)

GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution). - Malte Mues; Falk Howar (TACAS (2), 2022)

The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis. - Malte Mues (2023)

Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM. - Malte Mues; Julian Rüschoff; Ben Hermann (TAP, 2024)

The Integration of Multi-Color Taint-Analysis with Dynamic Symbolic Execution for Java Web Application Security Analysis. - Malte Mues (Softwaretechnik-Trends, 2024)