Christian Dehnert
Christian Dehnert
Geverifieerd e-mailadres voor cs.rwth-aachen.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A storm is coming: A modern probabilistic model checker
C Dehnert, S Junges, JP Katoen, M Volk
International Conference on Computer Aided Verification, 592-600, 2017
2932017
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
1142015
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
712016
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
652016
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
602017
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
412014
The 2019 comparison of tools for the analysis of quantitative formal models
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
322019
SMT-based bisimulation minimisation of Markov models
C Dehnert, JP Katoen, D Parker
International Workshop on Verification, Model Checking, and Abstract …, 2013
282013
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
242014
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
172016
Parameter synthesis for markov models
S Junges, E Ábrahám, C Hensel, N Jansen, JP Katoen, T Quatmann, ...
arXiv preprint arXiv:1903.07993, 2019
142019
On abstraction of probabilistic systems
C Dehnert, D Gebler, M Volpato, DN Jansen
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
142012
The probabilistic model checker Storm
C Hensel, S Junges, JP Katoen, T Quatmann, M Volk
arXiv preprint arXiv:2002.07080, 2020
132020
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
102020
Counterexample-driven synthesis for probabilistic program sketches
M Češka, C Hensel, S Junges, JP Katoen
International Symposium on Formal Methods, 101-120, 2019
102019
The probabilistic model checker Storm: symbolic methods for probabilistic model checking
HC Hensel, D Parker, JP Katoen
Fachgruppe Informatik, 2019
52019
Parameter synthesis for probabilistic systems
C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ...
MBMV, 72-74, 2016
52016
Counterexamples for expected rewards
T Quatmann, N Jansen, C Dehnert, R Wimmer, E Ábrahám, JP Katoen, ...
International Symposium on Formal Methods, 435-452, 2015
52015
Model Repair Revamped
M Češka, C Dehnert, N Jansen, S Junges, JP Katoen
From Reactive Systems to Cyber-Physical Systems, 107-125, 2019
22019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–19