{"title":"Dynamic assessment approach for intelligent power distribution systems based on runtime verification with requirements updates","authors":"Yunshuo Li, Xiangjun Duan, Yuanyuan Xu, Cheng Zhao","doi":"10.1016/j.hcc.2024.100255","DOIUrl":"https://doi.org/10.1016/j.hcc.2024.100255","url":null,"abstract":"","PeriodicalId":504896,"journal":{"name":"High-Confidence Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141691678","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Dongxiao Yu, Hengming Zhang, Yan Huang, Zhenzhen Xie
{"title":"Data distribution inference attack in federated learning via reinforcement learning support","authors":"Dongxiao Yu, Hengming Zhang, Yan Huang, Zhenzhen Xie","doi":"10.1016/j.hcc.2024.100235","DOIUrl":"https://doi.org/10.1016/j.hcc.2024.100235","url":null,"abstract":"","PeriodicalId":504896,"journal":{"name":"High-Confidence Computing","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141036150","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}