( en | de | ru )

 

Disambiguation of "Joost-Pieter, Katoen"

Author of the publication

copydeleteadd this publication to your clipboard
Correct and Efficient Accelerator Programming

, , , and (Eds.) Dagstuhl Reports, 3 (4): 17--33 (April 2013)

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

Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)., , , and . Dagstuhl Reports, 8 (3): 74-93 (2018)Inferring Covariances for Probabilistic Programs., , and . QEST, volume 9826 of Lecture Notes in Computer Science, page 191-206. Springer, (2016)Guest editors' introduction: quantitative analysis of real-time embedded systems., , and . Int. J. Softw. Tools Technol. Transf., 8 (6): 605-606 (2006)Guest editors' introduction: Advancements and extensions of verification techniques., and . Int. J. Softw. Tools Technol. Transf., 6 (2): 99-101 (2004)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)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)A Semi-Markov Model of a Home Network Access Protocol.. MASCOTS, page 293-298. The Society for Computer Simulation, (1993)The Probabilistic Model Checker Storm (Extended Abstract)., , , and . CoRR, (2016)