C Baier, JP Katoen

The MIT Press, 2008

E Brinksma, H Hermanns, JP Katoen

Springer, 2001

C Baier, B Haverkort, H Hermanns, JP Katoen

IEEE Transactions on Software Engineering 29 (6), 524-541, 2003

M Broy, B Jonsson, JP Katoen, M Leucker, A Pretschner

Springer, 2005

C Baier, B Haverkort, H Hermanns, JP Katoen, M Siegle

Springer, LNCS, 2004

C Dehnert, S Junges, JP Katoen, M Volk

Computer Aided Verification (CAV), 592-600, 2017

JP Katoen, IS Zapreev, EM Hahn, H Hermanns, DN Jansen

Performance Evaluation 68 (2), 90-104, 2011

C Baier, JP Katoen, H Hermanns

Concurrency Theory (CONCUR), 146-161, 1999

H Hermanns, U Herzog, JP Katoen

Theoretical Computer Science 274 (1), 43-87, 2002

JP Katoen, M Khattri, IS Zapreev

Quantitative Evaluation of Systems (QEST), 243-244, 2005

JP Hespanha, CG Cassandras, HAP Blom, J Lygeros, JP Katoen, ...

CRC Press, 2018

M Bozzano, A Cimatti, JP Katoen, VY Nguyen, T Noll, M Roveri

The Computer Journal 54 (5), 754-775, 2011

C Baier, B Haverkort, H Hermanns, JP Katoen

Computer Aided Verification (CAV), 358-372, 2000

C Baier, JP Katoen, H Hermanns, V Wolf

Information and Computation 200 (2), 149-214, 2005

PR D'Argenio, JP Katoen, TC Ruys, J Tretmans

Tools and Algorithms for the Construction and Analysis of Systems (TACAS …, 1997

A Abate, JP Katoen, J Lygeros, M Prandini

European Journal of Control 16 (6), 624-641, 2010

H Bohnenkamp, PR D'Argenio, H Hermanns, JP Katoen

IEEE Transactions on Software Engineering 32 (10), 812-830, 2006

S Andova, H Hermanns, JP Katoen

Formal Modeling and Analysis of Timed Systems (FORMATS), 88-104, 2004

JP Katoen

IEEE/ACM Symposium on Logic In Computer Science (LICS), 2016

C Hensel, S Junges, JP Katoen, T Quatmann, M Volk

Int. J. on Software Tools for Technology Transfer, 2022