( en | de | ru )

 

Disambiguation of "Katoen, Joost-Pieter"

Author of the publication

copydeleteadd this publication to your clipboard
General Distributions in Process Algebra.

, and . European Educational Forum: School on Formal Methods and Performance Analysis, volume 2090 of Lecture Notes in Computer Science, page 375-430. Springer, (2000)

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)Partial Order Models for Quantitative Extensions of LOTOS., , , and . Comput. Networks, 30 (9-10): 925-950 (1998)Approximate Model Checking of Stochastic Hybrid Systems., , , and . Eur. J. Control, 16 (6): 624-641 (2010)Systolic Arrays for the Recognition of Permutation-Invariant Segments., and . Sci. Comput. Program., 27 (2): 119-137 (1996)