Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2020Identification of Spurious Labels in Machine Learning Data Sets using N-Version Validation
Mues, M.; Gerard, S.; Howar, F.
Konferenzbeitrag
2020Jaint: A Framework for User-Defined Dynamic Taint-Analyses Based on Dynamic Symbolic Execution of Java Programs
Mues, M.; Schallau, T.; Howar, F.
Konferenzbeitrag
2020JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)
Mues, M.; Howar, F.
Konferenzbeitrag
2020Teaching a Project-Based Course at a Safe Distance: An Experience Report
Mues, M.; Howar, F.
Konferenzbeitrag
2019JConstraints: A Library for Working with Logic Expressions in Java
Howar, Falk; Jabbour, Fadi; Mues, Malte
Konferenzbeitrag
2019RERS 2019: Combining Synthesis with Real-World Models
Jasper, Marc; Mues, Malte; Murtovi, Alnis; Schlüter, Maximilian; Howar, Falk; Steffen, Bernhard; Schordan, Markus; Hendriks, Dennis; Schiffelers, Ramon; Kuppens, Harco; Vaandrager, Frits
Konferenzbeitrag
2018Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring
Howar, Falk; Giannakopoulou, Dimitra; Mues, Malte; Navas, Jorge
Konferenzbeitrag
2018RERS 2018: CTL, LTL, and reachability
Jasper, Marc; Mues, Malte; Schlüter, Maximilian; Steffen, Bernhard; Howar, Falk
Konferenzbeitrag