| 2020 |
|---|
| DOI | Sascha Müller, Liana Mikaelyan, Andreas Gerndt, Thomas Noll. Synthesizing and optimizing FDIR recovery strategies from fault trees,
102478, Elsevier Science, 2020. |
| Alexander Hoppen. Design and implementation of an interactive exploration tool for probabilistic programs,
124 Seiten, 2020. |
| Christopher Brix. Proving Non-Existence of Imperceptible Adversarial Examples in Deep Neural Networks Using Symbolic Propagation With Error Bounds,
2020. |
| DOI | Linus Heck. Gradient descent on parametric Markov Chains,
31 Seiten, 2020. |
| DOI | Joshua Moerman, Matteo Sammartino. Residual Nominal Automata,
31st international conference on concurrency theory : CONCUR 2020, september 1-4, 2020, vienna, austria (virtual conference) / edited by igor konnov, laura kovács, 44:1-44:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, August, 2020. |
| DOI | Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs,
2020. |
| DOI | Mohamed Khalifa. Implementation of a Predicate-Guided Termination Analysis for Pointer Programs,
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 | 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. |
| 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. |
| DOI | Daniel Basgöze. Dynamic fault tree analysis using binary decision diagrams,
76 Seiten, 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. |