发布求助
文献互助 智能选刊 最新文献

Formal Aspects of Computing最新文献

筛选
英文 中文
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation 通过符号传播增强深度神经网络的鲁棒性验证
IF 1 4区 计算机科学
Formal Aspects of Computing Pub Date : 2021-06-01 DOI: 10.1007/s00165-021-00548-1
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
{"title":"Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation","authors":"Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang","doi":"10.1007/s00165-021-00548-1","DOIUrl":"https://doi.org/10.1007/s00165-021-00548-1","url":null,"abstract":"","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":"33 1","pages":"407 - 435"},"PeriodicalIF":1.0,"publicationDate":"2021-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00165-021-00548-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43796363","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Machine learning steered symbolic execution framework for complex software code 机器学习引导复杂软件代码的符号执行框架
IF 1 4区 计算机科学
Formal Aspects of Computing Pub Date : 2021-05-26 DOI: 10.1007/s00165-021-00538-3
Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li
{"title":"Machine learning steered symbolic execution framework for complex software code","authors":"Lei Bu, Yongjuan Liang, Zhunyi Xie, Hong Qian, Yi-Qi Hu, Yang Yu, Xin Chen, Xuandong Li","doi":"10.1007/s00165-021-00538-3","DOIUrl":"https://doi.org/10.1007/s00165-021-00538-3","url":null,"abstract":"","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":"33 1","pages":"301 - 323"},"PeriodicalIF":1.0,"publicationDate":"2021-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00165-021-00538-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44576389","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
RiskStructures: A design algebra for risk-aware machines 风险结构:风险感知机器的设计代数
IF 1 4区 计算机科学
Formal Aspects of Computing Pub Date : 2021-05-26 DOI: 10.1007/s00165-021-00545-4
Mario Gleirscher, R. Calinescu, J. Woodcock
{"title":"RiskStructures: A design algebra for risk-aware machines","authors":"Mario Gleirscher, R. Calinescu, J. Woodcock","doi":"10.1007/s00165-021-00545-4","DOIUrl":"https://doi.org/10.1007/s00165-021-00545-4","url":null,"abstract":"","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":"33 1","pages":"763 - 802"},"PeriodicalIF":1.0,"publicationDate":"2021-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00165-021-00545-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52394880","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Enhancing Probabilistic Model Checking with Ontologies 用本体增强概率模型检查
IF 1 4区 计算机科学
Formal Aspects of Computing Pub Date : 2021-05-26 DOI: 10.1007/s00165-021-00549-0
Clemens Dubslaff, P. Koopmann, Anni-Yasmin Turhan
{"title":"Enhancing Probabilistic Model Checking with Ontologies","authors":"Clemens Dubslaff, P. Koopmann, Anni-Yasmin Turhan","doi":"10.1007/s00165-021-00549-0","DOIUrl":"https://doi.org/10.1007/s00165-021-00549-0","url":null,"abstract":"","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":"33 1","pages":"885 - 921"},"PeriodicalIF":1.0,"publicationDate":"2021-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00165-021-00549-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44186504","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Semantics of the probabilistic Lambda Calculus By Dirk Draheim 概率λ演算的语义，Dirk Draheim著
IF 1 4区 计算机科学
Formal Aspects of Computing Pub Date : 2021-05-19 DOI: 10.1007/s00165-021-00534-7
M. Loreti
{"title":"Semantics of the probabilistic Lambda Calculus By Dirk Draheim","authors":"M. Loreti","doi":"10.1007/s00165-021-00534-7","DOIUrl":"https://doi.org/10.1007/s00165-021-00534-7","url":null,"abstract":"","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":"33 1","pages":"457 - 458"},"PeriodicalIF":1.0,"publicationDate":"2021-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00165-021-00534-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52394770","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems 在安全关键自主系统建模中利用增强智能
IF 1 4区 计算机科学
Formal Aspects of Computing Pub Date : 2021-05-17 DOI: 10.1007/s00165-021-00543-6
Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, J. Bodeveix, M. Filali, Zonghua Gu
{"title":"Exploiting augmented intelligence in the modeling of safety-critical autonomous systems","authors":"Zhibin Yang, Yang Bao, Yongqiang Yang, Zhiqiu Huang, J. Bodeveix, M. Filali, Zonghua Gu","doi":"10.1007/s00165-021-00543-6","DOIUrl":"https://doi.org/10.1007/s00165-021-00543-6","url":null,"abstract":"","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":"33 1","pages":"343 - 384"},"PeriodicalIF":1.0,"publicationDate":"2021-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00165-021-00543-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42350158","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Verifying correctness of persistent concurrent data structures: a sound and complete method 验证持久并发数据结构的正确性：一种完善的方法
IF 1 4区 计算机科学
Formal Aspects of Computing Pub Date : 2021-05-17 DOI: 10.1007/s00165-021-00541-8
J. Derrick, Simon Doherty, Brijesh Dongol, G. Schellhorn, H. Wehrheim
{"title":"Verifying correctness of persistent concurrent data structures: a sound and complete method","authors":"J. Derrick, Simon Doherty, Brijesh Dongol, G. Schellhorn, H. Wehrheim","doi":"10.1007/s00165-021-00541-8","DOIUrl":"https://doi.org/10.1007/s00165-021-00541-8","url":null,"abstract":"","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":"33 1","pages":"547 - 573"},"PeriodicalIF":1.0,"publicationDate":"2021-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00165-021-00541-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47336291","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Counterexample-guided inductive synthesis for probabilistic systems 概率系统的反例引导归纳综合
IF 1 4区 计算机科学
Formal Aspects of Computing Pub Date : 2021-05-09 DOI: 10.1007/s00165-021-00547-2
Milan Ceska, Christian Hensel, Sebastian Junges, J. Katoen
{"title":"Counterexample-guided inductive synthesis for probabilistic systems","authors":"Milan Ceska, Christian Hensel, Sebastian Junges, J. Katoen","doi":"10.1007/s00165-021-00547-2","DOIUrl":"https://doi.org/10.1007/s00165-021-00547-2","url":null,"abstract":"","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":"33 1","pages":"637 - 667"},"PeriodicalIF":1.0,"publicationDate":"2021-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00165-021-00547-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46366848","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Probabilistic Bigraphs 概率双图
IF 1 4区 计算机科学
Formal Aspects of Computing Pub Date : 2021-05-06 DOI: 10.1145/3545180
B. Archibald, M. Calder, Michele Sevegnani
{"title":"Probabilistic Bigraphs","authors":"B. Archibald, M. Calder, Michele Sevegnani","doi":"10.1145/3545180","DOIUrl":"https://doi.org/10.1145/3545180","url":null,"abstract":"Bigraphs are a universal computational modelling formalism for the spatial and temporal evolution of a system in which entities can be added and removed. We extend bigraphs to probabilistic bigraphs, and then again to action bigraphs, which include non-determinism and rewards. The extensions are implemented in the BigraphER toolkit and illustrated through examples of virus spread in computer networks and data harvesting in wireless sensor systems. BigraphER also supports the existing stochastic bigraphs extension of Krivine et al. and using BigraphER we give, for the first time, a direct implementation of the membrane budding model used to motivate stochastic bigraphs.","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":"34 1","pages":"1 - 27"},"PeriodicalIF":1.0,"publicationDate":"2021-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43400067","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Inferring Switched Nonlinear Dynamical Systems 推断切换非线性动力系统
IF 1 4区 计算机科学
Formal Aspects of Computing Pub Date : 2021-04-11 DOI: 10.1007/s00165-021-00542-7
Xiangyu Jin, Jie An, Bohua Zhan, N. Zhan, Miaomiao Zhang
{"title":"Inferring Switched Nonlinear Dynamical Systems","authors":"Xiangyu Jin, Jie An, Bohua Zhan, N. Zhan, Miaomiao Zhang","doi":"10.1007/s00165-021-00542-7","DOIUrl":"https://doi.org/10.1007/s00165-021-00542-7","url":null,"abstract":"","PeriodicalId":50432,"journal":{"name":"Formal Aspects of Computing","volume":"33 1","pages":"385 - 406"},"PeriodicalIF":1.0,"publicationDate":"2021-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00165-021-00542-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49612781","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信