Daniel Neider

Professor for Verification and Formal Guarantees of Machine Learning at TU Dortmund University

Legacy Map

Publications

ICE: A Robust Framework for Learning Invariants

Computer Aided Verification

Learning invariants using decision trees and implication counterexamples

ACM SIGPLAN Notices

libalf: The Automata Learning Framework

Computer Aided Verification

Learning Linear Temporal Properties

2018 Formal Methods in Computer Aided Design (FMCAD)

Joint Inference of Reward Machines and Policies for Reinforcement Learning

Proceedings of the International Conference on Automated Planning and Scheduling

Horn-ICE learning for synthesizing invariants and contracts

Proceedings of the ACM on Programming Languages

Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic

ACM Transactions on Computational Logic

Learning Universally Quantified Invariants of Linear Data Structures

Computer Aided Verification

Benchmarks for Automata Learning and Conformance Testing

Lecture Notes in Computer Science

Abstract Learning Frameworks for Synthesis

Tools and Algorithms for the Construction and Analysis of Systems

An Automaton Learning Approach to Solving Safety Games over Infinite Graphs

Tools and Algorithms for the Construction and Analysis of Systems

Synthesis of safety controllers robust to unmodeled intermittent disturbances

2016 IEEE 55th Conference on Decision and Control (CDC)

Learning Interpretable Models in the Property Specification Language

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence

Neuro-Symbolic Verification of Deep Neural Networks

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence

Learning context-free grammars

Grammatical Inference

Institut für Humangenetik, Universitätsklinikum der RWTH Aachen

Medizinische Genetik

Learning Interpretable Temporal Properties from Positive Examples Only

Proceedings of the AAAI Conference on Artificial Intelligence

Report on DEIS'10

ACM SIGMOD Record

Specification Sketching for Linear Temporal Logic

Automated Technology for Verification and Analysis

Analysis of recurrent neural networks via property-directed verification of surrogate models

International Journal on Software Tools for Technology Transfer

Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise

Electronic Proceedings in Theoretical Computer Science

Probably Approximately Correct Learning

Encyclopedia of Machine Learning

About the social role of child and adolescent psychiatrists in times of epidemic

On Arxiv Moderation System

Causal Explainable AI

Machine Learning for Causal Inference

Reinforcement Learning with Temporal-Logic-Based Causal Diagrams

Lecture Notes in Computer Science

Issue Information

Mining of Frequent Structures over Streaming XML Data

The KIPS Transactions:PartD

Prospekt- und Kapitalmarktinformationshaftung

JuristenZeitung

Function Summarization Modulo Theories

EPiC Series in Computing

Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic

Lecture Notes in Computer Science

Track C1: Safety Verification of Deep Neural Networks (DNNs)

Bridging the Gap Between AI and Reality

Deep Anomaly Detection on Tennessee Eastman Process Data

Chemie Ingenieur Technik

Robust Alternating-Time Temporal Logic

Logics in Artificial Intelligence

MaxSAT-based temporal logic inference from noisy data

Innovations in Systems and Software Engineering

A Survey of Model Learning Techniques for Recurrent Neural Networks

Lecture Notes in Computer Science

Advice-Guided Reinforcement Learning in a non-Markovian Environment

Proceedings of the AAAI Conference on Artificial Intelligence

Expanding the Horizon of Linear Temporal Logic Inference for Explainability

2022 IEEE 30th International Requirements Engineering Conference Workshops (REW)

Learning to Break Deep Perceptual Hashing: The Use Case NeuralHash

2022 ACM Conference on Fairness, Accountability, and Transparency

Reinforcement Learning with Stochastic Reward Machines

Proceedings of the AAAI Conference on Artificial Intelligence

Robust Computation Tree Logic

Lecture Notes in Computer Science

Robust, expressive, and quantitative linear temporal logics: Pick any two for free

Information and Computation

Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic

Tools and Algorithms for the Construction and Analysis of Systems

Uncertainty-Aware Signal Temporal Logic Inference

Lecture Notes in Computer Science

From LTL to rLTL monitoring: improved monitorability through robust semantics

Formal Methods in System Design

Active Finite Reward Automaton Inference and Reinforcement Learning Using Queries and Counterexamples

Lecture Notes in Computer Science

Adaptive strategies for rLTL games

Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control

Learning Linear Temporal Properties from Noisy Data: A MaxSAT-Based Approach

Automated Technology for Verification and Analysis

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

Automated Technology for Verification and Analysis

Quality Guarantees for Autoencoders via Unsupervised Adversarial Attacks

Machine Learning and Knowledge Discovery in Databases

Resilient Abstraction-Based Controller Design

2020 59th IEEE Conference on Decision and Control (CDC)

A Learning-Based Approach to Synthesizing Invariants for Incomplete Verification Engines

Journal of Automated Reasoning

From LTL to rLTL monitoring

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Parameterized Synthesis with Safety Properties

Programming Languages and Systems

Resilient abstraction-based controller design

Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control

Synthesizing optimally resilient controllers

Acta Informatica

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control

Learning-Based Synthesis of Safety Controllers

2019 Formal Methods in Computer Aided Design (FMCAD)

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants

Static Analysis

Compositional Synthesis of Piece-Wise Functions by Learning Classifiers

ACM Transactions on Computational Logic

Invariant Synthesis for Incomplete Verification Engines

Tools and Algorithms for the Construction and Analysis of Systems

Verifying rLTL formulas: now faster than ever before!

2018 IEEE Conference on Decision and Control (CDC)

Learning invariants using decision trees and implication counterexamples

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Synthesizing Piece-Wise Functions by Learning Classifiers

Tools and Algorithms for the Construction and Analysis of Systems

Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists

Formal Methods in System Design

Down the Borel hierarchy: Solving Muller games via safety games

Theoretical Computer Science

Regular Model Checking Using Solver Technologies and Automata Learning

Lecture Notes in Computer Science

Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers

Automated Technology for Verification and Analysis

Learning Minimal Deterministic Automata from Inexperienced Teachers

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Small Strategies for Safety Games

Automated Technology for Verification and Analysis

Reachability Games on Automatic Graphs

Implementation and Application of Automata

Lernverfahren für Automaten über linearisierten XML-Dokumenten

Informatik-Spektrum

Education

RWTH Aachen University

Ph.D. in Computer Science, Department of Computer Science / April, 2014

Aachen

RWTH Aachen University

Diplom-Wirtschaftsinformatiker (Master of Science in Business Informatics), School of Business and Economics / July, 2008

Aachen

RWTH Aachen University

Diplom-Informatiker (Master of Science in Computer Science), Department of Computer Science / November, 2007

Aachen

Experience

Technische Universität Dortmund

Carl von Ossietzky Universität Oldenburg

Associate Professor / February, 2022 — October, 2022

Max Planck Institute for Software Systems

Research Group Leader / February, 2017 — January, 2022

RWTH Aachen University

Postdoctoral Researcher / July, 2016 — January, 2017

Research Assistant / August, 2008 — December, 2013

University of California, Los Angeles

Postdoctoral Researcher / February, 2015 — March, 2016

University of Illinois Urbana-Champaign

Postdoctoral Researcher / August, 2014 — January, 2015

Join Daniel on NotedSource!

Join Now

At NotedSource, we believe that professors, post-docs, scientists and other researchers have deep, untapped knowledge and expertise that can be leveraged to drive innovation within companies. NotedSource is committed to bridging the gap between academia and industry by providing a platform for collaboration with industry and networking with other researchers.

For industry, NotedSource identifies the right academic experts in 24 hours to help organizations build and grow. With a platform of thousands of knowledgeable PhDs, scientists, and industry experts, NotedSource makes connecting and collaborating easy.

For academic researchers such as professors, post-docs, and Ph.D.s, NotedSource provides tools to discover and connect to your colleagues with messaging and news feeds, in addition to the opportunity to be paid for your collaboration with vetted partners.

Expert Institutions

Proudly trusted by

Connect with researchers and scientists like Daniel Neider on NotedSource to help your company with innovation, research, R&D, L&D, and more.