Daniel Neider

Cited by

	All	Since 2016
Citations	756	642
h-index	14	12
i10-index	18	15

220

110

165

2010201120122013201420152016201720182019202020216 7 11 17 26 40 84 75 102 145 211 21

Co-authors

Madhusudan ParthasarathyProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Pranav GargAmazonVerified email at amazon.com
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAVerified email at ee.ucla.edu
Martin ZimmermannUniversity of LiverpoolVerified email at liverpool.ac.uk
Martin LeuckerProfessor of Computer Science, University of LübeckVerified email at isp.uni-luebeck.de
Shambwaditya SahaUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Ufuk TopcuVerified email at utexas.edu
Benedikt BolligCNRS, LSV, ENS Paris-SaclayVerified email at lsv.ens-cachan.fr
Dan RothProfessor of Computer Science, University of PennsylvaniaVerified email at seas.upenn.edu
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Alexander WeinertResearch Group Leader, German Aerospace CenterVerified email at dlr.de
Roman RabinovichTechnische Universität BerlinVerified email at tu-berlin.de
Zhe XuAssistant Professor, Arizona State UniversityVerified email at asu.edu
Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceVerified email at iisc.ac.in
Tzanis AnevlavisPh.D. Candidate, UCLAVerified email at ucla.edu
Nils JansenAssistant Professor, Radboud University NijmegenVerified email at science.ru.nl
Eric DallalPost-Doc, University of California, Los AngelesVerified email at ucla.edu
Maximilian SchwengerCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl

Daniel Neider

Research Group Leader, Max Planck Institute for Software Systems

Verified email at mpi-sws.org

Logic Machine Learning Verification Artificial Intelligence


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
ICE: A robust framework for learning invariants P Garg, C Löding, P Madhusudan, D Neider International Conference on Computer Aided Verification, 69-87, 2014	154	2014
Learning invariants using decision trees and implication counterexamples P Garg, D Neider, P Madhusudan, D Roth ACM Sigplan Notices 51 (1), 499-512, 2016	138	2016
libalf: The automata learning framework B Bollig, JP Katoen, C Kern, M Leucker, D Neider, DR Piegdon International Conference on Computer Aided Verification, 360-364, 2010	94	2010
Learning universally quantified invariants of linear data structures P Garg, C Löding, P Madhusudan, D Neider International Conference on Computer Aided Verification, 813-829, 2013	36	2013
Learning linear temporal properties D Neider, I Gavran 2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018	31	2018
Robust linear temporal logic P Tabuada, D Neider arXiv preprint arXiv:1510.08970, 2015	29	2015
Abstract learning frameworks for synthesis C Löding, P Madhusudan, D Neider International Conference on Tools and Algorithms for the Construction and …, 2016	27	2016
An automaton learning approach to solving safety games over infinite graphs D Neider, U Topcu International Conference on Tools and Algorithms for the Construction and …, 2016	26	2016
Horn-ICE learning for synthesizing invariants and contracts P Ezudheen, D Neider, D D'Souza, P Garg, P Madhusudan Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018	24	2018
Regular model checking using solver technologies and automata learning D Neider, N Jansen NASA Formal Methods Symposium, 16-31, 2013	23	2013
Down the Borel hierarchy: Solving Muller games via safety games D Neider, R Rabinovich, M Zimmermann Theoretical Computer Science 560, 219-234, 2014	15*	2014
Computing minimal separating DFAs and regular invariants using SAT and SMT solvers D Neider International Symposium on Automated Technology for Verification and …, 2012	15	2012
Small strategies for safety games D Neider International Symposium on Automated Technology for Verification and …, 2011	15	2011
Learning minimal deterministic automata from inexperienced teachers M Leucker, D Neider International Symposium On Leveraging Applications of Formal Methods …, 2012	14	2012
Synthesizing piece-wise functions by learning classifiers D Neider, S Saha, P Madhusudan International Conference on Tools and Algorithms for the Construction and …, 2016	13	2016
Joint inference of reward machines and policies for reinforcement learning Z Xu, I Gavran, Y Ahmad, R Majumdar, D Neider, U Topcu, B Wu Proceedings of the International Conference on Automated Planning and …, 2020	11	2020
Benchmarks for automata learning and conformance testing D Neider, R Smetsers, F Vaandrager, H Kuppens Models, Mindsets, Meta: The What, the How, and the Why Not?, 390-416, 2019	11	2019
Synthesis of safety controllers robust to unmodeled intermittent disturbances E Dallal, D Neider, P Tabuada 2016 IEEE 55th Conference on Decision and Control (CDC), 7425-7430, 2016	11	2016
Invariant synthesis for incomplete verification engines D Neider, P Garg, P Madhusudan, S Saha, D Park International Conference on Tools and Algorithms for the Construction and …, 2018	9	2018
Applications of automata learning in verification and synthesis D Neider Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2014	9	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors