Christian Dehnert

Navedeno

	Vse	Od leta 2020
Navedbe	1851	1328
indeks h	15	13
indeks i10	16	15

320

160

240

2014201520162017201820192020202120222023202420255 31 51 85 160 173 196 274 256 236 319 40

Javni dostop

Prikaži vse

9 člankov

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwentePreverjeni e-poštni naslov na cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenPreverjeni e-poštni naslov na ru.nl
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumPreverjeni e-poštni naslov na rub.de
Matthias VolkAssistant Professor, Eindhoven University of TechnologyPreverjeni e-poštni naslov na tue.nl
Tim QuatmannRWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
Erika AbrahamProfessor, Computer Science Department, RWTH Aachen UniversityPreverjeni e-poštni naslov na cs.rwth-aachen.de
Ernst Moritz HahnUniversity of TwentePreverjeni e-poštni naslov na utwente.nl
Arnd HartmannsUniversity of TwentePreverjeni e-poštni naslov na utwente.nl
Ralf WimmerAlbert-Ludwigs-Universität Freiburg, Germany and Altair Engineering GmbH, Böblingen, GermanyPreverjeni e-poštni naslov na informatik.uni-freiburg.de
David ParkerProfessor of Computer Science, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
Bernd BeckerProfessor of Computer Science, University of FreiburgPreverjeni e-poštni naslov na informatik.uni-freiburg.de
Ufuk TopcuThe University of Texas at AustinPreverjeni e-poštni naslov na utexas.edu
Andrea TurriniInstitute of Software, Chinese Academy of SciencesPreverjeni e-poštni naslov na ios.ac.cn
Carlos E. BuddeAssociate Professor @ Technical University of Denmark, DTU ComputePreverjeni e-poštni naslov na dtu.dk
David N. JansenRadboud Universiteit NijmegenPreverjeni e-poštni naslov na cs.ru.nl
Daniel GeblerVU University AmsterdamPreverjeni e-poštni naslov na vu.nl

Spremljaj

Christian Dehnert

RWTH Aachen University

Preverjeni e-poštni naslov na cs.rwth-aachen.de - Domača stran

Verification Model Checking Quantitative Systems


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	572	2017
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	271	2022
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	165	2015
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	154	2016
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	144	2017
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	111	2016
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	70	2019
Parameter synthesis in Markov models S Junges Dissertation, RWTH Aachen University, 2020, 2020	68*	2020
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	59	2014
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	40	2020
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	38	2014
SMT-based bisimulation minimisation of Markov models C Dehnert, JP Katoen, D Parker International Workshop on Verification, Model Checking, and Abstract …, 2013	36	2013
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	34	2016
Counterexample-driven synthesis for probabilistic program sketches M Češka, C Hensel, S Junges, JP Katoen International symposium on formal methods, 101-120, 2019	29	2019
On abstraction of probabilistic systems C Dehnert, D Gebler, M Volpato, DN Jansen International Autumn School on Rigorous Dependability Analysis Using Model …, 2012	22	2012
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	12	2015
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	9	2019
The probabilistic model checker Storm: symbolic methods for probabilistic model checking HC Hensel, D Parker, JP Katoen Fachgruppe Informatik, 2019	8	2019
Parameter synthesis for probabilistic systems C Dehnert, S Junges, N Jansen, F Corzilius, M Volk, H Bruintjes, ... MBMV, 72-74, 2016	7	2016
Kroening D Păsăreanu CS et al C Dehnert PROPhESY: A PRObabilistic ParamEter SYnthesis tool Computer Aided Verification, 2015	2	2015

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji