Home
News
People
Publications
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
3
Exact Bayesian Inference for Loopy Probabilistic Programs
We present an exact Bayesian inference method for inferring posterior distributions encoded by probabilistic programs featuring …
Lutz Klinkenberg
,
Christian Blumenthal
,
Mingshuai Chen
,
Joost-Pieter Katoen
PDF
Cite
Code
DOI
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot
Hardware supply-chain attacks are raising significant security threats to the boot process of multiprocessor systems. This paper …
Zhuoruo Zhang
,
Chenyang Yu
,
He Huang
,
Rui Chang
,
Mingshuai Chen
,
Qinming Dai
,
Wenbo Shen
,
Yongwang Zhao
,
Kui Ren
PDF
Cite
DOI
On Termination of Polynomial Programs with Equality Conditions
We investigate the termination problem of a family of multi-path polynomial programs (MPPs), in which all assignments to program …
Yangjia Li
,
Naijun Zhan
,
Mingshuai Chen
,
Hui Lu
,
Guohua Wu
,
Joost-Pieter Katoen
PDF
Cite
Code
DOI
Cite
×