| 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 | Christopher Jan-Steffen Brix, Thomas Noll.
Debona,
12 pages, 2020. |
| Alexander Hoppen.
Design and implementation of an interactive exploration tool for probabilistic programs,
124 pages, 2020. |
| DOIFull Text | Daniel Basgöze.
Dynamic fault tree analysis using binary decision diagrams,
76 pages, 2020. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou.
Explaining Boolean-Logic Driven Markov Processes using GSPNs,
pages 119-126, IEEE, 2020. |
| DOI | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler.
Generating Functions for Probabilistic Programs,
2020. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner.
Generative Datalog with Continuous Distributions,
pages 347-360, ACM, 2020. |
| DOIFull Text | Linus Heck.
Gradient descent on parametric Markov Chains,
31 pages, 2020. |
| DOIFull Text | Mohamed Khalifa.
Implementation of a Predicate-Guided Termination Analysis for Pointer Programs,
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. |
| 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. |
| DOIFull Text | Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang.
Learning One-Clock Timed Automata,
Volume 12078, Theoretical Computer Science and General Issues of LNCS, pages 444-462, Springer, 2020. |
| Thomas Vogt.
Learning RFSA in Reverse,
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. |
| DOIFull Text | Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann.
Multi-cost Bounded Tradeoff Analysis in MDP,
pages 1483-1522, Springer, 2020. |
| DOIFull Text | Francesco Leofante.
Optimal planning modulo theories,
96 pages, 2020. |
| Robin Drahovsky.
Parameter synthesis in bayesian networks,
2020. |
| DOIFull Text | Sebastian Junges.
Parameter synthesis in Markov models,
371 pages, 2020. |
| Bram Kohlen.
Parameter synthesis in probabilistic timed automata,
91 pages, 2020. |
| DOI | Christel Baier, Hans Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein.
Parametric Markov chains,
pages 104504, Elsevier, 2020. |
| DOI | Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schroer.
PrIC3,
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. |
| DOI | Mojgan Kamali, Joost-Pieter Katoen.
Probabilistic Model Checking of AODV,
Volume 12289 of LNCS, pages 54-73, Springer, 2020. |
| Christopher Brix.
Proving Non-Existence of Imperceptible Adversarial Examples in Deep Neural Networks Using Symbolic Propagation With Error Bounds,
2020. |
| DOIFull Text | Dan-Tuong Le.
Quantitative Analysis of Counterexample Generation for Automata Learning,
2020. |