E-LIB Suche - Ergebnisse für: Katoen, Joost-Pieter

1

Exact Bayesian Inference for Loopy Probabilistic Programs u..:

Klinkenberg, Lutz ; Blumenthal, Christian ; Chen, Mingshuai..
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 923-953 , 2024

Link: https://doi.org/10.1145/..

2

SAFEST: Fault Tree Analysis Via Probabilistic Model Checkin:

, In: 2024 Annual Reliability and Maintainability Symposium (RAMS),

Volk, Matthias ; Sher, Falak ; Katoen, Joost-Pieter. - p. 1-7 , 2024

Link: https://doi.org/10.1109/..

3

Programmatic Strategy Synthesis: Resolving Nondeterminism i..:

Batz, Kevin ; Biskup, Tom Jannik ; Katoen, Joost-Pieter.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 2792-2820 , 2024

Link: https://doi.org/10.1145/..

4

Parameter synthesis for Markov models: covering the paramet..:

Junges, Sebastian ; Ábrahám, Erika ; Hensel, Christian...
Formal Methods in System Design. 62 (2024) 1-3 - p. 181-259 , 2024

Link: https://doi.org/10.1007/..

5

Accurately Computing Expected Visiting Times and Stationary..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Mertens, Hannah ; Katoen, Joost-Pieter ; Quatmann, Tim. - p. 237-257 , 2024

Link: https://doi.org/10.1007/..

6

A Compositional Semantics of Boolean-Logic Driven Markov Pr..:

Khan, Shahid ; Katoen, Joost-Pieter ; Bouissou, Marc
IEEE Transactions on Dependable and Secure Computing. 21 (2024) 2 - p. 701-716 , 2024

Link: https://doi.org/10.1109/..

7

Certificates for Probabilistic Pushdown Automata via Optimi..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Winkler, Tobias ; Katoen, Joost-Pieter - p. 391-409 , 2023

Link: https://doi.org/10.1007/..

8

Lower Bounds for Possibly Divergent Probabilistic Programs:

Feng, Shenghua ; Chen, Mingshuai ; Su, Han...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 696-726 , 2023

Link: https://doi.org/10.1145/..

9

On Certificates, Expected Runtimes, and Termination in Prob..:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Winkler, Tobias ; Katoen, Joost-Pieter - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

10

Formal Methods: 25th International Symposium, FM 2023, Lübe..

Lecture Notes in Computer Science, 14000

Chechik, Marsha ; Katoen, Joost-Pieter ; Leucker, Martin - 1st ed. 2023 . , 2023

Link: https://doi.org/10.1007/..

11

Stochastic games with lexicographic objectives:

Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Mohr, Stefanie..
Formal Methods in System Design. , 2023

Link: https://doi.org/10.1007/..

12

A Calculus for Amortized Expected Runtimes:

Batz, Kevin ; Kaminski, Benjamin Lucien ; Katoen, Joost-Pieter..
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1957-1986 , 2023

Link: https://doi.org/10.1145/..

13

A Deductive Verification Infrastructure for Probabilistic P..:

Schröer, Philipp ; Batz, Kevin ; Kaminski, Benjamin Lucien..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 2052-2082 , 2023

Link: https://doi.org/10.1145/..

14

Search and Explore: Symbiotic Policy Synthesis in POMDPs:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Andriushchenko, Roman ; Bork, Alexander ; Češka, Milan... - p. 113-135 , 2023

Link: https://doi.org/10.1007/..

15

Conference Reports:

Katoen, Joost-Pieter
ACM SIGLOG News. 10 (2023) 4 - p. 41-41 , 2023

Link: https://doi.org/10.1145/..