Up a level |
Salako, Kizito, Strigini, Lorenzo, Zhao, Xingyu ORCID: 0000-0002-3474-349X and Soc, IEEE Comp
(2021)
Conservative Confidence Bounds in Safety, from Generalised Claims of Improvement & Statistical Evidence.
.
Hofman, Piotr, Mayr, Richard, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Soc, IEEE Comp
(2013)
Decidability of Weak Simulation on One-counter Nets.
.
Zhao, Xingyu ORCID: 0000-0002-3474-349X, Calinescu, Radu, Gerasimou, Simos, Robu, Valentin, Flynn, David and Soc, IEEE Comp
(2020)
Interval Change-Point Detection for Runtime Probabilistic Model Checking.
.
Sun, Wenxin, Huang, Mengjie, Yang, Rui ORCID: 0000-0002-5634-5476, Zhang, Jingjing, Wang, Liu, Han, Ji ORCID: 0000-0003-3240-4942, Yue, Yong ORCID: 0000-0001-7695-4538 and Soc, IEEE Comp
(2020)
Workload, Presence and Task Performance of Virtual Object Manipulation on WebVR.
.