Welcome...

prof.dr.ir. J.P. Katoen (Joost-Pieter)

Full Professor

Expertise

Model Checking
Markov Processes
Semantics
Specifications
Algebra
Temporal Logic
Model
Markov Chain

Ancillary Activities

  • RWTH Aachen University
    Hoogleraar

Publications

Recent Articles
Junges, S., Guck, D., Katoen, J. P., & Stoelinga, M. I. A. (2016). Uncovering dynamic fault trees. 299-310. Paper presented at 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, .DOI: 10.1109/DSN.2016.35
Katoen, J. P. (2016). The Probabilistic Model Checking Landscape. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016) (pp. 31-45). USA: ACM. DOI: 10.1145/2933575.2934574
Katoen, J. P. (2015). Probabilistic Programming: A True Verification Challenge. In B. Finkbeiner, G. Pu, & L. Zhang (Eds.), Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015 (pp. 1-3). (Lecture Notes in Computer Science; Vol. 9364, No. 9364). London: Springer. DOI: 10.1007/978-3-319-24953-7_1
Junges, S., Guck, D., Katoen, J. P., Rensink, A., & Stoelinga, M. I. A. (2015). Fault Trees on a Diet - Automated Reduction by Graph Rewriting. In X. Li, Z. Liu, & W. Yi (Eds.), Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015) (pp. 3-18). (Lecture Notes in Computer Science; Vol. 9409). Berlin: Springer Verlag. DOI: 10.1007/978-3-319-25942-0_1
Bozzano, M., Cimatti, A., Katoen, J. P., Katsaros, P., Mokos, K., Nguyen, V. Y., ... Roveri, M. (2014). Spacecraft early design validation using formal methods. Reliability engineering & system safety, 132, 20-35. DOI: 10.1016/j.ress.2014.07.003
Katoen, J. P., Song, L., & Zhang, L. (2014). Probably safe or live. In Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (pp. 55). New York: ACM. DOI: 10.1145/2603088.2603147

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3078
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3078
P.O. Box 217
7500 AE Enschede
The Netherlands