Nils Jansen - Google Scholar

Cited by

	All	Since 2015
Citations	922	800
h-index	20	17
i10-index	27	25

220

110

165

201120122013201420152016201720182019202011 32 34 43 81 91 110 161 201 156

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 the 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
Roderick BloemGraz University of TechnologyVerified email at iaik.tugraz.at
Mohamadreza AhmadiCalifornia Institute of TechnologyVerified email at caltech.edu
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 A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu

Nils Jansen

Assistant Professor, Radboud University Nijmegen

Verified email at science.ru.nl - Homepage

Formal Verification Artificial Intelligence 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	99	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	62	2016
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	50	2016
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	49	2014
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
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	41	2015
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
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	35	2014
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	31*	2018
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	30*	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
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	28	2017
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	26*	2014
Safe Reinforcement Learning Using Probabilistic Shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem 31st International Conference on Concurrency Theory (CONCUR 2020), 2020	24*	2020
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	22*	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	21	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	21	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