| 2020 |
| DOIFull Text | Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour.
Life is Random, Time is Not,
pages 13, Department of Theoretical Computer Science, Technical University of Braunschweig, 2020. |
| DOI | Marcin Szymczak, Joost-Pieter Katoen.
Weakest Preexpectation Semantics for Bayesian Inference,
Volume 12154 of LNCS, pages 44-121, Springer, 2020. |
| DOI | Mojgan Kamali, Joost-Pieter Katoen.
Probabilistic Model Checking of AODV,
Volume 12289 of LNCS, pages 54-73, Springer, 2020. |
| DOIFull Text | Jan Švejda, Philipp Berger, Joost-Pieter Katoen.
Interpretation-Based Violation Witness Validation for C,
Volume 12078, Theoretical Computer Science and General Issues of LNCS, pages 40-57, Springer, 2020. |
| DOI | Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen.
Benchmarking Software Model Checkers on Automotive Code,
Volume 12229 of LNCS, pages 133-150, Springer, 2020. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou.
Explaining Boolean-Logic Driven Markov Processes using GSPNs,
pages 119-126, IEEE, 2020. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou.
A Compositional Semantics for Repairable BDMPs,
Volume 12234 of LNCS, pages 82-98, Springer, 2020. |
| DOI | Alexander Nikolai Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann.
Verification of Indefinite-Horizon POMDPs,
Volume 12302 of LNCS, pages 288-304, Springer, 2020. |
| DOIFull Text | Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer.
PrIC3,
Volume 12225 of LNCS, pages 512-538, Springer, 2020. |
| Lars Beckers.
A petri net semantics for boolean-logic driven markov processes,
55 pages, 2020. |
| DOI | Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal.
Various Ways to Quantify BDMPs,
2020. |
| Robin Drahovsky.
Parameter synthesis in bayesian networks,
2020. |
| Full Text | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
Verifying Probabilistic Programs,
Volume 12289 of LNCS, pages 298-298, Springer, 2020. |
| DOIFull Text | Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan.
Indecision and delays are the parents of failure - taming them algorithmically by synthesizing delay-resilient control,
pages 497-528, Springer, 2020. |
| DOI | Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, Bernd Becker.
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions,
pages 1040-1054, Institute of Electrical and Electronics Engineers, 2020. |
| DOIFull Text | Daniel Basgöze.
Dynamic fault tree analysis using binary decision diagrams,
76 pages, 2020. |
| DOIFull Text | Bahare Salmani Barzoki, Joost-Pieter Katoen.
Bayesian Inference by Symbolic Model Checking,
Volume 12289 of LNCS, pages 115-133, Springer, 2020. |
| 2019 |
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja.
On the hardness of analyzing probabilistic programs,
pages 255-285, Springer, 2019. |
| DOIFull Text | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll.
Quantitative separation logic,
pages 34, ACM, 2019. |
| DOI | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk.
Safety analysis for vehicle guidance systems with dynamic fault trees,
pages 37-50, Elsevier Science, 2019. |
| DOIFull Text | Benjamin Lucien Kaminski.
Advanced weakest precondition calculi for probabilistic programs,
363 pages, 2019. |
| DOI | Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll.
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees,
Volume 1008 of Communications in computer and information science, pages 37-54, Springer, 2019. |
| DOIFull Text | Ernst Moritz Hahn, Arnd Hartmanns, Hans Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz.
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models,
Volume 11429 of LNCS, pages 69-92, Springer, 2019. |
| DOIFull Text | Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters.
The Quantitative Verification Benchmark Set,
Volume 11427 of LNCS, pages 344-350, Springer, 2019. |
| DOIFull Text | Souymodip Chakraborty.
New results on probabilistic verification,
172 pages, 2019. |