Jens Pagel

  • University Assistant, MSc
  • TU Wien
  • Institut für Informationssysteme 184/4
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria

Research Interests

  • Static analysis, software verification, separation logic, decision procedures

Current Position



  1. Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. Proceedings of the 26th European Symposium on Programming (2017).
  2. Harold Bruintjes, Viet Yen Nguyen, Dimitri Bohlender, Sebastian Junges, Jens Katelaan and Thomas Noll. A Review Of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (2014).
  3. Nils Jansen, Erika Abraham, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen and Bernd Becker. Hierarchical Counterexamples for Discrete-Time Markov Chains. Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (2011).