Joost-Pieter Katoen

Joost-Pieter Katoen in [[Logic Lane]], [[Oxford]] Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente. Provided by Wikipedia
1
Formal Methods [E-Book] : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings /
Other Personal Name(s): “...Katoen, Joost-Pieter...”

Full text 
Favorites
Saved in:
2
Foundations of probabilistic programming [E-Book] /
Other Personal Name(s): “...Katoen, Joost-Pieter...”

Full text 
Favorites
Saved in:
3
CONCUR 2011 – Concurrency Theory [E-Book] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings /
Other Personal Name(s): “...Katoen, Joost-Pieter....”

Full text 
Favorites
Saved in:
4
Principles of model checking [E-Book] /
Other Personal Name(s): “...Katoen, Joost-Pieter...”

Full text 
Favorites
Saved in:
5
Model-Based Testing of Reactive Systems [E-Book] / Advanced Lectures
Other Personal Name(s): “...Katoen, Joost-Pieter...”

Full text 
Favorites
Saved in:
6
Validation of Stochastic Systems : A Guide to Current Research [E-Book] /
Other Personal Name(s): “...Katoen, Joost-Pieter...”

Full text 
Favorites
Saved in:
7
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings /
Other Personal Name(s): “...Katoen, Joost-Pieter....”

Full text 
Favorites
Saved in:
8
Lectures on Formal Methods and PerformanceAnalysis [E-Book] : First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures /
Other Personal Name(s): “...Katoen, Joost-Pieter....”

Full text 
Favorites
Saved in:
9
Formal Methods for Real-Time and Probabilistic Systems [E-Book] : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings /
Other Personal Name(s): “...Katoen, Joost-Pieter....”

Full text 
Favorites
Saved in: