Sebastian Junges

Cited by

	All	Since 2021
Citations	4194	3060
h-index	34	30
i10-index	58	54

780

390

195

585

20152016201720182019202020212022202320242025202629 62 139 247 303 322 436 513 602 713 779 16

Public access

View all

62 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumVerified email at rub.de
Matthias VolkAssistant Professor, Eindhoven University of TechnologyVerified email at tue.nl
Tim QuatmannRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
Christian DehnertRWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
Milan CeskaBrno University of TechnologyVerified email at fit.vutbr.cz
Roman AndriushchenkoPh.D. student, Brno University of TechnologyVerified email at vutbr.cz
Arnd HartmannsUniversity of TwenteVerified email at utwente.nl
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Murat CubuktepeUniversity of Texas at AustinVerified email at utexas.edu
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Ralf WimmerAltair Engineering GmbH, Böblingen, Germany and Albert-Ludwigs-Universität Freiburg, GermanyVerified email at informatik.uni-freiburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Bettina KönighoferAssistant Professor, Graz University of Technology, AustriaVerified email at iaik.tugraz.at
Thom BadingsPostdoctoral researcher, University of OxfordVerified email at cs.ox.ac.uk
Roderick BloemGraz University of TechnologyVerified email at tugraz.at
Hazem TorfahAssistant Professor, CSE, Chalmers University of TechnologyVerified email at chalmers.se
Gereon KremerCertora LtdVerified email at cs.stanford.edu

Sebastian Junges

Assistant Professor, Radboud University, Nijmegen

Verified email at ru.nl - Homepage

Computer-aided verification Markov Decision Processes Probabilistic Inference Runtime Monitoring


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Probabilistic Model Checker Storm C Hensel, S Junges, JP Katoen, T Quatmann, M Volk STTT, 2022	960*	2022
Safe Reinforcement Learning Using Probabilistic Shields N Jansen, B Könighofer, S Junges, A Serban, R Bloem CONCUR, 2020	253*	2020
Prophesy: A probabilistic parameter synthesis tool C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... CAV, 214-231, 2015	174	2015
Safety-constrained reinforcement learning for MDPs S Junges, N Jansen, C Dehnert, U Topcu, JP Katoen TACAS, 130-146, 2016	166	2016
Jani: Quantitative model and tool interaction CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini TACAS, 151-168, 2017	162	2017
Fast dynamic fault tree analysis by model checking techniques M Volk, S Junges, JP Katoen IEEE Transactions on Industrial Informatics 14 (1), 370-379, 2018	151	2018
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving F Corzilius, G Kremer, S Junges, S Schupp, E Ábrahám SAT, 360-368, 2015	147	2015
Parameter synthesis for Markov models: Faster than ever T Quatmann, C Dehnert, N Jansen, S Junges, JP Katoen ATVA, 50-67, 2016	123	2016
Finite-state controllers of POMDPs via parameter synthesis S Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ... UAI, 2018	101*	2018
Safety analysis for vehicle guidance systems with dynamic fault trees M Ghadhab, S Junges, JP Katoen, M Kuntz, M Volk Reliability Engineering & System Safety 186, 37-50, 2019	98*	2019
Safe Reinforcement Learning via Shielding for POMDPs S Carr, N Jansen, S Junges, U Topcu AAAI, 2023	96*	2023
Parameter synthesis for Markov models: covering the parameter space S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ... Formal Methods in System Design, 1-79, 2024	83*	2024
The complexity of reachability in parametric Markov decision processes S Junges, JP Katoen, GA Pérez, T Winkler Journal of Computer and System Sciences 119, 183-210, 2021	73*	2021
Convex optimization for parameter synthesis in MDPs M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu IEEE Transactions on Automatic Control 67 (12), 6333-6348, 2021	70*	2021
Uncovering dynamic fault trees S Junges, D Guck, JP Katoen, M Stoelinga DSN, 299-310, 2016	70	2016
Multi-cost Bounded Tradeoff Analysis in MDP A Hartmanns, S Junges, JP Katoen, T Quatmann Journal of Automated Reasoning 64 (7), 1483-1522, 2020	57*	2020
PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs R Andriushchenko, M Češka, S Junges, JP Katoen, Š Stupinský CAV, 856-869, 2021	56*	2021
SMT-RAT: an SMT-compliant nonlinear real arithmetic toolbox F Corzilius, U Loup, S Junges, E Ábrahám SAT, 442-448, 2012	56*	2012
The Revised Practitioner’s Guide to MDP Model Checking Algorithms A Hartmanns, S Junges, T Quatmann, M Weininger STTT, 2025	52*	2025
Robust Finite-State Controllers for Uncertain POMDPs M Cubuktepe, N Jansen, S Junges, A Marandi, M Suilen, U Topcu AAAI, 2021	52	2021

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

Follow

Cited by

Co-authors