关注
Christian Dehnert
Christian Dehnert
在 cs.rwth-aachen.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
A Storm is Coming: A Modern Probabilistic Model Checker
C Dehnert, S Junges, JP Katoen, M Volk
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
5372017
The probabilistic model checker Storm
C Hensel, S Junges, JP Katoen, T Quatmann, M Volk
International Journal on Software Tools for Technology Transfer, 1-22, 2022
1972022
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool
C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ...
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
1532015
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
1452016
JANI: quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
1252017
Parameter synthesis for Markov models: Faster than ever
T Quatmann, C Dehnert, N Jansen, S Junges, JP Katoen
Automated Technology for Verification and Analysis: 14th International …, 2016
1072016
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
632019
Counterexample generation for discrete-time Markov models: An introductory survey
E Ábrahám, B Becker, C Dehnert, N Jansen, JP Katoen, R Wimmer
Formal Methods for Executable Software Models: 14th International School on …, 2014
592014
Parameter Synthesis for Markov Models: Covering the Parameter Space
S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ...
arXiv preprint arXiv:1903.07993, 2019
552019
SMT-based bisimulation minimisation of Markov models
C Dehnert, JP Katoen, D Parker
Verification, Model Checking, and Abstract Interpretation: 14th …, 2013
372013
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
C Baier, C Hensel, L Hutschenreiter, S Junges, JP Katoen, J Klein
Information and Computation 272, 104504, 2020
332020
Fast debugging of PRISM models
C Dehnert, N Jansen, R Wimmer, E Ábrahám, JP Katoen
Automated Technology for Verification and Analysis: 12th International …, 2014
332014
Bounded model checking for probabilistic programs
N Jansen, C Dehnert, BL Kaminski, JP Katoen, L Westhofen
International Symposium on Automated Technology for Verification and …, 2016
322016
Counterexample-driven synthesis for probabilistic program sketches
M Češka, C Hensel, S Junges, JP Katoen
International symposium on formal methods, 101-120, 2019
252019
On abstraction of probabilistic systems
C Dehnert, D Gebler, M Volpato, DN Jansen
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
202012
Model Repair Revamped: —On the Automated Synthesis of Markov Chains—
M Češka, C Dehnert, N Jansen, S Junges, JP Katoen
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A …, 2019
102019
Counterexamples for expected rewards
T Quatmann, N Jansen, C Dehnert, R Wimmer, E Ábrahám, JP Katoen, ...
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
92015
The probabilistic model checker Storm: symbolic methods for probabilistic model checking
HC Hensel, D Parker, JP Katoen
Fachgruppe Informatik, 2019
82019
Parameter synthesis for probabilistic systems
C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ...
MBMV, 72-74, 2016
52016
系统目前无法执行此操作,请稍后再试。
文章 1–19