2022 |
[bibtex]
[issue]
|
Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Philipp Berger. Einblick DZSF-Projekt „Identifikation von Kapazitätsengpässen“, Eisenbahntechnische Rundschau 5, pages 33-37, DVV Media Group, Eurailpress, 2022.
|
[bibtex]
[issue]
|
Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen. Out of Control: Reducing Probabilistic Models by Control-State Elimination, 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022), Volume 13182 of Theoretical Computer Science and General Issues, 450-472, Springer, 2022.
|
[bibtex]
[issue]
|
Joshua Moerman, Matteo Sammartino. Residuality and Learning for Nondeterministic Nominal Automata, Logical methods in computer science 18 (1), pages 29, Department of Theoretical Computer Science, Technical University of Braunschweig, 2022.
|
[bibtex]
[issue]
|
Alena Beatrice Cohrs, Jose Miguel Sanchez-Molero Martinez, Maren Paegert, Thorsten Karbach, Agnes Förster, Eva Christine Strobel, Stefan Karl Josef Böschen, Peter Letmathe, Elisabeth Clausen, Rik W. de Doncker, Peter Lürkens, Albert Moser, Aaron Jonathan Praktiknjo, Fabian Roemer, Andreas Ulbig, Rainer Dahlmann, Thomas Fischöder, Stefanie Gottuck, Jürgen Klankermeyer, Felix Kunz, Regina Palkovits, Stefan Sterlepper, Peter Quicker, Matthias Jarke, Max C. Lemme, Saskia K. Nagel, Joost-Pieter Katoen, Rainer Waser, Matthias Brockmann, Melanie Sarah Katharina Buchsbaum, Christian Rüdiger Hinke, Patrick Mattfield, Edgar Dahl, Fabian Kiessling, Holger Jahr, Jonas Gesenhues, Joachim Jankowski, Mare Mechelinck, Heidi Noels, Irene Neuner, Rolf Rossaint, Stefan Uhlig, Tanja Veselinović, Emiel van der Vorst, Maximilian Alfons Voshage, Dirk Abel, Claus Bonerz, Lutz Eckstein, Bastian Lehrheuer, Micha Lesemann, Tobias Ostermann, René Zweigel, Benjamin Daniels, Frank Lehmkuhl, Michael Leuchner, Frank Lohrberg, Henry Riße, Martina Roß-Nickoll, Thomas Josef Wintgens. Nachhaltigen Wandel gestalten: Innovationsimpulse der RWTH, 145 Seiten : Illustrationen, RWTH Aachen University, 2022.
|
[bibtex]
[issue]
|
Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs, Foundations of Software Science and Computation Structures 2022 (FoSSaCS 2022), Volume 13242 of LNCS, 449-469, Springer, 2022.
|
[bibtex]
[issue]
|
Kevin Batz, Ira Justus Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll. Foundations for Entailment Checking in Quantitative Separation Logic, 31st European Symposium on Programming (ESOP 2022), Volume 13240 of LNCS, 57-84, Springer, 2022.
|
[bibtex]
[issue]
|
Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen. DFT modeling approach for operational risk assessment of railway infrastructure, International journal on software tools for technology transfer, 20 Seiten, Springer, 2022.
|
[bibtex]
[issue]
|
Linus Heck, Jip Josephine Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen. Gradient-Descent for Randomized Controllers Under Partial Observability, 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022), Volume 13182, Theoretical Computer Science and General Issues of LNCS, 127-150, Springer, 2022.
|
[bibtex]
[issue]
|
Alexander Nikolai Bork, Joost-Pieter Katoen, Tim Quatmann. Under-Approximating Expected Total Rewards in POMDPs, 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Volume 13244 of LNCS, 22-40, Springer, 2022.
|
[bibtex]
[issue]
|
Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Jana Berger. Einblick DZSF-Projekt „Identifikation von Kapazitätsengpässen", Eisenbahntechnische Rundschau 71 (5), pages 33-37, DVV Media Group, Eurailpress, 2022.
|
[bibtex]
[issue]
|
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler. Weighted programming: a programming paradigm for specifying mathematical models, Proceedings of the ACM on programming languages, pages 66, ACM, 2022.
|
2021 |
[bibtex]
[issue]
|
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Probabilistic Data with Continuous Distributions, ACM SIGMOD record 50 (1), pages 69-76, Association for Computing Machinery, 2021.
|
[bibtex]
[issue]
|
Gaurav Rattan, Tim Frederik Seppelt. Weisfeiler-Leman, Graph Spectra, and Random Walks, 19 Seiten, 2021. https://arxiv.org/abs/2103.02972
|
[bibtex]
[issue]
|
Alexander Hoppen, Thomas Noll. A Debugger for Probabilistic Programs, International Conference on Software Engineering and Formal Methods (SEFM 2021), Volume 13085 of LNCS, 282-289, Springer, 2021.
|
[bibtex]
[issue]
|
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. The Probabilistic Termination Tool Amber, Formal Methods - 24th International Symposium (FM 2021), Volume 13047 of LNCS, 667-675, Springer, 2021.
|
[bibtex]
[issue]
|
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. Automated Termination Analysis of Polynomial Probabilistic Programs, 30th European Symposium on Programming (ESOP 2021), Volume 12648 of LNCS, 491-518, Springer, 2021.
|
[bibtex]
[issue]
|
Shahid Khan, Joost-Pieter Katoen. Synergising Reliability Modelling Languages: BDMPs and Repairable DFTs, 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC), 113-122, IEEE, 2021.
|
[bibtex]
[issue]
|
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, Falak Sher. Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees, 2021 10th Latin-American Symposium on Dependable Computing (LADC), IEEE, 2021.
|
[bibtex]
[issue]
|
Sascha Müller, Adeline Jordon, Andreas Gerndt, Thomas Noll. A Modular Approach to Non-deterministic Dynamic Fault Trees, 40th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2021), Volume 12852 of Programming and Software Engineering, 243-257, Springer, 2021.
|
[bibtex]
[issue]
|
Muhammad Hannan Khan, Osman Hassan, Shahid Khan. Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs, 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), Volume 12819, Theoretical Computer Science and General Issues of LNCS, 86-104, Springer, 2021.
|
[bibtex]
[issue]
|
Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou. Model Checking the Multi-Formalism Language FIGARO, 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 463-470, IEEE, 2021.
|
[bibtex]
[issue]
|
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang. On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), Volume 12479 of LNCS, 216-241, Springer, 2021.
|
[bibtex]
[issue]
|
Roman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Šimon Stupinský. PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs, 33rd International Conference on Computer-Aided Verification (CAV 2021), Volume 12759, Theoretical Computer Science and General Issues of LNCS, 856-869, Springer, 2021.
|
[bibtex]
[issue]
|
Bahare Salmani Barzoki, Joost-Pieter Katoen. Fine-Tuning the Odds in Bayesian Networks, European Conference on Symbolic and Quantitative Approaches with Uncertainty (ECSQARU), Volume 12897 of LNCS, 268-283, Springer, 2021.
|
[bibtex]
[issue]
|
Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen. Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming, 33rd International Conference on Computer-Aided Verification (CAV 2021), Volume 12759, Theoretical Computer Science and General Issues of LNCS, 443-466, Springer, 2021.
|
[bibtex]
[issue]
|
Arnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Josephine Spel. Tweaking the Odds in Probabilistic Timed Automata, 18th International Conference on Quantitative Evaluation of Systems (QEST 2021), Volume 12846 of LNCS, 39-58, Springer, 2021.
|
[bibtex]
[issue]
|
Mikołaj Bojańczyk, Bartek Klin, Joshua Moerman. Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata, 16 Seiten, 2021. https://arxiv.org/abs/2104.02438
|
[bibtex]
[issue]
|
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR2020), Volume 12561 of Theoretical Computer Science and General Issues, 231-248, Springer, 2021.
|
[bibtex]
[issue]
|
Gilles Barthe (ed), Joost-Pieter Katoen (ed), Alexandra Silva (ed). Foundations of probabilistic programming, xiv, 568 Seiten : Illustrationen, Cambridge University Press, 2021.
|
[bibtex]
[issue]
|
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer. Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings, Journal of Logical and Algebraic Methods in Programming 119, pages 100633, Elsevier Science, 2021.
|
[bibtex]
[issue]
|
Sebastian Junges, Joost-Pieter Katoen, Guillermo A. Pérez, Tobias Winkler. The complexity of reachability in parametric Markov decision processes, Journal of computer and system sciences 119, pages 183-210, Elsevier, 2021.
|
[bibtex]
[issue]
|
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning, Proceedings of the ACM on programming languages 5, pages 39, ACM, 2021.
|
[bibtex]
[issue]
|
Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen. Markov automata with multiple objectives, Formal methods in system design, Springer, 2021.
|
[bibtex]
[issue]
|
Tim Quatmann, Joost-Pieter Katoen. Multi-objective Optimization of Long-run Average and Total Rewards, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), Volume 12651 of LNCS, 230-249, Springer, 2021.
|
[bibtex]
[issue]
|
Tobias Winkler, Maximilian Weininger. Stochastic Games with Disjunctions of Multiple Objectives, 12th International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Volume 346 of EPTCS, 85-100, NICTA, 2021.
|
[bibtex]
[issue]
|
Jip Josephine Spel, Sebastian Junges, Joost-Pieter Katoen. Finding Provably Optimal Markov Chains, 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021), Volume 12651 of LNCS, 173-190, Springer, 2021.
|
[bibtex]
[issue]
|
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A pre-expectation calculus for probabilistic sensitivity, Proceedings of the ACM on programming languages 5 (POPL), pages 52, Association for Computing Machinery, 2021.
|
[bibtex]
[issue]
|
Milan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-guided inductive synthesis for probabilistic systems, Formal aspects of computing 33 (4/5), pages 637-667, Springer, 2021.
|
[bibtex]
[issue]
|
Ira Justus Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte. Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars, 14th International Conference on Graph Transformation (ICGT21), Volume 12741 of LNCS, 283-293, Springer, 2021.
|
[bibtex]
[issue]
|
Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk. The probabilistic model checker STORM, International journal on software tools for technology transfer, 22 Seiten, Springer, 2021.
|
[bibtex]
[issue]
|
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. Latticed $k$-Induction with an Application to Probabilistic Programs, 33rd International Conference on Computer-Aided Verification (CAV 2021), Volume 12760 of LNCS, 524-549, Springer, 2021.
|
[bibtex]
[issue]
|
Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Scalable Reliability Analysis by Lazy Verification, The 13th NASA Formal Methods Symposium, Volume 12673, Programming and Software Engineering of LNCS, 180-197, Springer, 2021.
|
[bibtex]
[issue]
|
Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki. Synthesizing optimal bias in randomized self-stabilization, Distributed computing 35 (1), pages 37-57, Springer, 2021.
|
[bibtex]
[issue]
|
Joshua Moerman, Matteo Sammartino. Residuality and Learning for Nondeterministic Nominal Automata, 27 Seiten, 2021. https://arxiv.org/abs/1910.11666v4
|
Show all |
---|