Jens Katelaan

 
  • 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


Education


Publications

  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).