( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-Based Safety Analysis for Vehicle Guidance Systems.

, , , , и . SAFECOMP, том 10488 из Lecture Notes in Computer Science, стр. 3-19. Springer, (2017)

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 Ploumen

Pieter Wolter

Pieter Zwieten

Pieter Dingeldey

 

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

Advances in Probabilistic Model Checking.. VMCAI, том 5944 из Lecture Notes in Computer Science, стр. 25. Springer, (2010)Quantitative Verification in Practice., , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 127. 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)Automated Termination Analysis of Polynomial Probabilistic Programs., , , и . CoRR, (2020)Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning., , , и . Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions., , , , и . Formal Methods Syst. Des., 12 (2): 189-216 (1998)