Publications

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 fulltext PDF [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},
publisher = {Springer},
booktitle = {LNCS},
volume = {13994},
pages = {410-429},
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, 29. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Volume 13994 of LNCS, 410-429, Springer, 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.
DOI fulltext PDF [bibtex]
@article{T2023,
title = {The probabilistic termination tool amber},
author = {Marcel Moosbrugger and Ezio Bartocci and Joost-Pieter Katoen and Laura Kovács},
publisher = {Springer},
journal = {Formal methods in system design},
pages = {20 Seiten},
type = {Journal Article},
year = {2023},
doi = {10.1007/s10703-023-00424-z},
url = { https://publications.rwth-aachen.de/record/959110},
}×
[issue] 		Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács. The probabilistic termination tool amber, Formal methods in system design, 20 Seiten, Springer, 2023.
DOI fulltext PDF [bibtex]
@article{FVC2023,
title = {First three years of the international verification of neural networks competition (VNN-COMP)},
author = {Christopher Jan-Steffen Brix and Mark Niklas Müller and Stanley Bak and Taylor T. Johnson and Changliu Liu},
publisher = {Springer},
journal = {International journal on software tools for technology transfer},
volume = {25},
pages = {pages 329-339},
type = {Journal Article},
year = {2023},
doi = {10.1007/s10009-023-00703-4},
url = { https://publications.rwth-aachen.de/record/960369},
}×
[issue] 		Christopher Jan-Steffen Brix, Mark Niklas Müller, Stanley Bak, Taylor T. Johnson, Changliu Liu. First three years of the international verification of neural networks competition (VNN-COMP), International journal on software tools for technology transfer 25, pages 329-339, Springer, 2023.
DOI fulltext PDF [bibtex]
@conference{SESPSP2023,
title = {Search and Explore: Symbiotic Policy Synthesis in POMDPs},
author = {Roman Andriushchenko and Alexander Bork and Milan Češka and Sebastian Junges and Joost-Pieter Katoen and Filip Macák},
publisher = {Springer},
booktitle = {LNCS},
volume = {13966},
pages = {113-135},
type = {Conference Paper},
year = {2023},
doi = {10.1007/978-3-031-37709-9_6},
url = { https://publications.rwth-aachen.de/record/968844},
}×
[issue] 		Roman Andriushchenko, Alexander Bork, Milan Češka, Sebastian Junges, Joost-Pieter Katoen, Filip Macák. Search and Explore: Symbiotic Policy Synthesis in POMDPs, 35. International Conference on Computer-Aided Verification (CAV 2023), Volume 13966 of LNCS, 113-135, Springer, 2023.
DOI fulltext PDF [bibtex]
@article{AFRPBN2023,
title = {Automatically Finding the Right Probabilities in Bayesian Networks},
author = {Bahare Salmani Barzoki and Joost-Pieter Katoen},
publisher = {AI Access Found.},
journal = {Journal of artificial intelligence research},
volume = {77},
pages = {pages 1637-1696},
type = {Journal Article},
year = {2023},
doi = {10.1613/jair.1.14044},
url = { https://publications.rwth-aachen.de/record/969130},
}×
[issue] 		Bahare Salmani Barzoki, Joost-Pieter Katoen. Automatically Finding the Right Probabilities in Bayesian Networks, Journal of artificial intelligence research 77, pages 1637-1696, AI Access Found., 2023.
DOI [bibtex]
@conference{APGMMCA2023,
title = {A Practitioner’s Guide to MDP Model Checking Algorithms},
author = {Arnd Hartmanns and Sebastian Junges and Tim Quatmann and Maximilian Weininger},
publisher = {Springer},
booktitle = {LNCS},
volume = {13993},
pages = {469-488},
type = {Conference Paper},
year = {2023},
doi = {10.1007/978-3-031-30823-9_24},
url = { https://publications.rwth-aachen.de/record/972074},
}×
[issue] 		Arnd Hartmanns, Sebastian Junges, Tim Quatmann, Maximilian Weininger. A Practitioner’s Guide to MDP Model Checking Algorithms, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Volume 13993 of LNCS, 469-488, Springer, 2023.
DOI fulltext PDF [bibtex]
@proceedings{KPGP2023,
title = {22. Kolloquium Programmiersprachen und Grundlagen der Programmierung},
author = {},
editor = {Thomas Noll and Ira Justus Fesefeldt},
publisher = {RWTH Aachen University, Department of Computer Science},
booktitle = {Aachener Informatik-Berichte},
volume = {AIB-2023-03},
pages = {1 Online-Ressource},
type = {Proceeding Article},
year = {2023},
doi = {10.18154/RWTH-2023-10034},
url = { https://publications.rwth-aachen.de/record/972197},
}×
[issue] 		Thomas Noll (ed), Ira Justus Fesefeldt (ed). 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Volume AIB-2023-03 of Aachener Informatik-Berichte, 1 Online-Ressource, RWTH Aachen University, Department of Computer Science, 2023.
DOI fulltext PDF [bibtex]
@conference{CPPAOVI2023,
title = {Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration},
author = {Tobias Winkler and Joost-Pieter Katoen},
publisher = {Springer},
booktitle = {LNCS},
volume = {13994},
pages = {391-409},
type = {Conference Paper},
year = {2023},
doi = {10.1007/978-3-031-30820-8_24},
url = { https://publications.rwth-aachen.de/record/972636},
}×
[issue] 		Tobias Winkler, Joost-Pieter Katoen. Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration, 29. International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Volume 13994 of LNCS, 391-409, Springer, 2023.
DOI [bibtex]
@conference{OCERTPPA2023,
title = {On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata},
author = {Tobias Winkler and Joost-Pieter Katoen},
publisher = {IEEE},
type = {Conference Paper},
year = {2023},
doi = {10.1109/LICS56636.2023.10175714},
url = { https://publications.rwth-aachen.de/record/972664},
}×
[issue] 		Tobias Winkler, Joost-Pieter Katoen. On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata, 38. Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), IEEE, 2023.
DOI fulltext PDF [bibtex]
@article{ADVIPP2023,
title = {A Deductive Verification Infrastructure for Probabilistic Programs},
author = {Philipp Schroer and Kevin Batz and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja},
publisher = {ACM},
journal = {Proceedings of the ACM on programming languages},
volume = {7(OOPSLA2)},
pages = {pages 294},
type = {Journal Article},
year = {2023},
doi = {10.1145/3622870},
url = { https://publications.rwth-aachen.de/record/973293},
}×
[issue] 		Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs, Proceedings of the ACM on programming languages 7 (OOPSLA2), pages 294, ACM, 2023.
DOI arXiv:2309.07781 fulltext PDF [bibtex]
@unpublished{ADVIPPEV2023,
title = {A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)},
author = {Philipp Schroer and Kevin Batz and Benjamin Lucien Kaminski and Joost-Pieter Katoen and Christoph Matheja},
pages = {[1]-48},
type = {Preprint},
year = {2023},
doi = {10.48550/arXiv.2309.07781},
url = { https://arxiv.org/abs/2309.07781},
}×
[issue] 		Philipp Schroer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version), [1]-48, 2023. https://arxiv.org/abs/2309.07781
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 Petrus Carla 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 Petrus Carla 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 fulltext PDF [bibtex]
@article{RLNNA2022,
title = {Residuality and Learning for Nondeterministic Nominal Automata},
author = {Joshua Moerman and Matteo Sammartino},
publisher = {Department of Theoretical Computer Science, Technical University of Braunschweig},
journal = {Logical methods in computer science},
volume = {18(1)},
pages = {pages 29},
type = {Journal Article},
year = {2022},
doi = {10.46298/lmcs-18(1:29)2022},
url = { https://publications.rwth-aachen.de/record/841706},
}×
[issue] 		Joshua Moerman, Matteo Sammartino. Residuality and Learning for Nondeterministic Nominal Automata, Logical methods in computer science 18 (1), pages 29, Department of Theoretical Computer Science, Technical University of Braunschweig, 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.
fulltext PDF [bibtex]
@article{EDPIK2022,
title = {Einblick DZSF-Projekt "Identifikation von Kapazitätsengpässen"},
author = {Simon Schotten and Thorsten Büker and Wiebke Lenze and Bastian Kogel and Thomas Noll and Mario Fietze and Jana Berger},
publisher = {DVV Media Group, Eurailpress},
journal = {Eisenbahntechnische Rundschau},
volume = {71(5)},
pages = {pages 33-37},
type = {Journal Article},
year = {2022},
url = { https://publications.rwth-aachen.de/record/847020},
}×
[issue] 		Simon Schotten, Thorsten Büker, Wiebke Lenze, Bastian Kogel, Thomas Noll, Mario Fietze, Jana Berger. Einblick DZSF-Projekt "Identifikation von Kapazitätsengpässen", Eisenbahntechnische Rundschau 71 (5), pages 33-37, DVV Media Group, Eurailpress, 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
fulltext PDF [bibtex]
@techreport{JSIRAESTB2022,
title = {50 Jahre Studiengang Informatik an der RWTH Aachen: Ein Streifzug in Text und Bild},
author = {},
publisher = {Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen},
pages = {152 Seiten : Illustrationen, Diagramme},
type = {Tech Report},
year = {2022},
url = { https://publications.rwth-aachen.de/record/853722},
}×
[issue] 		Helene-Maria Bolke-Hermanns, Klaus Indermark, Joost-Pieter Katoen, Stefan Kowalewski, Thomas Noll, Wolfgang Thomas. 50 Jahre Studiengang Informatik an der RWTH Aachen: Ein Streifzug in Text und Bild, 152 Seiten : Illustrationen, Diagramme, Fachgruppe Informatik in der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen, 2022.
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 [bibtex]
@conference{ACBRIEM2022,
title = {Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining},
author = {Philipp Berger and Wiebke Lenze and Thomas Noll and Simon Schotten and Thorsten Büker and Mario Fietze and Bastian Kogel},
publisher = {Springer},
booktitle = {LNCS},
volume = {13487},
pages = {121-133},
type = {Conference Paper},
year = {2022},
doi = {10.1007/978-3-031-15008-1_9},
url = { https://publications.rwth-aachen.de/record/854106},
}×
[issue] 		Philipp Berger, Wiebke Lenze, Thomas Noll, Simon Schotten, Thorsten Büker, Mario Fietze, Bastian Kogel. Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining, 27. International Conference Formal Methods for Industrial Critical Systems (FMICS 2022), Volume 13487 of LNCS, 121-133, 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.
DOI [bibtex]
@conference{IBRI2022,
title = {Identification of Bottlenecks in Rail Infrastructure},
author = {Wiebke Lenze and Bastian Kogel and Simon Schotten and Thorsten Büker and Thomas Noll and Philipp Berger and Mario Fietze},
publisher = {Civil-Comp Press},
booktitle = {Civil-Comp Conferences},
pages = {23.12},
type = {Conference Paper},
year = {2022},
doi = {10.4203/ccc.1.23.12},
url = { https://publications.rwth-aachen.de/record/961091},
}×
[issue] 		Wiebke Lenze, Bastian Kogel, Simon Schotten, Thorsten Büker, Thomas Noll, Philipp Berger, Mario Fietze. Identification of Bottlenecks in Rail Infrastructure, 5. International Conference on Railway Technology: Research, Development and Maintenance, Civil-Comp Conferences, 23.12, Civil-Comp Press, 2022.
Show all