49 citations
- Saarland UniversityDE10 papers
- Max Planck Institute for InformaticsDE5 papers
- KU LeuvenBE2 papers
- Leibniz University HannoverDE2 papers
- Max Planck Institute for Software SystemsDE2 papers
- Max Planck SocietyDE2 papers
- Monash UniversityAU2 papers
- Ruhr University BochumDE2 papers
- Stanford UniversityUS2 papers
- Technical University of MunichDE2 papers
- University of StuttgartDE2 papers
- Zhejiang UniversityCN2 papers
7 papers · 1 filter
Explainable Reactive Synthesis
Tom Baumeister, Bernd Finkbeiner, Hazem Torfah
Reactive synthesis transforms a specification of a reactive system, given in a temporal logic, into an implementation. The main advantage of synthesis is that it is automatic. The…
Automatic Optimizations for Stream-based Monitoring Languages
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse +1
Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language…
Fine-Grained Complexity of Regular Expression Pattern Matching and Membership
Philipp Schepper
The currently fastest algorithm for regular expression pattern matching and membership improves the classical O(nm) time algorithm by a factor of about log^{3/2}n. Instead of focus…
Synthetic Convolutional Features for Improved Semantic Segmentation
Yang He, Bernt Schiele, Mario Fritz
Recently, learning-based image synthesis has enabled to generate high-resolution images, either applying popular adversarial training or a powerful perceptual loss. However, it rem…
Security, Availability, and Multiple Information Sources: Exploring Update Behavior of System Administrators
Christian Tiefenau, Maximilian Häring, Katharina Krombholz +1
Experts agree that keeping systems up to date is a powerful security measure. Previous work found that users sometimes explicitly refrain from performing timely updates, e.g., due…
Adversarial Attacks on Classifiers for Eye-based User Modelling
Inken Hagestedt, Michael Backes, Andreas Bulling
An ever-growing body of work has demonstrated the rich information content available in eye movements for user modelling, e.g. for predicting users' activities, cognitive processes…