Hierarchical Counterexamples for Discrete-Time Markov Chains. - Nils Jansen 001; Erika Ábrahám; Jens Katelaan; Ralf Wimmer 001; Joost-Pieter Katoen; Bernd Becker 001 (ATVA, 2011)

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 001 (ISoLA (2), 2014)

Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. - Christina Jansen; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger (ESOP, 2017)

A Separation Logic with Data: Small Models and Automation. - Jens Katelaan; Dejan Jovanovic; Georg Weissenbacher (IJCAR, 2018)

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. - Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger (LPAR (Workshop and Short Papers), 2018)

Effective Entailment Checking for Separation Logic with Inductive Definitions. - Jens Katelaan; Christoph Matheja; Florian Zuleger (TACAS (2), 2019)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)

Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions. - Jens Katelaan; Florian Zuleger (LPAR, 2020)

Complete Entailment Checking for Separation Logic with Inductive Definitions. - Jens Pagel; Christoph Matheja; Florian Zuleger (CoRR, 2020)

Strong-separation Logic. - Jens Pagel; Florian Zuleger (ACM Trans. Program. Lang. Syst., 2022)

A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions. - Christoph Matheja; Jens Pagel; Florian Zuleger (ACM Trans. Comput. Log., 2023)