Publikacje Book chapters (6) Weakest Preexpectation Semantics for Bayesian Inference Autorzy: Szymczak, Marcin; Katoen, Joost-Pieter Opublikowane w: Tutorial Lectures 5th International School on Engineering Trustworthy Software Systems, Issue 12154, 2019, Page(s) 44--121 Wydawca: Springer DOI: 10.1007/978-3-030-55089-9_3 Unbounded-Time Safety Verification of Stochastic Differential Dynamics Autorzy: Feng, Shenghua; Chen, Mingshuai; Xue, Bai; Sankaranarayanan, Sriram; Zhan, Naijun Opublikowane w: Computer Aided Verification : 32nd International Conference, CAV 2020, Issue 12225, 2020, Page(s) 327--348 Wydawca: Springer DOI: 10.18154/rwth-2020-07595 Counterexample-Driven Synthesis for Probabilistic Program Sketches Autorzy: Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen Opublikowane w: Formal Methods – The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings, Issue 11800, 2019, Page(s) 101-120, ISBN 978-3-030-30941-1 Wydawca: Springer International Publishing DOI: 10.1007/978-3-030-30942-8_8 The Quantitative Verification Benchmark Set Autorzy: Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters Opublikowane w: 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 I, Issue 11427, 2019, Page(s) 344-350, ISBN 978-3-030-17461-3 Wydawca: Springer International Publishing DOI: 10.1007/978-3-030-17462-0_20 Model Repair Revamped - — On the Automated Synthesis of Markov Chains — Autorzy: Milan Češka, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen Opublikowane w: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, Issue 11500, 2019, Page(s) 107-125, ISBN 978-3-030-31513-9 Wydawca: Springer International Publishing DOI: 10.1007/978-3-030-31514-6_7 Learning One-Clock Timed Automata Autorzy: Jie An, Mingshuai Chen, Bohua Zhan, Naijun Zhan, Miaomiao Zhang Opublikowane w: 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, Issue 12078, 2020, Page(s) 444-462, ISBN 978-3-030-45189-9 Wydawca: Springer International Publishing DOI: 10.1007/978-3-030-45190-5_25 Peer reviewed articles (11) Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming Autorzy: Qiuye Wang; Mingshuai Chen; Bai Xue; Naijun Zhan; Joost-Pieter Katoen Opublikowane w: Information and Computation, Issue 289, 2022, Page(s) 104965, ISSN 0890-5401 Wydawca: Academic Press DOI: 10.1016/j.ic.2022.104965 Weighted programming : a programming paradigm for specifying mathematical models Autorzy: Kevin Batz; Adrian Gallus; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Tobias Winkler Opublikowane w: Proceedings of the ACM on Programming Languages, Issue 2 (OOPSLA), 2022, Page(s) 1-30, ISSN 2475-1421 Wydawca: ACM DOI: 10.18154/rwth-2022-04445 A Calculus for Amortized Expected Runtimes Autorzy: Joost-Pieter Katoen; Christoph Matheja; Benjamin Lucien Kaminski; Kevin Batz; Lena Verscht Opublikowane w: ACM Proceedings on Programming Languages, Issue 7 (POPL), 2023, Page(s) 1957-1986, ISSN 2475-1421 Wydawca: ACM DOI: 10.1145/3571260 Synthesizing optimal bias in randomized self-stabilization Autorzy: Matthias Volk; Borzoo Bonakdarpour; Joost-Pieter Katoen; Saba Aflaki Opublikowane w: Distributed Computing, Issue 35(1), 2022, Page(s) 37-57, ISSN 0178-2770 Wydawca: Springer Verlag DOI: 10.1007/s00446-021-00408-4 Quantitative separation logic: a logic for reasoning about probabilistic pointer programs Autorzy: Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll Opublikowane w: Proceedings of the ACM on Programming Languages, Issue 3/POPL, 2019, Page(s) 1-29, ISSN 2475-1421 Wydawca: ACM DOI: 10.1145/3290347 Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control Autorzy: Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter N. Mosaad, Naijun Zhan Opublikowane w: Acta Informatica, 2020, ISSN 0001-5903 Wydawca: Springer Verlag DOI: 10.1007/s00236-020-00374-7 Aiming low is harder: induction for lower bounds in probabilistic program verification Autorzy: Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen Opublikowane w: Proceedings of the ACM on Programming Languages, Issue 4/POPL, 2020, Page(s) 1-28, ISSN 2475-1421 Wydawca: ACM DOI: 10.1145/3371105 Counterexample-guided inductive synthesis for probabilistic systems Autorzy: Milan Ceska; Christian Hensel; Sebastian Junges; Joost-Pieter Katoen Opublikowane w: Formal Aspects of Computing, Issue 33, 2021, Page(s) 637-667, ISSN 0934-5043 Wydawca: Springer Verlag DOI: 10.1007/s00165-021-00547-2 Residuality and Learning for Nondeterministic Nominal Automata Autorzy: Joshua Moerman; Matteo Sammartino Opublikowane w: Logical Methods in Computer Science, 2022, Page(s) 27, ISSN 1860-5974 Wydawca: Technischen Universitat Braunschweig DOI: 10.18154/rwth-2022-01946 Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning Autorzy: Kevin Batz; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja Opublikowane w: Proceedings of the ACM on Programming Languages, Issue 5 (POPL), 2021, Page(s) 1-30, ISSN 2475-1421 Wydawca: ACM DOI: 10.1145/3434320 The complexity of reachability in parametric Markov decision processes Autorzy: Sebastian Junges; Joost-Pieter Katoen; Guillermo A. Pérez; Tobias Winkler Opublikowane w: Journal of Computer and System Sciences, Issue 119, 2021, Page(s) 183-210, ISSN 0022-0000 Wydawca: Academic Press DOI: 10.1016/j.jcss.2021.02.006 Conference proceedings (15) PAYNT: A Tool for Inductive Synthesis of Probabilistic Programs Autorzy: Roman Andriushchenko; Milan Ceska; Sebastian Junges; Joost-Pieter Katoen; Simon Stupinsky Opublikowane w: Proceedings 33rd International Conference on Computer-Aided Verification (CAV), Issue 12759, 2021, Page(s) 856-869 Wydawca: Springer DOI: 10.1007/978-3-030-81685-8_40 Automated Termination Analysis of Polynomial Probabilistic Programs Autorzy: Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura Opublikowane w: Proceedings 30th European Symposium on Programming (ESOP), Issue 12648, 2021, Page(s) 491--518 Wydawca: Springer DOI: 10.1007/978-3-030-72019-3_18 Latticed k-Induction with an Application to Probabilistic Programs Autorzy: Kevin Batz; Mingshuai Chen; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja; Philipp Schröer Opublikowane w: Proceedings 33rd International Conference on Computer Aided Verification (CAV), Issue 12760, 2021, Page(s) 524-549 Wydawca: Springer DOI: 10.18154/rwth-2021-06838 Inductive Synthesis for Probabilistic Programs Reaches New Horizons Autorzy: Roman Andriushchenko; Milan Češka; Sebastian Junges; Joost-Pieter Katoen Opublikowane w: Proceedings 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Issue 12651, 2021, Page(s) 191-209 Wydawca: Springer DOI: 10.1007/978-3-030-72016-2_11 Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions Autorzy: Mingshuai Chen; Joost-Pieter Katoen; Lutz Klinkenberg; Tobias Winkler Opublikowane w: Proceedings 34th International Conference on Computer-Aided Verification (CAV), Issue 13371, 2022, Page(s) 79-101 Wydawca: Springer DOI: 10.1007/978-3-031-13185-1_5 The Probabilistic Termination Tool Amber Autorzy: Moosbrugger, Marcel; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura Opublikowane w: Proceedings 24th International Symposium on Formal Methods (FM), Issue 13047, 2021, Page(s) 667-675 Wydawca: Springer DOI: 10.1007/978-3-030-90870-6_36 Fine-Tuning the Odds in Bayesian Networks Autorzy: Bahare Salmani; Joost-Pieter Katoen Opublikowane w: Proceedings 16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Issue 12897, 2021, Page(s) 268-283 Wydawca: Springer DOI: 10.1007/978-3-030-86772-0_20 Foundations for Entailment Checking in Quantitative Separation Logic Autorzy: Kevin Batz; Ira Fesefeldt; Marvin Jansen; Joost-Pieter Katoen; Florian Kessler; Christoph Matheja; Thomas Noll Opublikowane w: Proceedings 31st European Symposium on Programming (ESOP), Issue 13240, 2022, Page(s) 57-84 Wydawca: Springer DOI: 10.1007/978-3-030-99336-8_3 PrIC3: Property Directed Reachability for MDPs Autorzy: Batz, Kevin; Junges, Sebastian; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp Opublikowane w: Computer Aided Verification : 32nd International Conference, CAV 2020, Issue 12225, 2020, Page(s) 512-538 Wydawca: Springer DOI: 10.48550/arxiv.2004.14835 Bayesian Inference by Symbolic Model Checking Autorzy: Bahare Salmani; Joost-Pieter Katoen Opublikowane w: Proceedings 17 International Conference Quantitative Evaluation of Systems (QEST), Issue 12289, 2020, Page(s) 115-133 Wydawca: Springer DOI: 10.1007/978-3-030-59854-9_9 Inductive synthesis of finite-state controllers for POMDPs Autorzy: Roman Andriushchenko; Milan Ceska; Sebastian Junges; Joost-Pieter Katoen Opublikowane w: Uncertainty in Artificial Intelligence, Proceedings of the 38th Conference on Uncertainty in Artificial Intelligence, UAI 2022, Issue 180, 2022, Page(s) 85--95 Wydawca: PMLR Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming Autorzy: Qiuye Wang; Mingshuai Chen; Bai Xue; Naijun Zhan; Joost-Pieter Katoen Opublikowane w: Proceedings 33rd International Conference on Computer-Aided Verification (CAV), Issue 12759, 2021, Page(s) 443-466 Wydawca: Springer DOI: 10.1007/978-3-030-81685-8_21 Separation and Renaming in Nominal Sets Autorzy: Moerman, Joshua; Rot, Jurriaan Opublikowane w: 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)<br/>Computer Science Logic, CSL 2020, Barcelona, Spain, 2020-01-13 - 2020-01-16, Issue 3, 2020, ISBN 978-3-95977-132-0 Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik DOI: 10.4230/LIPIcs.CSL.2020.31 Generating Functions for Probabilistic Programs Autorzy: Klinkenberg, Lutz; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Moerman, Joshua; Winkler, Tobias; Maribel Fernández Opublikowane w: Logic-Based Program Synthesis and Transformation, Issue 13, 2020, Page(s) 231-248 Wydawca: Springer DOI: 10.1007/978-3-030-68446-4_12 Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants Autorzy: Kevin Batz; Mingshuai Chen; Sebastian Junges; Benjamin Lucien Kaminski; Joost-Pieter Katoen; Christoph Matheja Opublikowane w: 29th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Issue 13994, 2023, Page(s) 410-429 Wydawca: Springer DOI: 10.1007/978-3-031-30820-8_25 Thesis dissertations (1) Advanced weakest precondition calculi for probabilistic programs Autorzy: Kaminski, Benjamin Lucien Opublikowane w: Aachen 1 Online-Ressource (xiv, 363 Seiten) : Illustrationen, Diagramme (2019). doi:10.18154/RWTH-2019-01829 = Dissertation, RWTH Aachen University, 2019, Issue 1, 2019 Wydawca: RWTH Aachen University, Germany DOI: 10.18154/RWTH-2019-01829 Wyszukiwanie danych OpenAIRE... Podczas wyszukiwania danych OpenAIRE wystąpił błąd Brak wyników
