掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Computer Aided Verification
International Conference on Computer Aided Verification
召开年:
2020
召开地:
Los Angeles(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Preface
机译:
前言
作者:
Shuvendu K. Lahiri
;
Chao Wang
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
2.
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
机译:
NNV:用于深度神经网络和支持学习的网络物理系统的神经网络验证工具
作者:
Hoang-Dung Tran
;
Xiaodong Yang
;
Diego Manzanas Lopez
;
Patrick Musau
;
Luan Viet Nguyen
;
Weiming Xiang
;
Stanley Bak
;
Taylor T. Johnson
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Neural networks;
Machine learning;
Cyber-physical systems;
Verification;
Autonomy;
3.
Verification of Deep Convolutional Neural Networks Using ImageStars
机译:
使用ImageStars验证深度卷积神经网络
作者:
Hoang-Dung Tran
;
Stanley Bak
;
Weiming Xiang
;
Taylor T. Johnson
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Neural networks;
Reachability analysis;
Machine learning;
Computer vision;
4.
An Abstraction-Based Framework for Neural Network Verification
机译:
基于抽象的神经网络验证框架
作者:
Yizhak Yisrael Elboher
;
Justin Gottschlich
;
Guy Katz
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
5.
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks
机译:
改进的几何路径枚举,用于验证ReLU神经网络
作者:
Stanley Bak
;
Hoang-Dung Tran
;
Kerianne Hobbs
;
Taylor T. Johnson
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
6.
Systematic Generation of Diverse Benchmarks for DNN Verification
机译:
系统生成用于DNN验证的各种基准
作者:
Dong Xu
;
David Shriver
;
Matthew B. Dwyer
;
Sebastian Elbaum
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Neural network;
Verification;
Benchmark;
Covering array;
7.
Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VERIFAI
机译:
带有VERIFAI的基于神经网络的飞机滑行系统的形式分析和重新设计
作者:
Daniel J. Fremont
;
Johnathan Chiu
;
Dragos D. Margineantu
;
Denis Osipychev
;
Sanjit A. Seshia
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Falsification;
Automated testing;
Debugging;
Simulation;
Autonomous systems;
Machine learning;
8.
The Move Prover
机译:
移动证明
作者:
Jingyi Emma Zhong
;
Kevin Cheang
;
Shaz Qadeer
;
Wolfgang Grieskamp
;
Sam Blackshear
;
Junkil Park
;
Yoni Zohar
;
Clark Barrett
;
David L. Dill
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Libra;
Blockchain;
Smart contracts;
Formal verification;
9.
End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract
机译:
以太坊2.0存款智能合约的端到端形式验证
作者:
Daejun Park
;
Yi Zhang
;
Grigore Rosu
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
10.
Stratified Abstraction of Access Control Policies
机译:
访问控制策略的分层抽象
作者:
John Backes
;
Ulises Berrueco
;
Tyler Bray
;
Daniel Brim
;
Byron Cook
;
Andrew Gacek
;
Ranjit Jhala
;
Kasper Luckow
;
Sean McLaughlin
;
Madhav Menon
;
Daniel Peebles
;
Ujjwal Pugalia
;
Neha Rungta
;
Cole Schlesinger
;
Adam Schodde
;
Anvesh Tanuku
;
Carsten Varming
;
Deepa Viswanathan
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
11.
Synthesis of Super-Optimized Smart Contracts Using Max-SMT
机译:
使用Max-SMT合成超优化智能合约
作者:
Elvira Albert
;
Pablo Gordillo
;
Albert Rubio
;
Maria A. Schett
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
12.
Verification of Quantitative Hyperproperties Using Trace Enumeration Relations
机译:
使用痕迹枚举关系验证定量超特性
作者:
Shubham Sahai
;
Pramod Subramanyan
;
Rohit Sinha
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
13.
Validation of Abstract Side-Channel Models for Computer Architectures
机译:
验证计算机体系结构的抽象侧通道模型
作者:
Hamed Nemati
;
Pablo Buiras
;
Andreas Lindner
;
Roberto Guanciale
;
Swen Jacobs
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Testing;
Side channels;
Information flow security;
Model validation;
Microarchitectures;
14.
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
机译:
复制系统中并发库的语义,规范和边界验证
作者:
Kartik Nagar
;
Prasita Mukherjee
;
Suresh Jagannatban
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
15.
Refinement for Structured Concurrent Programs
机译:
优化结构化并行程序
作者:
Bernhard Kragl
;
Shaz Qadeer
;
Thomas A. Henzinger
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
16.
Parameterized Verification of Systems with Global Synchronization and Guards
机译:
具有全局同步和防护的系统的参数化验证
作者:
Nouraldin Jaber
;
Swen Jacobs
;
Christopher Wagner
;
Milind Kulkarni
;
Roopsha Samanta
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
17.
HAMPA: Solver-Aided Recency-Aware Replication
机译:
HAMPA:求解器辅助的新近感知复制
作者:
Xiao Li
;
Farzin Houshmand
;
Mohsen Lesani
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
18.
Root Causing Linearizability Violations
机译:
根源导致线性化违规
作者:
Berk Cirisci
;
Constantin Enea
;
Azadeh Farzan
;
Suha Orhun Mutluergil
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
19.
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
机译:
用于测试多线程程序的符号偏序执行
作者:
Daniel Schemmel
;
Julian Buening
;
Cesar Rodriguez
;
David Laprell
;
Klaus Wehrle
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Software testing;
Symbolic Execution;
Partial-Order Reduction;
20.
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components
机译:
故障:用于嵌入式硬件验证组件的元编程的Python嵌入式领域特定语言
作者:
Lenny Truong
;
Steven Herbst
;
Rajsekhar Setaluri
;
Makai Mann
;
Ross Daly
;
Keyi Zhang
;
Caleb Donovick
;
Daniel Stanley
;
Mark Horowitz
;
Clark Barrett
;
Pat Hanrahan
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
21.
Nonlinear Craig Interpolant Generation
机译:
非线性克雷格插值生成
作者:
Ting Gan
;
Bican Xia
;
Bai Xue
;
Naijun Zhan
;
Liyun Dai
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Craig interpolant;
Archimedean condition;
Semi-definite programming;
Program verification;
Sum of squares;
22.
Approximate Counting of Minimal Unsatisfiable Subsets
机译:
最小不满足子集的近似计数
作者:
Jaroslav Bendik
;
Kuldeep S. Meel
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
23.
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling
机译:
着色,分离和惰性CNF-XOR解决方案及其在计数和采样中的应用
作者:
Mate Soos
;
Stephan Gocht
;
Kuldeep S. Meel
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
24.
Automated and Scalable Verification of Integer Multipliers
机译:
自动和可扩展的整数乘法器验证
作者:
Mertcan Temel
;
Anna Slobodova
;
Warren A. Hunt Jr.
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Multipliers;
Hardware verification;
Formal methods;
ACL2;
25.
Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing
机译:
基于插值的语义门提取及其在QBF预处理中的应用
作者:
Friedrich Slivovsky
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
26.
TARTAR: A Timed Automata Repair Tool
机译:
TARTAR:定时自动修复工具
作者:
Martin Koelbl
;
Stefan Leue
;
Thomas Wies
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
27.
SAW: A Tool for Safety Analysis of Weakly-Hard Systems
机译:
SAW:弱硬系统安全性分析工具
作者:
Chao Huang
;
Kai-Chieh Chang
;
Chung-Wei Lin
;
Qi Zhu
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Weakly-hard systems;
Safety verification;
Graph theory;
28.
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
机译:
PIRK:高维非线性系统的可扩展区间可达性分析
作者:
Alex Devonport
;
Mahmoud Khaled
;
Murat Arcak
;
Majid Zamani
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Reachability analysis;
ODE integration;
Runge-Kutta method;
Mixed monotonicity;
Monte Carlo simulation;
Parallel algorithms;
29.
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
机译:
AEON:参数化布尔网络的吸引子分支分析
作者:
Nikola Benes
;
Lubos Brim
;
Jakub Kadlecaj
;
Samuel Pastva
;
David Safranek
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Boolean networks;
Attractors;
Bifurcation analysis;
30.
A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation
机译:
解决壁垒证书生成中BMI问题的新方法
作者:
Xin Chen
;
Chao Peng
;
Wang Lin
;
Zhengfeng Yang
;
Yifang Zhang
;
Xuandong Li
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
关键词:
Formal verification;
Hybrid systems;
Barrier certificates;
Bilinear matrix inequalities;
31.
Reachability Analysis Using Message Passing over Tree Decompositions
机译:
使用消息传递通过树分解的可达性分析
作者:
Sriram Sankaranarayanan
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
32.
Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models
机译:
非线性车辆模型的快速且有保证的安全控制器综合
作者:
Chuchu Fan
;
Kristina Miller
;
Sayan Mitra
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
33.
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks
机译:
SeQuaiA:化学反应网络的半定量分析的可扩展工具
作者:
Milan Ceska
;
Calvin Chau
;
Jan Kretinsky
会议名称:
《International Conference on Computer Aided Verification》
|
2020年
意见反馈
回到顶部
回到首页