| 2026 | AAAI | Learning DFAs from Positive Examples Only via Word Counting. | Benjamin Bordais, Daniel Neider |
| 2026 | AAAI | VeriFlow: Modeling Distributions for Neural Network Verification. | Faried Abu Zaid, Daniel Neider, Mustafa Yaliner |
| 2026 | FM | Test Coverage of Automated Robotic Systems in Open World Environments. | Lukas Westhofen, Till Schallau, Dominik Schmid, Stefan Naujokat, Falk Howar, Daniel Neider |
| 2026 | IJCAR | Learning Computation Tree Logic with Neural Networks. | Benjamin Bordais, Daniel Neider, Mustafa Yaliner |
| 2026 | ICST | When Less Is More: Monolingual Fine-Tuning of Language Models for Industrial C# Code Review. | Igli Begolli, Meltem Aksoy, Daniel Neider |
| 2025 | AAAI | Temporal Conjunctive Query Answering via Rewriting. | Lukas Westhofen, Jean Christoph Jung, Daniel Neider |
| 2025 | ICDT | Learning Tree Pattern Transformations. | Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume |
| 2025 | ICST | Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs. | Jan Corazza, Ivan Gavran, Gabriela Moreira, Daniel Neider |
| 2025 | JELIA | A Framework for Computing Upper Bounds in Passive Learning Settings. | Benjamin Bordais, Daniel Neider |
| 2025 | JELIA | Unsupervised Automata Learning via Discrete Optimization. | Simon Lutz, Daniil Kaminskyi, Florian Wittbold, Simon Dierl, Falk Howar, Barbara Knig, Emmanuel Mller, Daniel Neider |
| 2025 | STACS | The Complexity of Learning LTL, CTL and ATL Formulas. | Benjamin Bordais, Daniel Neider, Rajarshi Roy |
| 2024 | ECAI | Defending Our Privacy with Backdoors. | Dominik Hintersdorf, Lukas Struppek, Daniel Neider, Kristian Kersting |
| 2024 | FM | Learning Branching-Time Properties in CTL and ATL via Constraint Solving. | Benjamin Bordais, Daniel Neider, Rajarshi Roy |
| 2024 | TACAS | Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains. | Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, Daniel Neider |
| 2024 | VMCAI | Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic. | Ritam Raha, Rajarshi Roy, Nathanal Fijalkow, Daniel Neider, Guillermo A. Prez |
| 2023 | AAAI | Learning Interpretable Temporal Properties from Positive Examples Only. | Rajarshi Roy, Jean-Raphal Gaglione, Nasim Baharisangari, Daniel Neider, Zhe Xu, Ufuk Topcu |
| 2023 | ATVA | Specification Sketching for Linear Temporal Logic. | Simon Lutz, Daniel Neider, Rajarshi Roy |
| 2023 | JELIA | Robust Alternating-Time Temporal Logic. | Aniello Murano, Daniel Neider, Martin Zimmermann |
| 2023 | VECoS | Track C1: Safety Verification of Deep Neural Networks (DNNs). | Daniel Neider, Taylor T. Johnson |
| 2022 | AAAI | Reinforcement Learning with Stochastic Reward Machines. | Jan Corazza, Ivan Gavran, Daniel Neider |
| 2022 | IJCAI | Neuro-Symbolic Verification of Deep Neural Networks. | Xuan Xie, Kristian Kersting, Daniel Neider |
| 2022 | ISoLA | Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime. | Satya Prakash Nayak, Daniel Neider, Martin Zimmermann |
| 2022 | RE | Expanding the Horizon of Linear Temporal Logic Inference for Explainability. | Daniel Neider, Rajarshi Roy |
| 2022 | TACAS | Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. | Ritam Raha, Rajarshi Roy, Nathanal Fijalkow, Daniel Neider |
| 2021 | AAAI | Advice-Guided Reinforcement Learning in a non-Markovian Environment. | Daniel Neider, Jean-Raphal Gaglione, Ivan Gavran, Ufuk Topcu, Bo Wu, Zhe Xu |
| 2021 | ATVA | Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach. | Jean-Raphal Gaglione, Daniel Neider, Rajarshi Roy, Ufuk Topcu, Zhe Xu |
| 2021 | ATVA | Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. | Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benot Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye |
| 2020 | APLAS | Parameterized Synthesis with Safety Properties. | Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider |
| 2020 | FMCAD | Learning Properties in LTL ∩ ACTL from Positive Examples Only. | Rdiger Ehlers, Ivan Gavran, Daniel Neider |
| 2020 | IJCAI | Learning Interpretable Models in the Property Specification Language. | Rajarshi Roy, Dana Fisman, Daniel Neider |
| 2020 | MFCS | Optimally Resilient Strategies in Pushdown Safety Games. | Daniel Neider, Patrick Totzke, Martin Zimmermann |
| 2019 | FMCAD | Learning-Based Synthesis of Safety Controllers. | Daniel Neider, Oliver Markgraf |
| 2019 | SAS | Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants. | Daniel Neider, Shambwaditya Saha, Pranav Garg, P. Madhusudan |
| 2018 | CSL | Synthesizing Optimally Resilient Controllers. | Daniel Neider, Alexander Weinert, Martin Zimmermann |
| 2018 | FMCAD | Learning Linear Temporal Properties. | Daniel Neider, Ivan Gavran |
| 2018 | TACAS | Invariant Synthesis for Incomplete Verification Engines. | Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park |
| 2016 | CSL | Robust Linear Temporal Logic. | Paulo Tabuada, Daniel Neider |
| 2016 | POPL | Learning invariants using decision trees and implication counterexamples. | Pranav Garg, Daniel Neider, P. Madhusudan, Dan Roth |
| 2016 | TACAS | Abstract Learning Frameworks for Synthesis. | Christof Lding, P. Madhusudan, Daniel Neider |
| 2016 | TACAS | Synthesizing Piece-Wise Functions by Learning Classifiers. | Daniel Neider, Shambwaditya Saha, P. Madhusudan |
| 2016 | TACAS | An Automaton Learning Approach to Solving Safety Games over Infinite Graphs. | Daniel Neider, Ufuk Topcu |
| 2014 | CAV | ICE: A Robust Framework for Learning Invariants. | Pranav Garg, Christof Lding, P. Madhusudan, Daniel Neider |
| 2013 | CAV | Learning Universally Quantified Invariants of Linear Data Structures. | Pranav Garg, Christof Lding, P. Madhusudan, Daniel Neider |
| 2012 | ATVA | Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers. | Daniel Neider |
| 2012 | ISoLA | Learning Minimal Deterministic Automata from Inexperienced Teachers. | Martin Leucker, Daniel Neider |
| 2011 | ATVA | Small Strategies for Safety Games. | Daniel Neider |
| 2010 | CAV | libalf: The Automata Learning Framework. | Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker, Daniel Neider, David R. Piegdon |