掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机辅助设计与图形学学报
制造业自动化
自动化与仪表
电脑迷
数码
软件与光盘
电脑知识与技术-经验技巧
机器人
个人电脑
化学传感器
更多>>
相关外文期刊
Robotics and Computer-Integrated Manufacturing
International journal of information and coding theory
ACM transactions on Asian language information processing
Applied Artificial Intelligence
Journal of computer security
IEEE Robotics & Automation Magazine
ACM SIGIR FORUM
Mobile computing and communications review
International journal of RF and microwave computer-aided engineering
International journal of computational vision and robotics
更多>>
相关中文会议
CCF2014-2015中国计算机科学技术发展报告会
第二十三届中国数据库学术会议(NDBC2006)
中国自动化学会过程自动化设计学术交流会
2005川渝地区自动化与电控技术年会
2004年第六届中国智能机器人学术研讨会
第五届中国Rough集与软计算学术研讨会
全国第五届计算机辅助生产管理学术会议
全国第四届自动化应用技术交流会
第十八次全国计算机安全学术交流会
2012年江苏省仪器仪表学会学术年会
更多>>
相关外文会议
Computer-Human Interaction
Fifth German Workshop on Artificial Life: Abstracting and Synthesizing the Principles of Living Systems, Mar 18-20, 2002, Luebeck, Germany
Summer computer simulation conference and work in progress
SIGFSM workshop on statistical NLP and weighted automata
Active media technology
Advances in computing science - ASIAN'98
Web technologies and applications
22nd National Online Meeting, May 15-17, 2001, New York
European PKI Workshop: Research and Applications, EuroPKI 2004; 20040625-20040626; Samos Island; GR
Declarative programming and knowledge management
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
机译:
将自动成分验证扩展到整个Omega-Regular语言类别
作者:
Azadeh Farzan
;
Yu-Fang Chen
;
Edmund M. Clarke
;
Yih-Kuen Tsay
;
Bow-Yaw Wang
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
2.
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
机译:
证明托勒密权:用于并行系统模型检查的环境抽象框架
作者:
Edmund Clarke
;
Murali Talupur
;
Helmut Veith
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
3.
Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
机译:
反链:LTL满意度和模型检查的替代算法
作者:
M. De Wulf
;
L. Doyen
;
N. Maquet
;
J.-F. Raskin
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
4.
On-the-Fly Techniques for Game-Based Software Model Checking
机译:
基于游戏的软件模型检查的实时技术
作者:
Adam Bakewell
;
Dan R. Ghica
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
5.
Computing Simulations over Tree Automata (Efficient Techniques for Reducing Tree Automata)
机译:
在树自动机上进行计算仿真(减少树自动机的有效技术)
作者:
Parosh A. Abdulla
;
Ahmed Bouajjani
;
Lukas Holik
;
Lisa Kaati
;
Tomas Vpjnar
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
6.
Formal Pervasive Verification of a Paging Mechanism
机译:
寻呼机制的正式普及验证
作者:
Eyad Alkassar
;
Norbert Schirmer
;
Artem Starostin
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
7.
Conditional Probabilities over Probabilistic and Nondeterministic Systems
机译:
概率和不确定系统上的条件概率
作者:
Miguel E. Andres
;
Peter van Rossum
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
8.
RESY: Requirement Synthesis for Compositional Model Checking
机译:
RESY:组成模型检查的需求综合
作者:
Bernd Finkbeiner
;
Hans-Joerg Peter
;
Sven Schewe
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
9.
Rocket-Fast Proof Checking for SMT Solvers
机译:
火箭快速检验SMT解算器
作者:
Michal Moskal
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
10.
SDSIrep: A Reputation System Based on SDSI
机译:
SDSIrep:基于SDSI的信誉系统
作者:
Ahmed Bouajjani
;
Javier Esparza
;
Stefan Schwoon
;
Dejvuth Suwimonteerabuth
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
11.
Computation and Visualisation of Phase Portraits for Model Checking SPDIs
机译:
用于模型检查SPDI的相像的计算和可视化
作者:
Gordon Pace
;
Gerardo Schneider
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
12.
Peephole Partial Order Reduction
机译:
窥孔部分订单减少
作者:
Chao Wang
;
Zijiang Yang
;
Vineet Kahlon
;
Aarti Gupta
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
13.
Z3: An Efficient SMT Solver
机译:
Z3:高效的SMT求解器
作者:
Leonardo de Moura
;
Nikolaj Bjorner
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
14.
Accelerating Interpolation-Based Model-Checking
机译:
加速基于插值的模型检查
作者:
Nicolas Caniart
;
Emmanuel Fleury
;
Jerome Leroux
;
Marc Zeitoun
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
15.
RWset: Attacking Path Explosion in Constraint-Based Test Generation
机译:
RWset:基于约束的测试生成中的攻击路径爆炸
作者:
Peter Boonstoppel
;
Cristian Cadar
;
Dawson Engler
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
16.
The Real-Time Maude Tool
机译:
实时Maude工具
作者:
Peter Csaba OElveczky
;
Jose Meseguer
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
17.
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
机译:
图文法建模和Ad Hoc路由协议的验证
作者:
Mayank Saksena
;
Oskar Wibling
;
Bengt Jonsson
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
18.
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking
机译:
重访电阻可加快I / O效率LTL模型检查
作者:
J. Barnat
;
L. Brim
;
P. Simecek
;
M. Weber
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
19.
Analyzing Stripped Device-Driver Executables
机译:
分析剥离的设备驱动程序可执行文件
作者:
Gogul Balakrishnan
;
Thomas Reps
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
20.
Model Checking-Based Genetic Programming with an Application to Mutual Exclusion
机译:
基于模型检查的遗传规划及其在互斥中的应用
作者:
Gal Katz
;
Doron Peled
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
21.
Interprocedural Analysis of Concurrent Programs Under a Context Bound
机译:
上下文约束下并发程序的过程间分析
作者:
Akash Lal
;
Tayssir Touili
;
Nicholas Kidd
;
Thomas Reps
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
22.
Context-Bounded Analysis of Concurrent Queue Systems
机译:
并发队列系统的上下文边界分析
作者:
Salvatore La Torre
;
P. Madhusudan
;
Gennaro Parlato
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
23.
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
机译:
使用模板多面体的混合系统符号模型检查
作者:
Sriram Sankaranarayanan
;
Thao Dang
;
Pranjo Ivancic
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
24.
Fast Directed Model Checking Via Russian Doll Abstraction
机译:
通过俄罗斯娃娃抽象进行快速定向模型检查
作者:
Sebastian Kupferschmid
;
Joerg Hoffmann
;
Kim G. Larsen
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
25.
Scoot: A Tool for the Analysis of SystemC Models
机译:
酷航:分析SystemC模型的工具
作者:
Nicolas Blanc
;
Daniel Kroening
;
Natasha Sharygina
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
26.
Trusted Source Translation of a Total Function Language
机译:
全功能语言的可信源翻译
作者:
Guodong Li
;
Konrad Slind
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
27.
Efficient Automatic STE Refinement Using Responsibility
机译:
负责任的高效自动STE精炼
作者:
Hana Chockler
;
Orna Grumberg
;
Avi Yadgar
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
28.
Reasoning Algebraically About P-Solvable Loops
机译:
关于P可解环的代数推理
作者:
Laura Kovacs
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
29.
Sviss: Symbolic Verification of Symmetric Systems
机译:
Sviss:对称系统的符号验证
作者:
Thomas Wahl
;
Nicolas Blanc
;
E. Allen Emerson
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
30.
Automatically Refining Abstract Interpretations
机译:
自动提炼抽象解释
作者:
Bhargav S. Gulavani
;
Supratik Chakraborty
;
Aditya V. Nori
;
Sriram K. Rajamani
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
31.
Demand-Driven Compositional Symbolic Execution
机译:
需求驱动的组合符号执行
作者:
Saswat Anand
;
Patrice Godefroid
;
Nikolai Tillmann
会议名称:
《》
|
2008年
32.
Efficient Interpolant Generation in Satisfiability Modulo Theories
机译:
满意模理论中的有效插值生成
作者:
Alessandro Cimatti
;
Alberto Griggio
;
Roberto Sebastiani
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
33.
On Verifying Fault Tolerance of Distributed Protocols
机译:
关于验证分布式协议的容错能力
作者:
Dana Fisman
;
Oma Kupferman
;
Yoad Lustig
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
34.
A SAT-Based Approach to Size Change Termination with Global Ranking Functions
机译:
具有全球排名功能的基于SAT的尺寸更改终止方法
作者:
Amir M. Ben-Amram
;
Michael Codish
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
35.
On Local Reasoning in Verification
机译:
论验证中的局部推理
作者:
Carsten Ihlemann
;
Swen Jacobs
;
Viorica Sofronie-Stokkermans
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
36.
Quantified Invariant Generation Using an Interpolating Saturation Prover
机译:
使用内插饱和证明的量化不变生成
作者:
K.L. McMillan
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
37.
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic
机译:
目标扩展:面向欧米茄自动机和时间逻辑的研究工具
作者:
Yih-Kuen Tsay
;
Yu-Fang Chen
;
Ming-Hsien Tsai
;
Wen-Chin Chan
;
Chi-Jian Luo
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
38.
On Automated Verification of Probabilistic Programs
机译:
关于概率程序的自动验证
作者:
Axel Legay
;
Andrzej S. Murawski
;
Joeel Ouaknine
;
James Worrell
会议名称:
《Tools and Algorithms for the Construction and Analysis of Systems》
|
2008年
意见反馈
回到顶部
回到首页