MPG.eBooks - Author Search Results

Joost-Pieter Katoen

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

Cover Image

1

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice o...

by Katoen, Joost-Pieter
Published 2002

Springer-Verlag Berlin Heidelberg

Cover Image

2

Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

by Katoen, Joost-Pieter
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

3

CONCUR 2011 -- Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Katoen, Joost-Pieter...”

Cover Image

4

Tools and Algorithms for the Construction and Analysis of Systems : 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice...

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Katoen, Joost-Pieter...”

Cover Image

5

Lectures on Formal Methods and PerformanceAnalysis : First EEFEuro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

by Brinksma, Ed
Published 2001

Springer-Verlag Berlin Heidelberg

Other Authors: “...Katoen, Joost-Pieter...”

Cover Image

6

ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Published 2017

Springer International Publishing

Other Authors: “...Katoen, Joost-Pieter...”

Cover Image

7

Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Published 2019

Springer International Publishing

Other Authors: “...Katoen, Joost-Pieter...”

Cover Image

8

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Published 2023

Springer International Publishing

Other Authors: “...Katoen, Joost-Pieter...”

Cover Image

9

Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Katoen, Joost-Pieter...”

Cover Image

10

Foundations of probabilistic programming

Published 2021

Cambridge University Press

Other Authors: “...Katoen, Joost-Pieter...”

Cover Image

11

Validation of Stochastic Systems : A Guide to Current Research

by Baier, Christel
Published 2004

Springer Berlin Heidelberg

Other Authors: “...Katoen, Joost-Pieter...”

Cover Image

12

Model-Based Testing of Reactive Systems : Advanced Lectures

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Katoen, Joost-Pieter...”

Cover Image

13

Validation of Stochastic Systems : A Guide to Current Research

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Katoen, Joost-Pieter...”