Sebastian Junges
Sebastian Junges
PhD Student at RWTH Aachen University
Bestätigte E-Mail-Adresse bei cs.rwth-aachen.de - Startseite
TitelZitiert vonJahr
A storm is Coming: A Modern Probabilistic Model Checker
C Dehnert, S Junges, JP Katoen, M Volk
arXiv preprint arXiv:1702.04311, 2017
1332017
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
792015
SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving
F Corzilius, G Kremer, S Junges, S Schupp, E Ábrahám
International Conference on Theory and Applications of Satisfiability …, 2015
462015
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
432016
SMT-RAT: an SMT-compliant nonlinear real arithmetic toolbox
F Corzilius, U Loup, S Junges, E Ábrahám
International Conference on Theory and Applications of Satisfiability …, 2012
342012
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
292016
Jani: Quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
International Conference on Tools and Algorithms for the Construction and …, 2017
252017
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
222018
Finite-state controllers of POMDPs via parameter synthesis
S Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ...
Corvallis: AUAI Press, 2018
17*2018
Fault trees on a diet: automated reduction by graph rewriting
S Junges, D Guck, JP Katoen, A Rensink, M Stoelinga
Formal aspects of computing 29 (4), 651-703, 2017
16*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
162017
Uncovering dynamic fault trees
S Junges, D Guck, JP Katoen, M Stoelinga
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
162016
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models
D Bohlender, H Bruintjes, S Junges, J Katelaan, VY Nguyen, T Noll
International Symposium On Leveraging Applications of Formal Methods …, 2014
142014
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
122018
Advancing dynamic fault tree analysis-get succinct state spaces fast and synthesise failure rates
M Volk, S Junges, JP Katoen
International Conference on Computer Safety, Reliability, and Security, 253-265, 2016
122016
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
9*2019
Model-checking assisted protocol design for ultra-reliable low-latency wireless networks
C Dombrowski, S Junges, JP Katoen, J Gross
2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS), 307-316, 2016
82016
Shielded Decision-Making in MDPs
N Jansen, B Könighofer, S Junges, R Bloem
arXiv preprint arXiv:1807.06096, 2018
72018
On Gröbner bases in the context of satisfiability-modulo-theories solving over the real numbers
S Junges, U Loup, F Corzilius, E Ábrahám
International Conference on Algebraic Informatics, 186-198, 2013
72013
Multi-cost Bounded Reachability in MDP
A Hartmanns, S Junges, JP Katoen, T Quatmann
International Conference on Tools and Algorithms for the Construction and …, 2018
62018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20