Jens Pagel

According to our database, Jens Pagel authored at least 11 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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., January, 2023

2022

Strong-separation Logic.

Jens Pagel, Florian Zuleger

ACM Trans. Program. Lang. Syst., 2022

2020

Complete Entailment Checking for Separation Logic with Inductive Definitions.

Jens Pagel, Christoph Matheja, Florian Zuleger

CoRR, 2020

Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions.

Jens Katelaan, Florian Zuleger

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

2019

SL-COMP: Competition of Solvers for Separation Logic.

Mihaela Sighireanu, Juan Antonio Navarro Pérez, 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, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Effective Entailment Checking for Separation Logic with Inductive Definitions.

Jens Katelaan, Christoph Matheja, Florian Zuleger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic.

Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger

Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018

A Separation Logic with Data: Small Models and Automation.

Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic.

Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger

Proceedings of the Programming Languages and Systems, 2017

2014

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2011

Hierarchical Counterexamples for Discrete-Time Markov Chains.

Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker

Proceedings of the Automated Technology for Verification and Analysis, 2011