STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Joost-Pieter Katoen | lit.salon
Joost-Pieter Katoen
No bio available.
Add one in Open Library.
Books by Joost-Pieter Katoen (50 max)
+ shelf
+ list
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)
2004
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
+ shelf
+ list
Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings
2019
Nan Guan, Joost-Pieter Katoen, Jun Sun
+ shelf
+ list
Foundations of Probabilistic Programming
2020
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
+ shelf
+ list
Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings
1999
Joost-Pieter Katoen
+ shelf
+ list
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 of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
2003
Joost-Pieter Katoen, Perdita Stevens
+ shelf
+ list
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
2003
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
+ shelf
+ list
Model-Based Testing of Reactive Systems Advanced Lectures
2005
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
+ shelf
+ list
CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
2011
Joost-Pieter Katoen
+ shelf
+ list
ModelEd, TestEd, TrustEd : Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
2017
Joost-Pieter Katoen, Rom Langerak, Arend Rensink
+ shelf
+ list
Formal Methods 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings
2023
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
