Joost Pieter Katoen

Joost Pieter Katoen

Rheinisch Westfalische Technische Hochschule Aachen - Aachen / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1762902
RWTH Aachen University
person_outline Joost Pieter Katoen's MOST POPULAR ARTICLES
1-) Principles of Model CheckingC Baier, JP KatoenThe MIT Press, 200872832008
2-) Lectures on Formal Methods and Performance AnalysisE Brinksma, H Hermanns, JP KatoenSpringer, 20011180*2001
3-) Model-checking algorithms for continuous-time Markov chainsC Baier, B Haverkort, H Hermanns, JP KatoenIEEE Transactions on Software Engineering 29 (6), 524-541, 20039942003
4-) Model-Based Testing of Reactive Systems: Advanced LecturesM Broy, B Jonsson, JP Katoen, M Leucker, A PretschnerSpringer, 20051000*2005
5-) Validation of Stochastic Systems: A Guide to Current ResearchC Baier, B Haverkort, H Hermanns, JP Katoen, M SiegleSpringer, LNCS, 2004718*2004