Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science. He is affiliated with the Formal Methods and Tools Group at the University of Twente.
10 หนังสืออิเล็กทรอนิกส์โดย Joost-Pieter Katoen
Christel Baier & Joost-Pieter Katoen: Principles of Model Checking
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical …
PDF
อังกฤษ
DRM
€280.04
Joost-Pieter Katoen & Rom Langerak: ModelEd, TestEd, TrustEd
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed’s former Ph.D. students …
EPUB
อังกฤษ
DRM
€57.37
Manfred Broy & Bengt Jonsson: Model-Based Testing of Reactive Systems
Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been …
PDF
อังกฤษ
DRM
€57.63
Ed Brinksma & Holger Hermanns: Lectures on Formal Methods and Performance Analysis
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and – pendability) aspects, have been studied by …
PDF
อังกฤษ
DRM
€57.37
Joost-Pieter Katoen & Perdita Stevens: Tools and Algorithms for the Construction and Analysis of Systems
ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of …
PDF
อังกฤษ
DRM
€57.77
Joost-Pieter Katoen & Barbara Konig: CONCUR 2011 — Concurrency Theory
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were …
PDF
อังกฤษ
DRM
€57.46
Nan Guan & Joost-Pieter Katoen: Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. …
EPUB
อังกฤษ
DRM
€57.57
Gilles Barthe & Joost-Pieter Katoen: Foundations of Probabilistic Programming
…
PDF
อังกฤษ
DRM
€71.40
Marsha Chechik & Joost-Pieter Katoen: Formal Methods
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lubeck, Germany, in March 2023. The 26 full paper, 2 short papers …
EPUB
อังกฤษ
DRM
€114.48
