The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Christian Dehnert Christian Hensel ( http://dblp.L3S.de/Authors/Christian_Dehnert )

  Author page on DBLP  Author page in RDF  Community of Christian Dehnert in ASPL-2

Publication years (Num. hits)
2012-2017 (17) 2018-2019 (7)
Publication types (Num. hits)
article(8) inproceedings(15) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 25 publication records. Showing 24 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Milan Ceska 0002, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. Search on Bibsonomy From Reactive Systems to Cyber-Physical Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christian Hensel, Maxi Becker, Sandra Düzel, Ilja Demuth, Kristina Norman, Elisabeth Steinhagen-Thiessen, Jürgen Gallinat, Ulman Lindenberger, Simone Kühn Influence of nutritional tyrosine on cognition and functional connectivity in healthy old humans. Search on Bibsonomy NeuroImage The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen Counterexample-Driven Synthesis for Probabilistic Program Sketches. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen 0001, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001 Parameter Synthesis for Markov Models. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen Counterexample-Driven Synthesis for Probabilistic Program Sketches. Search on Bibsonomy FM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein 0001, Jan Kretínský, David Parker 0001, Tim Quatmann, Enno Ruijters, Marcel Steinmetz The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). Search on Bibsonomy TACAS (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christian Hensel The probabilistic model checker Storm: symbolic methods for probabilistic model checking. Search on Bibsonomy 2018   RDF
1Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk 0001 A storm is Coming: A Modern Probabilistic Model Checker. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk 0001 A Storm is Coming: A Modern Probabilistic Model Checker. Search on Bibsonomy CAV (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini JANI: Quantitative Model and Tool Interaction. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nils Jansen 0001, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen Bounded Model Checking for Probabilistic Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk 0001 The Probabilistic Model Checker Storm (Extended Abstract). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Tim Quatmann, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Parameter Synthesis for Markov Models: Faster Than Ever. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Nils Jansen 0001, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen Bounded Model Checking for Probabilistic Programs. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tim Quatmann, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen Parameter Synthesis for Markov Models: Faster Than Ever. Search on Bibsonomy ATVA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes Parameter Synthesis for Probabilistic Systems. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen Safety-Constrained Reinforcement Learning for MDPs. Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen Safety-Constrained Reinforcement Learning for MDPs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. Search on Bibsonomy CAV (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tim Quatmann, Nils Jansen 0001, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker 0001 Counterexamples for Expected Rewards. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Nils Jansen 0001, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen Fast Debugging of PRISM Models. Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Bernd Becker 0001, Christian Dehnert, Nils Jansen 0001, Joost-Pieter Katoen, Ralf Wimmer Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. Search on Bibsonomy SFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Joost-Pieter Katoen, David Parker 0001 SMT-Based Bisimulation Minimisation of Markov Models. Search on Bibsonomy VMCAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen On Abstraction of Probabilistic Systems. Search on Bibsonomy ROCKS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license