Malte Mues
YOU?
Author Swipe
View article: Automated rare earth element data assessment in GeoArmadillo and application to the GEOROC and PetDB databases
Automated rare earth element data assessment in GeoArmadillo and application to the GEOROC and PetDB databases Open
The amount of published geochemical data is continuously increasing due to the availability of advanced and highly efficient analytical tools. These data are made accessible through curated, domain-specific and interconnected synthesis dat…
View article: Polynomial modelling of high-quality yet incomplete rare earth element data sets and a holistic assessment of REE anomalies
Polynomial modelling of high-quality yet incomplete rare earth element data sets and a holistic assessment of REE anomalies Open
Rare earth elements (REEs) are powerful proxies used in many (bio-)geochemical studies. Interpretation of REE data relies on normalised REE patterns and anomaly quantification, and requires complete data. Therefore, older, high-quality REE…
View article: GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution)
GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) Open
GWIT is a validator for violation witnesses produced by Java verifiers in the SV-COMP software verification competition. GWIT weaves assumptions documented in a witness into the source code of a program, effectively restricting the part of…
View article: GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution)
GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) Open
GDart is an ensemble of tools allowing dynamic symbolic execution of JVM programs. The dynamic symbolic execution engine is decomposed into three different components: a symbolic decision engine (DSE), a concolic executor (SPouT), and a SM…
View article: The RERS challenge: towards controllable and scalable benchmark synthesis
The RERS challenge: towards controllable and scalable benchmark synthesis Open
This paper (1) summarizes the history of the RERS challenge for the analysis and verification of reactive systems, its profile and intentions, its relation to other competitions, and, in particular, its evolution due to the feedback of par…
View article: JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution)
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) Open
JDart performs dynamic symbolic execution of Java programs: it executes programs with concrete inputs while recording symbolic constraints on executed program paths. A portfolio of constraint solvers is then used for generating new concret…
View article: Thoughts about using Constraint Solvers in Action
Thoughts about using Constraint Solvers in Action Open
SMT solvers power many automated security analysis tools today. Nevertheless, a smooth integration of SMT solvers into programs is still a challenge that lead to different approaches for doing it the right way. In this paper, we review the…
View article: JDart Artifact used in SV-COMP 2020
JDart Artifact used in SV-COMP 2020 Open
This is the artifact, we used for winning the third price in the Java track of SV-COMP 2020.
View article: Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs
Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs Open
We summarize the paper "Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs", published at the sixteenth international conference on integrated formal methods in November 2020. Re…
View article: RERS 2019: Combining Synthesis with Real-World Models
RERS 2019: Combining Synthesis with Real-World Models Open
This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019. For the first time in the history of RERS, the challenge features industrial tracks where benchmark programs that participants need to analyze are synthe…