| 2021 |
|---|
| DOI | Tim Quatmann, Joost-Pieter Katoen. Multi-objective Optimization of Long-run Average and Total Rewards,
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, 230-249, Springer International Publishing, 2021. |
| DOI | Jip 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. |
| DOI | Alejandro 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. |
| DOI | Milan Češka, Hans Christian Hensel, Sebastian Junges, Joost-Pieter Katoen. Counterexample-guided inductive synthesis for probabilistic systems,
637-667, Springer, 2021. |
| DOI | Ira 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. |
| DOI | Qiuye 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. |
| DOI | Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. Latticed k-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. |
| DOI | Tobias 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. |
| DOI | Arnd 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. |
| DOI | Bahare 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. |
| DOI | Roman 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. |
| DOI | 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,
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. |
| DOI | Shahid 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. |
| DOI | Muhammad 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. |
| DOI | Sascha 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. |
| DOI | Alexander 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. |
| DOI | Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Probabilistic Data with Continuous Distributions,
69-76, Association for Computing Machinery, 2021. |
| DOI | Marcel 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. |
| DOI | Marcel 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. |
| DOI | Shahid 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. |
| DOI | 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) : 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. |