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

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

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

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

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

6

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

7

Natural Strategic Ability in Stochastic Multi-Agent Systems:

Berthon, Raphaël ; Katoen, Joost-Pieter ; Mittelmann, Munyque.
http://arxiv.org/abs/2401.12170. , 2024

Link: http://arxiv.org/abs/240..

8

Scalable Analysis of Probabilistic Models and Programs (Dag..:

Junges, Sebastian ; Katoen, Joost-Pieter ; Sanner, Scott..
Is Part Of Dagstuhl Reports, Volume 13, Issue 6 (2024). , 2024

Link: https://doi.org/10.4230/..

9

Accurately Computing Expected Visiting Times and Stationary..:

Mertens, Hannah ; Katoen, Joost-Pieter ; Quatmann, Tim.
http://arxiv.org/abs/2401.10638. , 2024

Link: http://arxiv.org/abs/240..

10

Monotonicity in Markov models

Aachen, RWTH Aachen University, 2023

Spel, Jip , 2023

Link: https://nbn-resolving.de..

11

Synthesizing FDIR recovery strategies for space systems:

Müller, Sascha , 2023

Link: https://nbn-resolving.de..

12

Verification of multi-objective Markov models

Aachen, RWTH Aachen University, 2023

Quatmann, Tim , 2023

Link: https://nbn-resolving.de..

13

Conference Reports:

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

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

14

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

15

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