Publications

L. Westhofen, C. Neurohr, J. C. Jung and D. NeiderAnswering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains in Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I, Bernd Finkbeiner and Laura Kovács, Eds. Springer, 2024, pp. 167—187.

[DOI]

R. Raha, R. Roy, N. Fijalkow, D. Neider and G. A. Pérez Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic in Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II, Rayna Dimitrova and Ori Lahav and Sebastian Wolff, Eds. Springer, 2024, pp. 264—288.

[DOI]

A. Baudzus, B. Li, A. Jadid and E. MüllerOn Model Performance Estimation in Time Series Anomaly Detection in Proceedings of the 2023 6th International Conference on Computational Intelligence and Intelligent Systems, ACM, Nov. 2023.

[DOI]

A. C. Horstmann, C. Strathmann, L. Lambrich and N. C. KrämerAlexa, What's Inside of You: A Qualitative Study to Explore Users' Mental Models of Intelligent Voice Assistants in Proceedings of the 23rd ACM International Conference on Intelligent Virtual Agents, ACM, Sep. 2023.

[DOI]

L. B. Suchmann, N. Krämer and J. Ziegler Branching Preferences: Visualizing Non-linear Topic Progression in Conversational Recommender Systems in Adjunct Proceedings of the 31st ACM Conference on User Modeling, Adaptation and Personalization, ACM, Jun. 2023.

[DOI]

B. Li and E. MüllerContrastive Time Series Anomaly Detection by Temporal Transformations in 2023 International Joint Conference on Neural Networks (IJCNN), IEEE, Jun. 2023.

[DOI]

S. Klüttermann and E. MüllerEvaluating and Comparing Heterogeneous Ensemble Methods for Unsupervised Anomaly Detection in 2023 International Joint Conference on Neural Networks (IJCNN), IEEE, Jun. 2023, pp. 1—8.

[DOI]

T. Schnitzler, K. Kohls, E. Bitsikas and C. Pöpper Hope of Delivery: Extracting User Locations From Mobile Instant Messengers in Proceedings 2023 Network and Distributed System Security Symposium, Internet Society, 2023.

[DOI]

R. Roy, J. Gaglione, N. Baharisangari, D. Neider, Z. Xu and U. Topcu Learning Interpretable Temporal Properties from Positive Examples Only in Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, Brian Williams and Yiling Chen and Jennifer Neville, Eds. AAAI Press, 2023, pp. 6507—6515.

[URL]

M. Wischnewski, N. Krämer and E. MüllerMeasuring and Understanding Trust Calibrations for Automated Systems: A Survey of the State-Of-The-Art and Future Directions in Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, Association for Computing Machinery, Apr. 2023.

[DOI]

C. Newen and E. MüllerOn the Independence of Adversarial Transferability to Topological Changes in the Dataset in 2023 IEEE 10th International Conference on Data Science and Advanced Analytics (DSAA), IEEE, Oct. 2023.

[DOI]

Y. Paliwal, R. Roy, J. Gaglione, N. Baharisangari, D. Neider, X. Duan, U. Topcu and Z. Xu Reinforcement Learning with Temporal-Logic-Based Causal Diagrams in Machine Learning and Knowledge Extraction - 7th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2023, Benevento, Italy, August 29 - September 1, 2023, Proceedings, Andreas Holzinger and Peter Kieseberg and Federico Cabitza and Andrea Campagner and A Min Tjoa and Edgar Weippl, Eds. Springer, 2023, pp. 123—140.

[DOI]

A. Murano, D. Neider and M. Zimmermann Robust Alternating-Time Temporal Logic in Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, Sarah Alice Gaggl and Maria Vanina Martinez and Magdalena Ortiz, Eds. Springer, 2023, pp. 796—813.

[DOI]

E. Celikkan, M. Saberioon, M. Herold and N. KleinSemantic Segmentation of Crops and Weeds with Probabilistic Modeling and Uncertainty Quantification in Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV) Workshops, IEEE, Oct. 2023, pp. 582—592.

[DOI]

C. Balestra, B. Li and E. MüllerslidSHAPs — sliding Shapley Values for correlation-based change detection in time series in 2023 IEEE 10th International Conference on Data Science and Advanced Analytics (DSAA), IEEE, Oct. 2023.

[DOI]

S. Lutz, D. Neider and R. Roy Specification Sketching for Linear Temporal Logic in Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II, Étienne André and Jun Sun, Eds. Springer, 2023, pp. 26—48.

[DOI]

B. Li and E. MüllerState-Transition-Aware Anomaly Detection Under Concept Drifts in Big Data Analytics and Knowledge Discovery, Wrembel, Robert and Gamper, Johann and Kotsis, Gabriele and Tjoa, A. Min and Khalil, Ismail, Eds. Springer Nature Switzerland, 2023, pp. 49—63.

[DOI]

L. Steinmeister, B. Ramosaj, L. Schröter and M. PaulyTesting The Limits: A Robustness Analysis Of Logistic Growth Models For Life Cycle Estimation During The COVID-19 Pandemic in Proceedings of the Conference on Production Systems and Logistics: CPSL 2023, 2023, pp. 33—44.

[DOI]

D. Neider and T. T. Johnson Track C1: Safety Verification of Deep Neural Networks (DNNs) in Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, Bernhard Steffen, Eds. Springer, 2023, pp. 217—224.

[DOI]

B. Li, C. Balestra and E. MüllerEnabling the Visualization of Distributional Shift using Shapley Values in NeurIPS 2022 Workshop on Distribution Shifts: Connecting Methods and Applications, 2022.

[URL]

M. Kertel, S. Harmeling and M. PaulyLearning Causal Graphs in Manufacturing Domains using Structural Equation Models in 2022 5th International Conference on Artificial Intelligence for Industries (AI4I), Ieee, Sep. 2022, pp. 14—19.

[DOI]

B. Böing, F. Howar, J. Hüntelmann, E. Müller and R. Stewing Neural Network Verification with DSE in Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022, Luca Geatti and Guido Sciavicco and Alessandro Umbrico, Eds. CEUR-WS.org, 2022, pp. 1—6.

[URL]

B. Böing, S. Klüttermann and E. MüllerPost-Robustifying Deep Anomaly Detection Ensembles by Model Selection in 2022 IEEE International Conference on Data Mining (ICDM), IEEE, Nov. 2022, pp. 861—866.

[DOI]

D. Kaminskyi, B. Li and E. MüllerReconstruction-based unsupervised drift detection over multivariate streaming data in 2022 IEEE International Conference on Data Mining Workshops (ICDMW), 2022, pp. 807—813.

[DOI]

S. Klüttermann, J. Rutinowski, C. Reining, M. Roidl and E. MüllerTowards Graph Representation based Re-Identification of Chipwood Pallet Blocks in 2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA), IEEE, Dec. 2022, pp. 1543—1550.

[DOI]

C. Balestra, F. Huber, A. Mayr and E. MüllerUnsupervised Features Ranking via Coalitional Game Theory for Categorical Data in International Conference on Big Data Analytics and Knowledge Discovery, Wrembel, Robert and Gamper, Johann and Kotsis, Gabriele and Tjoa, A. Min and Khalil, Ismail, Eds. Springer International Publishing, 2022, pp. 97—111.

[DOI]