Publications

J. Corazza, I. Gavran, G. Moreira and D. NeiderAccessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs in 2025 IEEE Conference on Software Testing, Verification and Validation (ICST), IEEE, Mar. 2025, pp. 542—552.

[DOI]

R. Walendy, M. Weber, S. Becker, C. Paar and N. Rummel An Evidence-Based Curriculum Initiative for Hardware Reverse Engineering Education in Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, New York, NY, USA: Association for Computing Machinery, 2025, pp. 1176—1182.

[DOI]

D. Neider, L. Sabellek, J. Schmidt, F. Vehlken and T. Zeume Learning Tree Pattern Transformations in 28th International Conference on Database Theory, ICDT 2025, March 25-28, 2025, Barcelona, Spain, Sudeepa Roy and Ahmet Kara, Eds. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, pp. 24:1—24:20.

[DOI]

[URL]

E. Hossain, S. K. Sinha, N. Bansal, R. A. Knipper, S. Sarkar, J. Salvador, Y. Mahajan, S. R. P. K. Guttikonda, M. Akter, M. M. Hassan, M. Freestone, M. C. W. Jr., D. Feng and S. Karmaker LLMs as Meta-Reviewers' Assistants: A Case Study in Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), Chiruzzo, Luis and Ritter, Alan and Wang, Lu, Eds. Albuquerque, New Mexico: Association for Computational Linguistics, Apr. 2025, pp. 7763—7803.

[URL]

J. Rieger, M. Ruckdeschel and G. Wiedemann PETapter: Leveraging PET-style classification heads for modular few-shot parameter-efficient fine-tuning in Proceedings of the 21st Conference on Natural Language Processing (KONVENS 2025): Long and Short Papers, Wartena, Christian and Heid, Ulrich, Eds. Hannover, Germany: HsH Applied Academics, Sep. 2025, pp. 333—348.

[URL]

S. Ochs and I. Habernal Private Synthetic Text Generation with Diffusion Models in Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), Chiruzzo, Luis and Ritter, Alan and Wang, Lu, Eds. Albuquerque, New Mexico: Association for Computational Linguistics, Apr. 2025, pp. 10612—10626.

[URL]

A. Staay, R. Fischer, M. Wischnewski, K. Poitz and C. Janiesch Reflective Design Theorizing with~User Interviews: A Case Study for~AI Energy Labels in Local Solutions for Global Challenges, Springer Nature Switzerland, 2025, pp. 66—80.

[DOI]

S. Becker, R. Walendy, M. Weber, C. Wiesen, N. Rummel and C. Paar ReverSim: An Open-Source Environment for the Controlled Study of Human Aspects in Hardware Reverse Engineering in Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, ACM, Apr. 2025, pp. 1—24.

[DOI]

L. Westhofen, J. C. Jung and D. NeiderTemporal Conjunctive Query Answering via Rewriting in AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA, Toby Walsh and Julie Shah and Zico Kolter, Eds. AAAI Press, 2025, pp. 15221—15229.

[DOI]

B. Bordais, D. Neider and R. Roy The Complexity of Learning LTL, CTL and ATL Formulas in 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025, March 4-7, 2025, Jena, Germany, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, pp. 19:1—19:20.

[DOI]

E. Kirsten, I. Habernal, V. Nanda and M. B. Zafar The Impact of Inference Acceleration on Bias of LLMs in Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), Chiruzzo, Luis and Ritter, Alan and Wang, Lu, Eds. Albuquerque, New Mexico: Association for Computational Linguistics, Apr. 2025, pp. 1834—1853.

[URL]

M. Schmidmaier, J. Rupp and S. Mayer Using a Secondary Channel to Display the Internal Empathic Resonance of LLM-Driven Agents for Mental Health Support in Proceedings of the 27th International Conference on Multimodal Interaction, ACM, Oct. 2025, pp. 294—304.

[DOI]

D. Neider and R. Roy What Is Formal Verification Without Specifications? A Survey on Mining LTL Specifications in Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, Jansen, Nils and Junges, Sebastian and Kaminski, Benjamin Lucien and Matheja, Christoph and Noll, Thomas and Quatmann, Tim and Stoelinga, Mariëlle and Volk, Matthias, Eds. Cham: Springer Nature Switzerland, 2025, pp. 109—125.

[DOI]

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]

M. Aksoy and V. Tsishetska ChatGPT as a Negotiator: An Analysis of its Adherence with Proportionality and Equality in 2024 7th International Conference on Algorithms, Computing and Artificial Intelligence (ACAI), IEEE, Dec. 2024, pp. 01—08.

[DOI]

D. Hintersdorf, L. Struppek, D. Neider and K. Kersting Defending Our Privacy with Backdoors in ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024), Ulle Endriss and Francisco S. Melo and Kerstin Bach and Alberto José Bugar\'ın Diz and Jose Maria Alonso-Moral and Senén Barro and Fredrik Heintz, Eds. IOS Press, 2024, pp. 1832—1839.

[DOI]

L. Steinmeister and M. PaulyDegenerate Hierarchical Time Series Reconciliation With The Minimum Trace Algorithm in R in Proceedings of the Conference on Production Systems and Logistics: CSPL 2024, 2024, pp. 380—390.

[DOI]

J. Corazza, H. P. Aria, D. Neider and Z. Xu Expediting Reinforcement Learning by Incorporating Knowledge About Temporal Causality in the Environment in Causal Learning and Reasoning, 1-3 April 2024, Los Angeles, California, USA, Francesco Locatello and Vanessa Didelez, Eds. PMLR, 2024, pp. 643—664.

[URL]

C. Balestra, A. Ferrara and E. MüllerFairMC Fair—Markov Chain Rank Aggregation Methods in Big Data Analytics and Knowledge Discovery, Springer Nature Switzerland, 2024, pp. 315—321.

[DOI]

L. Kuhlmann, F. Fesca, L. Steinmeister and M. PaulyHierarchical Sales Forecasting In Multichannel Distribution Considering Marketing Campaigns in Proceedings of the Conference on Production Systems and Logistics: CSPL 2024, 2024, pp. 527—538.

[DOI]

F. Fesca and M. PaulyIdentifying Anomalies In Consumption Data With Forecasting Models: A Case Study With Plausibility Checks At TU Dortmund University in Proceedings of the Conference on Production Systems and Logistics: CSPL 2024, 2024, pp. 517—526.

[DOI]

L. Mühl, L. Stecker, E. Herter, J. M. Szczuka, M. Wischnewski and N. KrämerIntegrating AI in Psychotherapy: An Investigation of Trust in Voicebot Therapists in Nordic Conference on Human-Computer Interaction, ACM, Oct. 2024, pp. 1—9.

[DOI]

B. Bordais, D. Neider and R. Roy Learning Branching-Time Properties in CTL and ATL via Constraint Solving in Formal Methods, Springer Nature Switzerland, Sep. 2024, pp. 304—323.

[DOI]

J. M. Szczuka, A. C. Horstmann, N. Szymczyk, C. Strathmann, A. Artelt, L. Mavrina and N. KrämerLet Me Explain What I Did or What I Would Have Done: An Empirical Study on the Effects of Explanations and Person-Likeness on Trust in and Understanding of Algorithms in Nordic Conference on Human-Computer Interaction, ACM, Oct. 2024, pp. 1—13.

[DOI]

S. Klüttermann, C. Balestra and E. MüllerOn the Efficient Explanation of Outlier Detection Ensembles Through Shapley Values in Advances in Knowledge Discovery and Data Mining, Springer Nature Singapore, 2024, pp. 43—55.

[DOI]

E. Puschner, M. Ender, S. Becker and C. Paar Patching FPGAs: The Security Implications of Bitstream Modifications in Proceedings of the 2024 Workshop on Attacks and Solutions in Hardware Security, New York, NY, USA: Association for Computing Machinery, 2024, pp. 89—99.

[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]

L. Westhofen, C. Neurohr, J. C. Jung and D. NeiderTopllet: An Optimized Engine for Answering Metric Temporal Conjunctive Queries in NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings, Nathaniel Benz and Divya Gopinath and Nija Shi, Eds. Springer, 2024, pp. 314—321.

[DOI]

M. Ramrath, A. Scharmann, A. Ridder, T. Kühn, S. Weller and N. KrämerTrust in AI Chatbots: The Perceived Expertise of ChatGPT in Subjective and Objective Tasks in HHAI 2024: Hybrid Human AI Systems for the Social Good, IOS Press, Jun. 2024.

[DOI]

M. Schaef, B. Cirisci, L. Luo, M. N. Mansur, O. Tripp, D. Sanchez, Q. Zhou and M. B. Zafar Understanding Developer-Analyzer Interactions in Code Reviews in Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, ACM, Oct. 2024, pp. 1945—1955.

[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]

S. Klüttermann, J. Rutinowski, A. Nguyen, C. Reining, M. Roidl and E. MüllerOn Graph Representation based Re-Identification — A Proof of Concept in 2023 IEEE International Conference on Data Mining Workshops (ICDMW), IEEE, Dec. 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]

G. Schmitz, D. Wilmes, A. Gerharz, D. Horn and E. MüllerContextual Shift Method (CSM) in Lecture Notes in Computer Science, Springer Nature Switzerland, 2023, pp. 101—106.

[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]

M. Wischnewski and A. Wermter Is Foreign Language News More or Less Credible Than Native Language News? Examining the Foreign Language Effect on Credibility Perceptions in Disinformation in Open Online Media, Springer Nature Switzerland, 2023, pp. 175—189.

[DOI]

M. Wischnewski and A. Wermter Is Foreign Language News More or Less Credible Than Native Language News? Examining the Foreign Language Effect on Credibility Perceptions in Disinformation in Open Online Media, Springer Nature Switzerland, 2023, pp. 175—189.

[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]

L. Kuhlmann, D. Wilmes, E. Müller, M. Pauly and D. Horn RODD: Robust Outlier Detection in Data Cubes in Lecture Notes in Computer Science, Springer Nature Switzerland, 2023, pp. 325—339.

[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]

A. Baudzus, B. Li, A. Jadid and E. MüllerThe Good, The Bad, and The Average: Benchmarking of Reconstruction Based Multivariate Time Series Anomaly Detection in Machine Learning and Knowledge Discovery in Databases: Applied Data Science and Demo Track, Springer Nature Switzerland, 2023, pp. 356—360.

[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. Newen and E. MüllerUnsupervised DeepView: Global Explainability of Uncertainties for High Dimensional Data in 2022 IEEE International Conference on Knowledge Graph (ICKG), IEEE, Nov. 2022, pp. 196—202.

[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]