Publications

2021
DOIJip Josephine Spel, Sebastian Junges, Joost-Pieter Katoen. Finding Provably Optimal Markov Chains, Tools and algorithms for the construction and analysis of systems : 27th international conference, TACAS 2021, held as part of the european joint conferences on theory and practice of software, ETAPS 2021, luxembourg city, luxembourg, march 27 - april 1, 2021, proceedings, part I, 173-190, Springer International Publishing, 2021.
DOIAlejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A pre-expectation calculus for probabilistic sensitivity, 52, Association for Computing Machinery, 2021.
DOIMilan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-guided inductive synthesis for probabilistic systems, 637-667, Springer, 2021.
DOIIra Justus Fesefeldt, Christoph Matheja, Thomas Noll, Johannes Schulte. Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars, Graph transformation : 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, june 24-25, 2021, proceedings, 283-293, Springer International Publishing, 2021.
DOIQiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen. Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming, Computer-aided verification : 33rd international conference, CAV 2021 : Virtual event july 20-23, 2021 : Proceedings / alexandra silva, alexandra and K. Rustan M. Leino (eds.). - Part I, 443-466, Springer, 2021.
DOIKevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. Latticed <span class="nocase">k</span>-Induction with an Application to Probabilistic Programs, Computer-aided verification : 33rd international conference, CAV 2021 : Virtual eventy july 20-23, 2021 : Proceedings / alexandra silva, alexandra and K. Rustan M. Leino (eds.). - Part II, 524-549, Springer, 2021.
Domenic Quirl. IDE-Ready parsing of compile-time dynamic languages, 2021.
DOITobias Winkler, Maximilian Weininger. Stochastic Games with Disjunctions of Multiple Objectives, Proceedings of the 12th international symposium on games, automata, logics, and formal verification : Padua, italy, 20-22 september 2021 / edited by: Pierre ganty and davide bresolin, 85-100, NICTA, 2021.
DOIArnd Hartmanns, Joost-Pieter Katoen, Bram Kohlen, Jip Josephine Spel. Tweaking the Odds in Probabilistic Timed Automata, Quantitative evaluation of systems : 18th international conference, QEST 2021 paris, france, august 23–27, 2021 : Proceedings / alessandro abate, andrea marin (eds.), 39-58, Springer, 2021.
DOIBahare Salmani Barzoki, Joost-Pieter Katoen. Fine-Tuning the Odds in Bayesian Networks, Symbolic and quantitative approaches to reasoning with uncertainty : 16th european conference, ECSQARU 2021, prague, czech republic, september 21-24, 2021 : proceedings / jirina vejnarova, nic wilson (eds.), 268-283, Springer, 2021.
Patrick Arens. Weakest-preexpectation proof rules for disjoint concurrent probabilistic programs, 2021.
Marvin Jansen. Decidability and complexity of entailment checking in quantitative separation logic, 2021.
DOIRoman Andriushchenko, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Šimon Stupinský. PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs, Computer-aided verification : 33rd international conference, CAV 2021 : Virtual event july 20-23, 2021 : Proceedings / alexandra silva, alexandra and K. Rustan M. Leino (eds.). - Part I, 856-869, Springer, 2021.
DOICarlos 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, Leveraging applications of formal methods, verification and validation : Tools and trends : 9th international symposium on leveraging applications of formal methods, ISoLA 2020, rhodes, greece, october 20–30, 2020, proceedings, part IV / edited by tiziana margaria, bernhard steffen, 216-241, Springer International Publishing ; Cham : Imprint: Springer, 2021.
DOIShahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou. Model Checking the Multi-Formalism Language FIGARO, 51st annual IEEE/IFIP international conference on dependable systems and networks : DSN 2021 : proceedings : 21-24 june 2021, virtual event / general chairs: Sy-yen kuo (national taiwan university, taiwan), yennun huang (academia sinica, taiwan) ; publication chairs: Chi-yi lin (tamkang university, taiwan), yao-hsin chou (national chi nan university, taiwan) ; publisher: IEEE, 463-470, IEEE, 2021.
DOIMuhammad Hannan Khan, Osman Hassan, Shahid Khan. Accelerating SpMV Multiplication in Probabilistic Model Checkers Using GPUs, Theoretical aspects of computing - ICTAC 2021 : 18th international colloquium, virtual event, nur-sultan, kazakhstan, september 8-10, 2021 : proceedings / antonio cerone, peter csaba ölveczky (eds.), 86-104, Springer, 2021.
DOISascha Müller, Adeline Jordon, Andreas Gerndt, Thomas Noll. A Modular Approach to Non-deterministic Dynamic Fault Trees, Computer safety, reliability, and security : 40th international conference, SAFECOMP 2021, york, UK, september 8–10, 2021, proceedings / edited by ibrahim habli, mark sujan, friedemann bitsch, 243-257, Springer International Publishing, 2021.
DOIAlexander Hoppen, Thomas Noll. A Debugger for Probabilistic Programs, Software engineering and formal methods : 19th international conference, SEFM 2021, virtual event, december 6–10, 2021, proceedings / edited by radu calinescu, corina S. Păsăreanu, 282-289, Springer, 2021.
DOIMartin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Probabilistic Data with Continuous Distributions, 69-76, Association for Computing Machinery, 2021.
DOIMarcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. The Probabilistic Termination Tool Amber, Formal methods : 24th international symposium, FM 2021, virtual event, november 20–26, 2021, proceedings / marieke huisman, corina păsăreanu, naijun zhan (eds.), 667-675, Springer, 2021.
DOIMarcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. Automated Termination Analysis of Polynomial Probabilistic Programs, Programming languages and systems : 30th european symposium on programming, ESOP 2021, held as part of the european joint conferences on theory and practice of software, ETAPS 2021, luxembourg city, luxembourg, march 27-april 1, 2021: proceedings / peter müller (ed.), 491-518, Springer, 2021.
Fabian Gasser. Analysis of concurrent probabilistic programs with shared variables, 27 Seiten, 2021.
DOIShahid Khan, Joost-Pieter Katoen. Synergising Reliability Modelling Languages : BDMPs and Repairable DFTs, 2021 IEEE 26th pacific rim international symposium on dependable computing : PRDC 2021 : proceedings : 1-4 december 2021, perth, australia / publisher: IEEE, 113-122, IEEE, 2021.
DOIShahid 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) : proceedings : virtual conference, 22-26 november 2021 / publisher: IEEE ; general chair: Antônio augusto fröhlich (UFSC), publication chair: Augusto josé venâncio neto (UFRN), IEEE, 2021.
DOIShahid Khan, Joost-Pieter Katoen, Matthias Volk, Marc Bouissou. Scalable Reliability Analysis by Lazy Verification, NASA formal methods : 13th international symposium, NFM 2021, virtual event, may 24–28, 2021 : proceedings / aaron dutle, mariano M. Moscato, laura titolo, césar a. Muñoz, ivan perez (eds.), 180-197, Springer, 2021.