( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Minimal counterexamples for linear-time probabilistic verification.

, , , , и . Theor. Comput. Sci., (2014)

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.

Joost-Pieter Katoen

Pieter Zwieten

Pieter Wolter

Pieter Ploumen

Pieter Steenhuis

 

Другие публикации лиц с тем же именем

Quantitative Verification in Practice., , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 127. Springer, (2010)Advances in Probabilistic Model Checking.. VMCAI, том 5944 из Lecture Notes in Computer Science, стр. 25. Springer, (2010)Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard., и . CoRR, (2014)Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST)., , и . IEEE Trans. Software Eng., 32 (8): 529-530 (2006)Code Generation = A* + BURS., , , и . CC, том 1060 из Lecture Notes in Computer Science, стр. 160-176. Springer, (1996)Parametric LTL on Markov Chains., и . IFIP TCS, том 8705 из Lecture Notes in Computer Science, стр. 207-221. Springer, (2014)Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks., , , и . Distributed Comput., 9 (4): 157-171 (1996)Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning., , , и . Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)Spacecraft early design validation using formal methods., , , , , , , , и . Reliab. Eng. Syst. Saf., (2014)A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions., , , , и . Formal Methods Syst. Des., 12 (2): 189-216 (1998)