Jens Katelaan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2011–2020
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | LPAR | Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions. | Jens Katelaan, Florian Zuleger |
| 2019 | TACAS | Effective Entailment Checking for Separation Logic with Inductive Definitions. | Jens Katelaan, Christoph Matheja, Florian Zuleger |
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2018 | CADE | A Separation Logic with Data: Small Models and Automation. | Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher |
| 2018 | LPAR | Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. | Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger |
| 2017 | ESOP | Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. | Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger |
| 2014 | ISoLA | A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. | Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll |
| 2011 | ATVA | Hierarchical Counterexamples for Discrete-Time Markov Chains. | Nils Jansen, Erika brahm, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker |