Joost-Pieter Katoen

Identifiers

Open LibraryOL3401145A

Top Subjects

Computer science (2)
Logic design (2)
Software engineering (2)
Programming Languages, Compilers, Interpreters (1)
Logics and Meanings of Programs (1)
Computer Communication Networks (1)
Special Purpose and Application-Based Systems (1)

Books by Joost-Pieter Katoen

Total count: 11

Formal Methods for Real-Time and Probabilistic Systems5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings

Springer-Verlag Berlin Heidelberg1999-01-01
Lectures on Formal Methods and Performance AnalysisFirst EEF/Euro Summer School on Trends in Computer Science Berg en Dal, the Netherlands, July 3-7, 2000. Revised Lectures

Springer London, Limited2003-01-01
Tools and Algorithms for the Construction and Analysis of Systems8th 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

Springer London, Limited2003-01-01
Validation of Stochastic SystemsA Guide to Current Research

Springer London, Limited2004-01-01
Model-Based Testing of Reactive SystemsAdvanced Lectures

Springer London, Limited2005-01-01
Principles of Model Checking

MIT Press2008-01-01
CONCUR 2011 – Concurrency Theory22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings

Springer-Verlag GmbH Berlin Heidelberg2011-01-01
ModelEd, TestEd, TrustEdEssays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Springer2017-09-29
Dependable Software Engineering. Theories, Tools, and Applications5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings

Springer International Publishing AG2019-01-01
Foundations of Probabilistic Programming

University of Cambridge ESOL Examinations2020-01-01
Formal Methods25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

Springer International Publishing AG2023-01-01