| 2020 |
|---|
| Adrian Gallus. RPrIC3: PrIC3 for expected rewards, 2020. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Relatively Complete Verification of Probabilistic Programs, 49 Seiten, 2020. |
| Joost-Pieter Katoen, Martin Ritzert, Richard Marlon Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, Helene-Maria Bolke-Hermanns. UnRAVeL Research Training Group : Uncertainty and Randomness in Algorithms, Verification, and Logic, 85 Seiten, 2020. |
| Bram Kohlen. Parameter synthesis in probabilistic timed automata, 91 Seiten, 2020. |
| DOI | Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickael Randour. Life is Random, Time is Not : Markov Decision Processes with Window Objectives, 13, Department of Theoretical Computer Science, Technical University of Braunschweig, 2020. |
| DOI | Marcin Szymczak, Joost-Pieter Katoen. Weakest Preexpectation Semantics for Bayesian Inference : Conditioning, Continuous Distributions and Divergence, Engineering trustworthy software systems : 5th international school, SETSS 2019, chongqing, china, april 21-27, 2019 : tutorial lectures / jonathan P. Bowen, zhiming liu, zili zhang (eds.), 44-121, Springer, 2020. |
| DOI | Mojgan Kamali, Joost-Pieter Katoen. Probabilistic Model Checking of AODV, Quantitative evaluation of systems : 17th international conference, QEST 2020, vienna, austria, august 31 - september 3, 2020 : proceedings / marco gribaudo, david N. Jansen, anne remke (eds.), 54-73, Springer, 2020. |
| DOI | Jan Švejda, Philipp Berger, Joost-Pieter Katoen. Interpretation-Based Violation Witness Validation for C : NITWIT, Tools and algorithms for the construction and analysis of systems : 26th international conference, TACAS 2020, held as part of the european joint conferences on theory and practice of software, ETAPS 2020, dublin, ireland, april 25–30, 2020, proceedings, part I / edited by armin biere, david parker, 40-57, Springer International Publishing, 2020. |
| DOI | Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen. Benchmarking Software Model Checkers on Automotive Code, NASA formal methods : 12th international symposium, NFM 2020, moffett field, CA, USA, may 11-15, 2020 : proceedings / ritchie lee, susmit jha, anastasia mavridou (eds.), 133-150, Springer, 2020. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou. Explaining Boolean-Logic Driven Markov Processes using GSPNs, 16th european dependable computing conference : EDCC 2020 : virtual conference, 7-10 september 2020 : proceedings / general chairs: Michael paulitsch (intel, germany), mario trapp (fraunhofer IKS, germany) ; publisher: IEEE, 119-126, IEEE, 2020. |
| DOI | Shahid Khan, Joost-Pieter Katoen, Marc Bouissou. A Compositional Semantics for Repairable BDMPs, Computer safety, reliability, and security : 39th international conference, SAFECOMP 2020, lisbon, portugal, september 16-18, 2020 : proceedings / antónio casimiro, frank ortmeier, friedemann bitsch, pedro ferreira (eds.), 82-98, Springer, 2020. |
| DOI | Alexander Nikolai Bork, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Verification of Indefinite-Horizon POMDPs, Automated technology for verification and analysis : 18th international symposium, ATVA 2020, hanoi, vietnam, october 19-23, 2020 : proceedings / dang van hung, oleg sokolsky (eds.), 288-304, Springer, 2020. |
| DOI | Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. PrIC3: Property Directed Reachability for MDPs, Computer aided verification : 32nd international conference, CAV 2020, los angeles, CA, USA, july 21-24, 2020 : Proceedings, part II / shuvendu K. Lahiri, chao wang (eds), 512-538, Springer, 2020. |
| Lars Beckers. A petri net semantics for boolean-logic driven markov processes, 55 Seiten, 2020. |
| DOI | Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal. Various Ways to Quantify BDMPs, 2020. |
| Robin Drahovsky. Parameter synthesis in bayesian networks, 2020. |
| Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Verifying Probabilistic Programs, Quantitative evaluation of systems : 17th international conference, QEST 2020, vienna, austria, august 31 - september 3, 2020 : proceedings / marco gribaudo, david N. Jansen, anne remke (eds.), 298-298, Springer, 2020. |
| DOI | Daniel Basgöze. Dynamic fault tree analysis using binary decision diagrams, 76 Seiten, 2020. |
| DOI | Bahare Salmani Barzoki, Joost-Pieter Katoen. Bayesian Inference by Symbolic Model Checking, Quantitative evaluation of systems : 17th international conference, QEST 2020, vienna, austria, august 31 - september 3, 2020 : proceedings / marco gribaudo, david N. Jansen, anne remke (eds.), 115-133, Springer, 2020. |
| 2019 |
|---|
| DOI | Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. On the hardness of analyzing probabilistic programs, 255-285, Springer, 2019. |
| DOI | Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative separation logic: a logic for reasoning about probabilistic pointer programs, 34, ACM, 2019. |
| DOI | Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Safety analysis for vehicle guidance systems with dynamic fault trees, 37-50, Elsevier Science, 2019. |
| DOI | Benjamin Lucien Kaminski. Advanced weakest precondition calculi for probabilistic programs, 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme, 2019. |
| DOI | Liana Mikaelyan, Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees, Formal techniques for safety-critical systems : 6th international workshop, FTSCS 2018, gold coast, australia, november 16, 2018 : revised selected papers / cyrille artho, peter csaba ölveczky, editors, 37-54, Springer, 2019. |
| DOI | Ernst Moritz Hahn, Arnd Hartmanns, Hans Christian Hensel, Michaela Klauck, Joachim Klein, Jan Křetínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models : (QComp 2019 Competition Report), Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, held as part of the european joint conferences on theory and practice of software, ETAPS 2019, prague, czech republic, april 6-11, 2019 : proceedings. - Part 3: 25 years of TACAS: TOOLympics : held as part of ETAPS 2019, prague, czech republic, april 6-11, 2019 : proceedings / dirk beyer, marieke huisman, fabrice kordon, bernhard steffen (eds.), 69-92, Springer Open, 2019. |