Nils Jansen - Google Scholar Citations

Cited by

	All	Since 2015
Citations	873	751
h-index	19	17
i10-index	24	22

220

110

165

201120122013201420152016201720182019202011 32 34 43 81 91 110 161 205 101

Co-authors

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Concept Engineering GmbH, Freiburg, GermanyVerified email at informatik.uni-freiburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Sebastian JungesPostDoc at University of California, BerkeleyVerified email at berkeley.edu
Ufuk TopcuVerified email at utexas.edu
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Benjamin Lucien KaminskiLecturer, University College LondonVerified email at ucl.ac.uk
Murat CubuktepePhD Student, University of Texas at AustinVerified email at utexas.edu
Federico OlmedoUniversity of ChileVerified email at dcc.uchile.cl
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
Armando TacchellaAssociate Professor, Information Processing Systems, University of GenoaVerified email at unige.it
Mohamadreza AhmadiCalifornia Institute of TechnologyVerified email at caltech.edu
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Radu CalinescuReader, Department of Computer Science, University of YorkVerified email at york.ac.uk
Daniel NeiderResearch Group Leader, Max Planck Institute for Software SystemsVerified email at mpi-sws.org
Jan KřetínskýTechnical University of Munich (tenure-track assistant professor)Verified email at fi.muni.cz
Radu GrosuProfessor of Computer ScienceVerified email at tuwien.ac.at
Scott D. StollerProfessor of Computer Science, Stony Brook UniversityVerified email at cs.stonybrook.edu

Nils Jansen

Assistant Professor, Radboud University Nijmegen

Verified email at science.ru.nl - Homepage

Model Checking Formal Verification Machine Learning Controller Synthesis Robotics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... International Conference on Computer Aided Verification, 214-231, 2015	98	2015
Parameter synthesis for Markov models: Faster than ever T Quatmann, C Dehnert, N Jansen, S Junges, JP Katoen International Symposium on Automated Technology for Verification and …, 2016	60	2016
DTMC model checking by SCC reduction E Abrahám, N Jansen, R Wimmer, JP Katoen, B Becker International Conference on the Quantitative Evaluation of Systems, 37-46, 2010	49	2010
Conditioning in probabilistic programming F Olmedo, F Gretz, N Jansen, BL Kaminski, JP Katoen, A McIver ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (1), 1-50, 2018	48*	2018
Accelerating parametric probabilistic verification N Jansen, F Corzilius, M Volk, R Wimmer, E Ábrahám, JP Katoen, ... International Conference on Quantitative Evaluation of Systems, 404-420, 2014	48	2014
Safety-constrained reinforcement learning for MDPs S Junges, N Jansen, C Dehnert, U Topcu, JP Katoen International Conference on Tools and Algorithms for the Construction and …, 2016	44	2016
Minimal critical subsystems for discrete-time Markov models R Wimmer, N Jansen, E Ábrahám, B Becker, JP Katoen International Conference on Tools and Algorithms for the Construction and …, 2012	41	2012
A greedy approach for the efficient repair of stochastic models S Pathak, E Ábrahám, N Jansen, A Tacchella, JP Katoen NASA Formal Methods Symposium, 295-309, 2015	40	2015
Counterexample generation for discrete-time Markov models: An introductory survey E Ábrahám, B Becker, C Dehnert, N Jansen, JP Katoen, R Wimmer International School on Formal Methods for the Design of Computer …, 2014	34	2014
The COMICS tool–Computing Minimal Counterexamples for DTMCs N Jansen, E Ábrahám, M Volk, R Wimmer, JP Katoen, B Becker International Symposium on Automated Technology for Verification and …, 2012	31*	2012
High-level Counterexamples for Probabilistic Automata JP Wimmer, Ralf and Jansen, Nils and Abraham, Erika and Katoen Logical Methods in Computer Science 11 (1), 2015	29*	2015
Hierarchical counterexamples for discrete-time Markov chains N Jansen, E Ábrahám, J Katelaan, R Wimmer, JP Katoen, B Becker International Symposium on Automated Technology for Verification and …, 2011	29	2011
Finite-state controllers of POMDPs via parameter synthesis S Junges, N Jansen, R Wimmer, T Quatmann, L Winterer, J Katoen, ... Conference on Uncertainty in Artificial Intelligence (UAI), 2018	28*	2018
Sequential convex programming for the efficient verification of parametric MDPs M Cubuktepe, N Jansen, S Junges, JP Katoen, I Papusha, HA Poonawala, ... International Conference on Tools and Algorithms for the Construction and …, 2017	27	2017
Minimal counterexamples for linear-time probabilistic verification R Wimmer, N Jansen, E Ábrahám, JP Katoen, B Becker Theoretical Computer Science 549, 61-100, 2014	25*	2014
Synthesis and verification of self-aware computing systems R Calinescu, M Autili, J Cámara, A Di Marco, S Gerasimou, P Inverardi, ... Self-Aware Computing Systems, 337-373, 2017	24	2017
Symbolic counterexample generation for large discrete-time Markov chains N Jansen, R Wimmer, E Ábrahám, B Zajzon, JP Katoen, B Becker, ... Science of Computer Programming 91, 90-114, 2014	21*	2014
Synthesis in pMDPs: A tale of 1001 parameters M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu International Symposium on Automated Technology for Verification and …, 2018	20	2018
Fast debugging of PRISM models C Dehnert, N Jansen, R Wimmer, E Ábrahám, JP Katoen International Symposium on Automated Technology for Verification and …, 2014	20	2014
Shielded decision-making in MDPs N Jansen, B Könighofer, S Junges, R Bloem arXiv preprint arXiv:1807.06096, 2018	18	2018

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