Welkom...

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

Hoogleraar

Expertises

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

Nevenactiviteiten

  • RWTH Aachen University
    Hoogleraar

Publicaties

Recente Artikelen
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

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3078
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3078
Postbus 217
7500 AE Enschede