default search action

combined dblp search
author search
venue search
publication search

ask others

Malte Mues

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/stt/Mues24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/Mues24
Malte Mues:
The Integration of Multi-Color Taint-Analysis with Dynamic Symbolic Execution for Java Web Application Security Analysis. Softwaretechnik-Trends 44(2): 70-71 (2024)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/MuesRH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/MuesRH24
Malte Mues, Julian Rüschoff, Ben Hermann:
Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM. TAP 2024: 168-175
2023
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Mues23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Mues23
Malte Mues:
The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis. Technical University of Dortmund, Germany, 2023
2022
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/se/MuesH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/MuesH22
Malte Mues, Falk Howar:
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies. Software Engineering 2022: 75-76
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/MuesHD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/MuesHD22
Malte Mues, Falk Howar, Simon Dierl:
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM. SEFM 2022: 91-107
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/MuesH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MuesH22
Malte Mues, Falk Howar:
GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution). TACAS (2) 2022: 435-439
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HowarM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HowarM22
Falk Howar, Malte Mues:
GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution). TACAS (2) 2022: 446-450
2021
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/software/HowarMM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/HowarMM21
Falk Howar, Malte Mues:
Can We Trust Theorem Provers for Industrial AI? IEEE Softw. 38(6): 104-108 (2021)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HowarJMSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HowarJMSS21
Falk Howar, Marc Jasper, Malte Mues, David Schmidt, Bernhard Steffen:
The RERS challenge: towards controllable and scalable benchmark synthesis. Int. J. Softw. Tools Technol. Transf. 23(6): 917-930 (2021)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-seeng/DierlHMNS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-seeng/DierlHMNS21
Simon Dierl, Falk Howar, Malte Mues, Stefan Naujokat, Till Schallau:
Do Away with the Frankensteinian Programs! A Proposal for a Genuine SE Education. SEENG@ICSE 2021: 26-30
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MuesH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MuesH21
Malte Mues, Falk Howar:
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. ASE 2021: 179-190
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/se/MuesSH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/MuesSH21
Malte Mues, Till Schallau, Falk Howar:
Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs. Software Engineering 2021: 77-78
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/MuesH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MuesH21
Malte Mues, Falk Howar:
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution). TACAS (2) 2021: 448-452
2020
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/MuesH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/MuesH20
Malte Mues, Falk Howar:
Teaching a Project-Based Course at a Safe Distance: An Experience Report. CSEE&T 2020: 1-6
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/MuesSH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/MuesSH20
Malte Mues, Till Schallau, Falk Howar:
Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs. IFM 2020: 123-140
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/itsc/MuesGH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itsc/MuesGH20
Malte Mues, Sebastian Gerard, Falk Howar:
Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation. ITSC 2020: 1-7
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/MuesH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/MuesH20
Malte Mues, Falk Howar:
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). TACAS (2) 2020: 398-402

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JasperMMSHSSHSK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JasperMMSHSSHSK19
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:
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) 2019: 101-115
2018
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HowarJM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HowarJM97
Falk Howar, Fadi Jabbour, Malte Mues:
JConstraints: A Library for Working with Logic Expressions in Java. Models, Mindsets, Meta 2018: 310-325
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HowarGMN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HowarGMN18
Falk Howar, Dimitra Giannakopoulou, Malte Mues, Jorge A. Navas:
Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring. ISoLA (2) 2018: 120-136
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/JasperMSSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/JasperMSSH18
Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar:
RERS 2018: CTL, LTL, and Reachability. ISoLA (2) 2018: 433-447
2016
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/MuesHLKR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/MuesHLKR16
Malte Mues, Falk Howar, Kasper Søe Luckow, Temesghen Kahsai, Zvonimir Rakamaric:
Releasing the PSYCO: Using Symbolic Search in Interface Generation for Java. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.