Joost-Pieter Katoen – författare
Visar alla böcker från författaren Joost-Pieter Katoen. Handla med fri frakt och snabb leverans.
20 produkter
Principles of Model Checking
Av Christel Baier, Joost-Pieter Katoen
Inbunden, 2008
2031 kr
Tillfälligt slut
Foundations of Probabilistic Programming
Av Gilles Barthe, Joost-Pieter Katoen m. fl.
Inbunden, 2020
877 kr
Lägg i varukorg
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their …
Foundations of Probabilistic Programming
Av Alexandra Silva, Joost-Pieter Katoen m. fl.
E-bok, 2020
1002 kr
Lägg i varukorg
What does a probabilistic program actually compute? How can one formally reason about such probabilistic programs? This valuable guide covers such elementary questions and more. It provides a state-of-the-art overview of the theoretical underpinnings of modern probabilistic programming and their …
Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Av Nan Guan, Joost-Pieter Katoen m. fl.
Häftad, 2019
569 kr
Lägg i varukorg
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. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present …
Dependable Software Engineering. Theories, Tools, and Applications
5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings
Av Jun Sun, Joost-Pieter Katoen m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
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. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present …
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Av Marsha Chechik, Joost-Pieter Katoen m. fl.
Häftad, 2023
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been …
Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Av Martin Leucker, Joost-Pieter Katoen m. fl.
E-bok, 2023
1470 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been …
ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Av Joost-Pieter Katoen, Rom Langerak m. fl.
Häftad, 2017
569 kr
Lägg i varukorg
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 and collaborators. The papers are a reflection on his research contributions and interests and all …
ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Av Arend Rensink, Rom Langerak m. fl.
E-bok, 2017
755 kr
Lägg i varukorg
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 and collaborators. The papers are a reflection on his research contributions and interests and all …
Validation of Stochastic Systems
A Guide to Current Research
Av Christel Baier, Boudewijn R. Haverkort m. fl.
Häftad, 2004
551 kr
Lägg i varukorg
It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project "Validation of Stochastic Systems" (VOSS), ?nanced by NWO and DFG (the Dutch and German science foundations, …
Validation of Stochastic Systems
A Guide to Current Research
Av Markus Siegle, Joost-Pieter Katoen m. fl.
E-bok, 2004
734 kr
Lägg i varukorg
Model-Based Testing of Reactive Systems
Advanced Lectures
Av Manfred Broy, Bengt Jonsson m. fl.
Häftad, 2005
569 kr
Lägg i varukorg
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 made to develop more sophisticated formal testing methods. This coherent book provides an in-depth …
Model-Based Testing of Reactive Systems
Advanced Lectures
Av Alexander Pretschner, Martin Leucker m. fl.
E-bok, 2005
755 kr
Lägg i varukorg
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 made to develop more sophisticated formal testing methods. This coherent book provides an in-depth …
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
Av Ed Brinksma, Holger Hermanns m. fl.
Häftad, 2001
569 kr
Lägg i varukorg
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 di?erent research communities. This has resulted in the development of successful, but distinct and …
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
Av Joost-Pieter Katoen, Perdita Stevens
Häftad, 2002
569 kr
Lägg i varukorg
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 existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 …
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
Av Joost-Pieter Katoen, Holger Hermanns m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
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 di?erent research communities. This has resulted in the development of successful, but distinct and …
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
Av Perdita Stevens, Joost-Pieter Katoen
E-bok, 2003
739 kr
Lägg i varukorg
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 existing and new conferences. This year it comprised 5 conferences (FOSSACS, FASE, ESOP, CC, TACAS), 13 …
CONCUR 2011 -- Concurrency Theory
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
Av Joost-Pieter Katoen, Barbara König
Häftad, 2011
569 kr
Lägg i varukorg
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 carefully reviewed and selected from 94 submissions. The papers are organized in topics such as …
CONCUR 2011 -- Concurrency Theory
22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
Av Barbara Konig, Joost-Pieter Katoen
E-bok, 2011
739 kr
Lägg i varukorg
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 carefully reviewed and selected from 94 submissions. The papers are organized in topics such as …
