| 2021 |
| DOI | Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou.
Model Checking the Multi-Formalism Language FIGARO,
pages 463-470, IEEE, 2021. |
| DOI | Muhammad Hannan Khan, Osman Hassan, Shahid Khan.
Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs,
Volume 12819, Theoretical computer science and general issues of LNCS, pages 86-104, Springer, 2021. |
| DOI | Sascha Müller, Adeline Jordon, Andreas Gerndt, Thomas Noll.
A Modular Approach to Non-deterministic Dynamic Fault Trees,
Volume 12852 of Programming and Software Engineering, pages 243-257, Springer, 2021. |
| DOI | Alexander Hoppen, Thomas Noll.
A Debugger for Probabilistic Programs,
Volume 13085 of LNCS, pages 282-289, Springer, 2021. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner.
Probabilistic Data with Continuous Distributions,
pages 69-76, Association for Computing Machinery, 2021. |
| DOI | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács.
The Probabilistic Termination Tool Amber,
Volume 13047 of LNCS, pages 667-675, Springer, 2021. |
| DOI | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács.
Automated Termination Analysis of Polynomial Probabilistic Programs,
Volume 12648 of LNCS, pages 491-518, Springer, 2021. |
| Fabian Gasser.
Analysis of concurrent probabilistic programs with shared variables,
27 pages, 2021. |
| DOI | Shahid Khan, Joost-Pieter Katoen.
Synergising Reliability Modelling Languages,
pages 113-122, IEEE, 2021. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher.
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees,
IEEE, 2021. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou.
Scalable Reliability Analysis by Lazy Verification,
Volume 12673, Programming and software engineering of LNCS, pages 180-197, Springer, 2021. |
| DOIFull Text | Joshua Moerman, Matteo Sammartino.
Residuality and Learning for Nondeterministic Nominal Automata,
27 pages, 2021. |
| DOI | Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman.
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata,
ACM Conferences, pages 1-13, Association for Computing Machinery, 2021. |
| Alexander Nikolai Bork.
Underapproximations for indefinite-horizon POMDPS,
2021. |
| DOI | Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen.
Markov automata with multiple objectives,
pages 33-86, Springer, 2021. |
| DOIFull Text | Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk.
The probabilistic model checker STORM,
pages 589-610, Springer, 2021. |
| DOIFull Text | Bahare Salmani Barzoki, Joost-Pieter Katoen.
Fine-Tuning the Odds in Bayesian Networks,
Volume 12897 of LNCS, pages 268-283, Springer, 2021. |
| DOIFull Text | Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki.
Synthesizing optimal bias in randomized self-stabilization,
pages 37-57, Springer, 2021. |
| DOIFull Text | Christina Gehnen.
Automata-based model checking of recursive systems,
pages 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2021. |
| 2020 |
| DOIFull Text | Christoph Matheja.
Automated reasoning and randomization in separation logic,
504 pages, 2020. |
| DOIFull Text | Sebastian Junges.
Parameter synthesis in Markov models,
371 pages, 2020. |
| DOI | Marcel Tobias Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen.
Aiming low is harder,
pages 1-28, ACM, 2020. |
| DOIFull Text | Joshua Moerman, Jurriaan Rot.
Separation and Renaming in Nominal Sets,
Volume 152 of Leibniz international proceedings in informatics, pages 31:1-31:17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, January, 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. |
| DOI | Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schroer.
PrIC3,
2020. |