The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Tim Quatmann" ( http://dblp.L3S.de/Authors/Tim_Quatmann )

  Author page on DBLP  Author page in RDF  Community of Tim Quatmann in ASPL-2

Publication years (Num. hits)
2015 (1) 2016 (2) 2017 (3) 2018 (4) 2019 (3)
Publication types (Num. hits)
article(5) inproceedings(8)
Venues (Conferences, Journals, ...)
CoRR(5) CAV (1)(2) ATVA(1) FM(1) TACAS (1)(1) TACAS (2)(1) TACAS (3)(1) UAI(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 14 publication records. Showing 13 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
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
1Arnd Hartmanns, Michaela Klauck, David Parker 0001, Tim Quatmann, Enno Ruijters The Quantitative Verification Benchmark Set. Search on Bibsonomy TACAS (1) 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
1Tim Quatmann, Joost-Pieter Katoen Sound Value Iteration. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Tim Quatmann, Joost-Pieter Katoen Sound Value Iteration. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker 0001 Finite-State Controllers of POMDPs using Parameter Synthesis. Search on Bibsonomy UAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann Multi-cost Bounded Reachability in MDP. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sebastian Junges, Nils Jansen 0001, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker 0001 Permissive Finite-State Controllers of POMDPs using Parameter Synthesis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen Markov Automata with Multiple Objectives. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen Markov Automata with Multiple Objectives. Search on Bibsonomy CAV (1) The full citation details ... 2017 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 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 ATVA The full citation details ... 2016 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
Displaying result #1 - #13 of 13 (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