Research Output per year
Fingerprint Dive into the research topics where Joost P. Katoen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 5 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
ETAPS Foreword
Katoen, J-P., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. v-vi 2 p. (Lecture Notes in Computer Science; vol. 11429)(Theoretical Computer Science and General Issues).Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript › Academic
Open Access
File
4
Downloads
(Pure)
Preface
Sun, J., Katoen, J-P. & Guan, N., 2019, Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings. Cham: Springer, p. v-v (Lecture Notes in Computer Science; vol. 11951).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
5
Downloads
(Pure)
The 10,000 Facets of MDP Model Checking
Baier, C., Hermanns, H. & Katoen, J-P., 2019, Computing and Software Science: State of the Art and Perspectives. Steffen, B. & Woeginger, G. (eds.). Cham: Springer, Vol. 10000. p. 420-451 32 p. (Lecture Notes in Computer Science; vol. 10000).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Multi-cost Bounded Reachability in MDP
Hartmanns, A., Junges, S., Katoen, J-P. & Quatmann, T., 2018, Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 320-339 20 p. (Lecture Notes in Computer Science; vol. 10806).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs
Junges, S., Katoen, J. P., Stoelinga, M. I. A. & Volk, M., 8 May 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khomenko, V. & Roux, O. H. (eds.). Cham: Springer, p. 272-293 22 p. (Lecture notes in computer science; vol. 10877).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
Prizes
Beste paper award
Maurice van Keulen (Recipient), Benjamin Kaminski (Recipient), Christoph Matheja (Recipient) & Joost P. Katoen (Recipient), 4 Oct 2018
Prize
Activities
Symposium on Model-Ed, Test-Ed, Trust-Ed in honour of Ed Brinksma on the occasion of his 60th birthday, 2017
Joost P. Katoen (Organiser), Rom Langerak (Organiser), Arend Rensink (Organiser)17 Oct 2017
Activity: Participating in or organising an event › Organising a conference, workshop, ...
MoDeST: From Theory to Industrial Experience
Joost P. Katoen (Speaker)17 Sep 2004
Activity: Talk or presentation › Oral presentation
Timed reachability in continuous-time Markov decision processes
Joost P. Katoen (Speaker)29 Mar 2004
Activity: Talk or presentation › Oral presentation
MoDeST: From Theory to Industrial Experience
Joost P. Katoen (Speaker)14 Oct 2004
Activity: Talk or presentation › Oral presentation
Model checking and performance evaluation: a perfect match
Joost P. Katoen (Speaker)28 Mar 2004
Activity: Talk or presentation › Oral presentation