Joost-Pieter Katoen

katoen-2
Email
katoen at cs.rwth-aachen.de
Address
Room 4201
Ahornstraße 55
D-52074 Aachen
Phone
+49 241 80 21200

Please visit my personal page in the web

2023
fulltext PDF [bibtex]
@unpublished{EPIUGF2023,
title = {Exact Probabilistic Inference Using Generating Functions},
author = {Lutz Klinkenberg and Tobias Winkler and Mingshuai Chen and Joost-Pieter Katoen},
type = {Preprint},
year = {2023},
url = { https://publications.rwth-aachen.de/record/862300},
}×
[issue] 		Lutz Klinkenberg, Tobias Winkler, Mingshuai Chen, Joost-Pieter Katoen. Exact Probabilistic Inference Using Generating Functions, 2023.
DOI fulltext PDF [bibtex]
@article{ACAER2023,
title = {A Calculus for Amortized Expected Runtimes},
author = {Kevin Batz and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja and Lena Verscht},
publisher = {ACM},
journal = {Proceedings of the ACM on programming languages},
volume = {7(POPL)},
pages = {pages 67},
type = {Journal Article},
year = {2023},
doi = {10.1145/3571260},
url = { https://publications.rwth-aachen.de/record/889639},
}×
[issue] 		Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht. A Calculus for Amortized Expected Runtimes, Proceedings of the ACM on programming languages 7 (POPL), pages 67, ACM, 2023.
DOI fulltext PDF [bibtex]
@article{S2023,
title = {Stochastic games with lexicographic objectives},
author = {Krishnendu Chatterjee and Joost-Pieter Katoen and Stefanie Mohr and Maximilian Weininger and Tobias Winkler},
publisher = {Springer},
journal = {Formal methods in system design},
pages = {41 Seiten},
type = {Journal Article},
year = {2023},
doi = {10.1007/s10703-023-00411-4},
url = { https://publications.rwth-aachen.de/record/954240},
}×
[issue] 		Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler. Stochastic games with lexicographic objectives, Formal methods in system design, 41 Seiten, Springer, 2023.
DOI [bibtex]
@conference{PPVISII2023,
title = {Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants},
author = {Kevin Batz and Mingshuai Chen and Sebastian Junges and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja},
booktitle = {LNCS},
volume = {13994},
type = {Conference Paper},
year = {2023},
doi = {10.1007/978-3-031-30820-8_25},
url = { https://publications.rwth-aachen.de/record/957952},
}×
[issue] 		Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants, Tools and Algorithms for the Construction and Analysis of Systems, Volume 13994 of LNCS, 2023.
DOI fulltext PDF [bibtex]
@article{LBPDPP2023,
title = {Lower Bounds for Possibly Divergent Probabilistic Programs},
author = {Shenghua Feng and Mingshuai Chen and Han Su and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Naijun Zhan},
publisher = {ACM},
journal = {Proceedings of the ACM on programming languages},
volume = {7(OOPSLA1)},
pages = {pages 99},
type = {Journal Article},
year = {2023},
doi = {10.1145/3586051},
url = { https://publications.rwth-aachen.de/record/958360},
}×
[issue] 		Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Naijun Zhan. Lower Bounds for Possibly Divergent Probabilistic Programs, Proceedings of the ACM on programming languages 7 (OOPSLA1), pages 99, ACM, 2023.
2022
DOI fulltext PDF [bibtex]
@book{NWIR2022,
title = {Nachhaltigen Wandel gestalten: Innovationsimpulse der RWTH},
author = {Thorsten Karbach and Agnes Förster and Eva Christine Strobel and Stefan Karl Josef Böschen and Peter Letmathe and Elisabeth Clausen and Rik W. de Doncker and Peter Lürkens and Albert Moser and Aaron Jonathan Praktiknjo and Fabian Roemer and Andreas Ulbig and Rainer Dahlmann and Thomas Fischöder and Stefanie Gottuck and Jürgen Klankermeyer and Felix Kunz and Regina Palkovits and Stefan Sterlepper and Peter Quicker and Matthias Jarke and Max C. Lemme and Saskia K. Nagel and Joost-Pieter Katoen and Rainer Waser and Matthias Brockmann and Melanie Sarah Katharina Buchsbaum and Christian Rüdiger Hinke and Patrick Mattfield and Edgar Dahl and Fabian Kiessling and Holger Jahr and Jonas Gesenhues and Joachim Jankowski and Mare Mechelinck and Heidi Noels and Irene Neuner and Rolf Rossaint and Stefan Uhlig and Tanja Veselinović and Emiel van der Vorst and Maximilian Alfons Voshage and Dirk Abel and Claus Bonerz and Lutz Eckstein and Bastian Lehrheuer and Micha Lesemann and Tobias Ostermann and René Zweigel and Benjamin Daniels and Frank Lehmkuhl and Michael Leuchner and Frank Lohrberg and Henry Riße and Martina Roß-Nickoll and Thomas Josef Wintgens},
publisher = {RWTH Aachen University},
pages = {145 Seiten : Illustrationen},
type = {Book},
year = {2022},
doi = {10.18154/RWTH-2021-11153},
url = { https://publications.rwth-aachen.de/record/836209},
}×
[issue] 		Alena Beatrice Cohrs, Jose Miguel Sanchez-Molero Martinez, Maren Paegert, Thorsten Karbach, Agnes Förster, Eva Christine Strobel, Stefan Karl Josef Böschen, Peter Letmathe, Elisabeth Clausen, Rik W. de Doncker, Peter Lürkens, Albert Moser, Aaron Jonathan Praktiknjo, Fabian Roemer, Andreas Ulbig, Rainer Dahlmann, Thomas Fischöder, Stefanie Gottuck, Jürgen Klankermeyer, Felix Kunz, Regina Palkovits, Stefan Sterlepper, Peter Quicker, Matthias Jarke, Max C. Lemme, Saskia K. Nagel, Joost-Pieter Katoen, Rainer Waser, Matthias Brockmann, Melanie Sarah Katharina Buchsbaum, Christian Rüdiger Hinke, Patrick Mattfield, Edgar Dahl, Fabian Kiessling, Holger Jahr, Jonas Gesenhues, Joachim Jankowski, Mare Mechelinck, Heidi Noels, Irene Neuner, Rolf Rossaint, Stefan Uhlig, Tanja Veselinović, Emiel van der Vorst, Maximilian Alfons Voshage, Dirk Abel, Claus Bonerz, Lutz Eckstein, Bastian Lehrheuer, Micha Lesemann, Tobias Ostermann, René Zweigel, Benjamin Daniels, Frank Lehmkuhl, Michael Leuchner, Frank Lohrberg, Henry Riße, Martina Roß-Nickoll, Thomas Josef Wintgens. Nachhaltigen Wandel gestalten: Innovationsimpulse der RWTH, 145 Seiten : Illustrationen, RWTH Aachen University, 2022.
DOI [bibtex]
@conference{OCRPMCSE2022,
title = {Out of Control: Reducing Probabilistic Models by Control-State Elimination},
author = {Tobias Winkler and Johannes Lehmann and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {13182, Theoretical Computer Science and General Issues},
pages = {450-472},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-030-94583-1_22},
url = { https://publications.rwth-aachen.de/record/838775},
}×
[issue] 		Tobias Winkler, Johannes Lehmann, Joost-Pieter Katoen. Out of Control: Reducing Probabilistic Models by Control-State Elimination, 23. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022), Volume 13182, Theoretical Computer Science and General Issues of LNCS, 450-472, Springer, 2022.
DOI [bibtex]
@conference{GDRCUPO2022,
title = {Gradient-Descent for Randomized Controllers Under Partial Observability},
author = {Linus Heck and Jip Josephine Spel and Sebastian Junges and Joshua Moerman and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {13182, Theoretical Computer Science and General Issues},
pages = {127-150},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-030-94583-1_7},
url = { https://publications.rwth-aachen.de/record/841719},
}×
[issue] 		Linus Heck, Jip Josephine Spel, Sebastian Junges, Joshua Moerman, Joost-Pieter Katoen. Gradient-Descent for Randomized Controllers Under Partial Observability, 23. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022), Volume 13182, Theoretical Computer Science and General Issues of LNCS, 127-150, Springer, 2022.
DOI fulltext PDF [bibtex]
@conference{MCTPRPP2022,
title = {Model Checking Temporal Properties of Recursive Probabilistic Programs},
author = {Tobias Winkler and Christina Gehnen and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {13242},
pages = {449-469},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-030-99253-8_23},
url = { https://publications.rwth-aachen.de/record/843600},
}×
[issue] 		Tobias Winkler, Christina Gehnen, Joost-Pieter Katoen. Model Checking Temporal Properties of Recursive Probabilistic Programs, Foundations of Software Science and Computation Structures : 25. International Conference (FOSSACS 2022), Volume 13242 of LNCS, 449-469, Springer, 2022.
DOI fulltext PDF [bibtex]
@conference{FECQSL2022,
title = {Foundations for Entailment Checking in Quantitative Separation Logic},
author = {Kevin Batz and Ira Justus Fesefeldt and Marvin Jansen and Joost-Pieter Katoen and Florian Keßler and Christoph Matheja and Thomas Noll},
publisher = {Springer},
booktitle = {LNCS},
volume = {13240},
pages = {57-84},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-030-99336-8_3},
url = { https://publications.rwth-aachen.de/record/843799},
}×
[issue] 		Kevin Batz, Ira Justus Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll. Foundations for Entailment Checking in Quantitative Separation Logic, 31. European Symposium on Programming (ESOP 2022), Volume 13240 of LNCS, 57-84, Springer, 2022.
DOI fulltext PDF [bibtex]
@article{D2022,
title = {DFT modeling approach for operational risk assessment of railway infrastructure},
author = {Norman Weik and Matthias Volk and Joost-Pieter Katoen and Nils Nießen},
publisher = {Springer},
journal = {International journal on software tools for technology transfer},
volume = {24(3)},
pages = {pages 331-350},
type = {Journal Article},
year = {2022},
doi = {10.1007/s10009-022-00652-4},
url = { https://publications.rwth-aachen.de/record/844073},
}×
[issue] 		Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen. DFT modeling approach for operational risk assessment of railway infrastructure, International journal on software tools for technology transfer 24 (3), pages 331-350, Springer, 2022.
DOI fulltext PDF [bibtex]
@conference{UAETRP2022,
title = {Under-Approximating Expected Total Rewards in POMDPs},
author = {Alexander Nikolai Bork and Joost-Pieter Katoen and Tim Quatmann},
publisher = {Springer},
booktitle = {LNCS},
volume = {13244},
pages = {22-40},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-030-99527-0_2},
url = { https://publications.rwth-aachen.de/record/844526},
}×
[issue] 		Alexander Nikolai Bork, Joost-Pieter Katoen, Tim Quatmann. Under-Approximating Expected Total Rewards in POMDPs, 28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022), Volume 13244 of LNCS, 22-40, Springer, 2022.
DOI fulltext PDF [bibtex]
@article{W2022,
title = {Weighted programming: a programming paradigm for specifying mathematical models},
author = {Kevin Batz and Adrian Gallus and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Tobias Winkler},
publisher = {ACM},
journal = {Proceedings of the ACM on programming languages},
pages = {pages 66},
type = {Journal Article},
year = {2022},
doi = {10.1145/3527310},
url = { https://publications.rwth-aachen.de/record/845157},
}×
[issue] 		Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler. Weighted programming: a programming paradigm for specifying mathematical models, Proceedings of the ACM on programming languages, pages 66, ACM, 2022.
DOI fulltext PDF [bibtex]
@conference{DPYRDVPPGF2022,
title = {Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions},
author = {Mingshuai Chen and Joost-Pieter Katoen and Lutz Klinkenberg and Tobias Winkler},
publisher = {Springer},
booktitle = {LNCS},
volume = {13371},
pages = {79-101},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-13185-1_5},
url = { https://publications.rwth-aachen.de/record/848175},
}×
[issue] 		Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler. Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions, 34. International Conference on Computer Aided Verification (CAV 2022), Volume 13371 of LNCS, 79-101, Springer, 2022.
DOI [bibtex]
@conference{CBCMC2022,
title = {Configurable Benchmarks for C Model Checkers},
author = {Xaver Fink and Philipp Berger and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {13260},
pages = {338-354},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-06773-0_18},
url = { https://publications.rwth-aachen.de/record/848928},
}×
[issue] 		Xaver Fink, Philipp Berger, Joost-Pieter Katoen. Configurable Benchmarks for C Model Checkers, 14. International Symposium NASA Formal Methods (NFM 2022), Volume 13260 of LNCS, 338-354, Springer, 2022.
DOI fulltext PDF [bibtex]
@conference{TCQSL2022,
title = {Towards Concurrent Quantitative Separation Logic},
author = {Ira Justus Fesefeldt and Joost-Pieter Katoen and Thomas Noll},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
booktitle = {LIPIcs - Leibniz International Proceedings in Informatics},
volume = {243},
pages = {25:1-25:24},
type = {Conference Paper},
year = {2022},
doi = {10.4230/LIPICS.CONCUR.2022.25},
url = { https://publications.rwth-aachen.de/record/853299},
}×
[issue] 		Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic, 33. International Conference on Concurrency Theory (CONCUR 2022), Volume 243 of LIPIcs - Leibniz International Proceedings in Informatics, 25:1-25:24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
DOI arXiv:2207.02822 fulltext PDF [bibtex]
@unpublished{TCQSL2022,
title = {Towards Concurrent Quantitative Separation Logic},
author = {Ira Justus Fesefeldt and Joost-Pieter Katoen and Thomas Noll},
pages = {[1]-62},
type = {Preprint},
year = {2022},
doi = {10.18154/RWTH-2022-08799},
url = { https://arxiv.org/abs/2207.02822},
}×
[issue] 		Ira Justus Fesefeldt, Joost-Pieter Katoen, Thomas Noll. Towards Concurrent Quantitative Separation Logic, [1]-62, 2022. https://arxiv.org/abs/2207.02822
DOI [bibtex]
@article{ES2022,
title = {Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming},
author = {Qiuye Wang and Mingshuai Chen and Bai Xue and Naijun Zhan and Joost-Pieter Katoen},
publisher = {Elsevier},
journal = {Information and computation},
volume = {289(A)},
pages = {pages 104965},
type = {Journal Article},
year = {2022},
doi = {10.1016/j.ic.2022.104965},
url = { https://publications.rwth-aachen.de/record/853946},
}×
[issue] 		Qiuye Wang, Mingshuai Chen, Bai Xue, Naijun Zhan, Joost-Pieter Katoen. Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming, Information and computation 289 (A), pages 104965, Elsevier, 2022.
DOI [bibtex]
@conference{PCOB2022,
title = {POMDP Controllers with Optimal Budget},
author = {Jip Josephine Spel and Svenja Maria Stein and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {13479},
pages = {107-130},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-16336-4_6},
url = { https://publications.rwth-aachen.de/record/854105},
}×
[issue] 		Jip Josephine Spel, Svenja Maria Stein, Joost-Pieter Katoen. POMDP Controllers with Optimal Budget, 19. International Conference on Quantitative Evaluation of SysTems (QEST 2022), Volume 13479 of LNCS, 107-130, Springer, 2022.
DOI fulltext PDF [bibtex]
@article{SM2022,
title = {Scenario-based verification of uncertain parametric MDPs},
author = {Thom Badings and Murat Cubuktepe and Nils Jansen and Sebastian Junges and Joost-Pieter Katoen and Ufuk Topcu},
publisher = {Springer},
journal = {International journal on software tools for technology transfer},
volume = {24(5)},
pages = {pages 803-8019},
type = {Journal Article},
year = {2022},
doi = {10.1007/s10009-022-00673-z},
url = { https://publications.rwth-aachen.de/record/854160},
}×
[issue] 		Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Scenario-based verification of uncertain parametric MDPs, International journal on software tools for technology transfer 24 (5), pages 803-8019, Springer, 2022.
DOI [bibtex]
@article{GDCD2022,
title = {Generative Datalog with Continuous Distributions},
author = {Martin Grohe and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Peter Lindner},
publisher = {ACM},
journal = {Journal of the ACM},
volume = {69(6)},
pages = {pages 46},
type = {Journal Article},
year = {2022},
doi = {10.1145/3559102},
url = { https://publications.rwth-aachen.de/record/861295},
}×
[issue] 		Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Generative Datalog with Continuous Distributions, Journal of the ACM 69 (6), pages 46, ACM, 2022.
DOI [bibtex]
@article{COPSM2022,
title = {Convex Optimization for Parameter Synthesis in MDPs},
author = {Murat Cubuktepe and Nils Jansen and Sebastian Junges and Joost-Pieter Katoen and Ufuk Topcu},
publisher = {Institute of Electrical and Electronics Engineers},
journal = {IEEE transactions on automatic control},
volume = {67(12)},
pages = {pages 6333-6348},
type = {Journal Article},
year = {2022},
doi = {10.1109/TAC.2021.3133265},
url = { https://publications.rwth-aachen.de/record/888868},
}×
[issue] 		Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Convex Optimization for Parameter Synthesis in MDPs, IEEE transactions on automatic control 67 (12), pages 6333-6348, Institute of Electrical and Electronics Engineers, 2022.
DOI [bibtex]
@conference{BSBEASDFT2022,
title = {BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees},
author = {Daniel Basgöze and Matthias Volk and Joost-Pieter Katoen and Shahid Khan and Marielle Stoelinga},
publisher = {Springer},
booktitle = {LNCS},
volume = {13260},
pages = {713-732},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-06773-0_38},
url = { https://publications.rwth-aachen.de/record/951563},
}×
[issue] 		Daniel Basgöze, Matthias Volk, Joost-Pieter Katoen, Shahid Khan, Marielle Stoelinga. BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees, 14. International Symposium NASA Formal Methods (NFM 2022), Volume 13260 of LNCS, 713-732, Springer, 2022.
DOI [bibtex]
@article{R2022,
title = {Reasoning about distributed reconfigurable systems},
author = {Emma Ahrens and Marius Bozga and Radu Iosif and Joost-Pieter Katoen},
publisher = {ACM},
journal = {Proceedings of the ACM on programming languages},
volume = {6(OOPSLA2)},
pages = {pages 145-174},
type = {Journal Article},
year = {2022},
doi = {10.1145/3563293},
url = { https://publications.rwth-aachen.de/record/951603},
}×
[issue] 		Emma Ahrens, Marius Bozga, Radu Iosif, Joost-Pieter Katoen. Reasoning about distributed reconfigurable systems, Proceedings of the ACM on programming languages 6 (OOPSLA2), pages 145-174, ACM, 2022.
DOI [bibtex]
@inbook{PSMMAGS2022,
title = {Parameter Synthesis in Markov Models: A Gentle Survey},
author = {Nils Jansen and Sebastian Junges and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {13660},
pages = {407-437},
type = {Book Chapter},
year = {2022},
doi = {10.1007/978-3-031-22337-2_20},
url = { https://publications.rwth-aachen.de/record/951604},
}×
[issue] 		Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Parameter Synthesis in Markov Models: A Gentle Survey, Volume 13660 of LNCS, 407-437, Springer, 2022.
Show all