I agree that this site is using cookies. You can find further informations here.
X
Katoen, Joost-Pieter
98  results:
Articles (Online) X
Search for persons X
?
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

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

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

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

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

Conference Reports:

Katoen, Joost-Pieter
ACM SIGLOG News.  10 (2023)  4 - p. 41-41 , 2023
Link: https://doi.org/10.1145/..
 
?
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

Stochastic games with lexicographic objectives:

Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Mohr, Stefanie..
Formal Methods in System Design.  , 2023
Link: https://doi.org/10.1007/..
 
?
10

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

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

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

Scenario-based verification of uncertain parametric MDPs:

Badings, Thom ; Cubuktepe, Murat ; Jansen, Nils...
International Journal on Software Tools for Technology Transfer.  24 (2022)  5 - p. 803-819 , 2022
Link: https://doi.org/10.1007/..
 
?
14

Encoding inductive invariants as barrier certificates: Synt..:

Wang, Qiuye ; Chen, Mingshuai ; Xue, Bai..
Information and Computation.  289 (2022)  - p. 104965 , 2022
Link: https://doi.org/10.1016/..
 
?
15

The probabilistic termination tool amber:

Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter.
Formal Methods in System Design.  61 (2022)  1 - p. 90-109 , 2022
Link: https://doi.org/10.1007/..
 
1-15