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

1

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/..

2

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/..

3

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/..

4

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/..

5

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/..

6

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/..

7

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/..

8

Conference Reports:

Katoen, Joost-Pieter
ACM SIGLOG News. 10 (2023) 4 - p. 41-41 , 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

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/..

11

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/..

12

Stochastic games with lexicographic objectives:

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

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

13

Generative Datalog with Continuous Distributions:

Grohe, Martin ; Kaminski, Benjamin Lucien ; Katoen, Joost-pieter.
Journal of the ACM. 69 (2022) 6 - p. 1-52 , 2022

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

14

Weighted programming: a programming paradigm for specifying..:

Batz, Kevin ; Gallus, Adrian ; Kaminski, Benjamin Lucien..
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA1 - p. 1-30 , 2022

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

15

Reasoning about distributed reconfigurable systems:

Ahrens, Emma ; Bozga, Marius ; Iosif, Radu.
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 145-174 , 2022

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