| 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. |
| 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. |
| DOI | Shahid 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. |
| DOI | Joshua Moerman, Matteo Sammartino. Residuality and Learning for Nondeterministic Nominal Automata, 27 Seiten, 2021. |
| DOI | Mikolaj Bojanczyk, Bartek Klin, Joshua Moerman. Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata, Proceedings of the 36th annual ACM/IEEE symposium on logic in computer science, [1]-13, Association for Computing Machinery, 2021. |
| Alexander Nikolai Bork. Underapproximations for indefinite-horizon POMDPS, 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. |
| DOI | Christina Gehnen. Automata-based model checking of recursive systems, 1 Online-Ressource: Illustrationen, RWTH Aachen University, 2021. |
| 2020 |
|---|
| DOI | Tim Felix Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. IC3 software model checking, 135-161, Springer, 2020. |
| DOI | Christoph Matheja. Automated reasoning and randomization in separation logic, 1 Online-Ressource (x, 504 Seiten) : Illustrationen, Diagramme, 2020. |
| DOI | Sebastian Junges. Parameter synthesis in Markov models, 1 Online-Ressource (xv, 371 Seiten) : Illustrationen, 2020. |