( en | de | ru )

 

Disambiguation of "Katoen, Joost-Pieter"

Author of the publication

copydeleteadd this publication to your clipboard
Principles of model checking

, and . MIT Press, Cambridge, Mass., (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Joost-Pieter Katoen

Pieter Ploumen

Pieter Wolter

Pieter Zwieten

Pieter Dingeldey

 

Other publications of authors with the same name

A Semi-Markov Model of a Home Network Access Protocol.. MASCOTS, page 293-298. The Society for Computer Simulation, (1993)A Probabilistic Extension of UML Statecharts: Specification and Verification, , and . Intl. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, page 355--374. Springer, (September 2002)The Probabilistic Model Checker Storm (Extended Abstract)., , , and . CoRR, (2016)Probabilistic Programming: A True Verification Challenge.. ATVA, volume 9364 of Lecture Notes in Computer Science, page 1-3. Springer, (2015)Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods., , , and . SAS, volume 6337 of Lecture Notes in Computer Science, page 390-406. Springer, (2010)Towards Trustworthy Aerospace Systems: An Experience Report.. FMICS, volume 6959 of Lecture Notes in Computer Science, page 1-4. Springer, (2011)Inferring Covariances for Probabilistic Programs., , and . QEST, volume 9826 of Lecture Notes in Computer Science, page 191-206. Springer, (2016)Relatively Complete Verification of Probabilistic Programs., , , and . CoRR, (2020)Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs., , , and . Proc. ACM Program. Lang., 8 (POPL): 2792-2820 (January 2024)Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence., and . SETSS, volume 12154 of Lecture Notes in Computer Science, page 44-121. Springer, (2019)