掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Symposium on NASA Formal Methods
International Symposium on NASA Formal Methods
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Formal Verification by Abstract Interpretation
机译:
通过抽象解释进行正式验证
作者:
Patrick Cousot
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
关键词:
Abstract interpretation;
Abstraction;
Aerospace;
Certification;
Cyber-physical system;
Formal Method;
Mission-critical system;
Runtime error;
Safety-critical system;
Scalability;
Soundness;
Static Analysis;
Validation;
Verification;
2.
A Safety Case Pattern for Model-Based Development Approach
机译:
基于模型的开发方法的安全壳模式
作者:
Anaheed Ayoub
;
BaekGyu Kim
;
Insup Lee
;
Oleg Sokolsky
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
关键词:
Safety cases;
Safety case patterns;
Model-based development approach;
PCA infusion pump;
3.
Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements
机译:
时间动作语言(tal):一种受控语言,用于自然语言时间要求的一致性检查
作者:
Wenbin Li
;
Jane Huffman Hayes
;
Miroslaw Truszczynski
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
4.
Using PVS to Investigate Incidents through the Lens of Distributed Cognition
机译:
使用PVS通过分布式认知镜头调查事件
作者:
Paolo Masci
;
Huayi Huang
;
Paul Curzon
;
Michael D. Harrison
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
关键词:
Theorem proving;
Incident analysis;
Socio-technical system;
5.
Testing Static Analyzers with Randomly Generated Programs
机译:
使用随机生成的程序测试静态分析仪
作者:
Pascal Cuoq
;
Benjamin Monate
;
Anne Pacalet
;
Virgile Prevosto
;
John Regehr
;
Boris Yakobowski
;
Xuejun Yang
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
6.
Enhancing the Inverse Method with State Merging
机译:
增强国家合并的逆方法
作者:
Etienne Andre
;
Laurent Fribourg
;
Romain Soulat
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
7.
Integrating Statechart Components in Polyglot
机译:
将StateChart组件集成在Polyglot中
作者:
Daniel Balasubramanian
;
Corina S. Pasareanu
;
Jason Biatek
;
Thomas Pressburger
;
Gabor Karsai
;
Michael Lowry
;
Michael W. Whalen
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
关键词:
Statecharts;
Analysis;
Modeling;
Testing;
8.
Some Steps into Verification of Exact Real Arithmetic
机译:
有些步骤验证了确切真实算术
作者:
Norbert Th. Muller
;
Christian Uhrhan
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
9.
The Use of Rippling to Automate Event-B Invariant Preservation Proofs
机译:
利用涟漪自动化事件-B不变保存证明
作者:
Yuhui Lin
;
Alan Bundy
;
Gudmund Grov
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
关键词:
Event-B;
Automated reasoning;
Rippling;
Lemma conjecture;
10.
Sound Formal Verification of Linux's USB BP Keyboard Driver
机译:
Linux USB BP键盘驱动程序的声音正式验证
作者:
Willem Penninckx
;
Jan Tobias Muhlberg
;
Jan Smans
;
Bart Jacobs
;
Frank Piessens
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
11.
Runtime Verification Meets Android Security
机译:
运行时验证符合Android安全性
作者:
Andreas Bauer
;
Jan-Christoph Kuster
;
Gil Vegliach
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
12.
Specification in PDL with Recursion
机译:
具有递归的PDL规范
作者:
Xinxin Liu
;
Bingtian Xue
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
关键词:
Specification;
Labeled transition systems;
Propositional dynamic logic;
Modal μ-calculus;
Fixed point;
Satisfiability;
13.
Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages
机译:
类模块化,类逃生和指向对象语言的分析
作者:
Alexander Herz
;
Kalmer Apinis
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
14.
Compositional Verification of Architectural Models
机译:
建筑模型的组成验证
作者:
Darren Cofer
;
Andrew Gacek
;
Steven Miller
;
Michael Whalen
;
Brian LaValley
;
Lui Sha
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
关键词:
Cyber-physical systems;
Design patterns;
Formal methods;
Model checking;
Compositional verification;
SysML;
AADL;
META;
DARPA;
15.
Learning Markov Models for Stationary System Behaviors
机译:
学习马尔可夫模型的静止系统行为
作者:
Yingke Chen
;
Hua Mao
;
Manfred Jaeger
;
Thomas D. Nielsen
;
Kim G. Larsen
;
Brian Nielsen
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
16.
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL
机译:
PVS线性代数库用于验证C / ACSL中的控制软件算法
作者:
Heber Herencia-Zapana
;
Romain Jobredeaux
;
Sam Owre
;
Pierre-Loic Garoche
;
Eric Feron
;
Gilberto Perez
;
Pablo Ascariz
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
17.
A Case Study in Verification of Embedded Network Software
机译:
嵌入式网络软件验证案例研究
作者:
Kalyan C. Regula
;
Hampton Smith
;
Heather H. Keown
;
Jason O. Hallstrom
;
Nigamanth Sridhar
;
Murali Sitaraman
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
18.
A Semantic Analysis of Wireless Network Security Protocols
机译:
无线网络安全协议的语义分析
作者:
Damiano Macedonio
;
Massimo Merro
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
19.
Lessons Learnt from the Adoption of Formal Model-Based Development
机译:
从采用正式模式的发展中汲取的经验教训
作者:
Alessio Ferrari
;
Alessandro Fantechi
;
Stefania Gnesi
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
20.
Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm
机译:
隐藏马尔可夫模拟模拟逻辑表征和决策算法的信念
作者:
David N. Jansen
;
Flemming Nielson
;
Lijun Zhang
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
21.
Incremental Verification with Mode Variable Invariants in State Machines
机译:
使用Mode可变不变状态在状态机中的增量验证
作者:
Temesghen Kahsai
;
Pierre-Loic Garoche
;
Cesare Tinelli
;
Mike Whalen
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
22.
Abstract Model Repair
机译:
抽象式样修理
作者:
George Chatzieleftheriou
;
Borzoo Bonakdarpour
;
Scott A. Smolka
;
Panagiotis Katsaros
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
关键词:
Model Repair;
Model Checking;
Abstraction Refinement;
23.
Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines
机译:
符号执行通信和分层组合UML-RT状态机
作者:
Karolina Zurowska
;
Juergen Dingel
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
24.
Checking and Distributing Statistical Model Checking
机译:
检查和分发统计模型检查
作者:
Peter Bulychev
;
Alexandre David
;
Kim G. Larsen
;
Axel Legay
;
Marius Mikucionis
;
Danny Bogsted Poulsen
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
25.
Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study
机译:
使用SMT求解器自动证明数千条验证条件:实证研究
作者:
Aditi Tagore
;
Diego Zaccai
;
Bruce W. Weide
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
26.
Quantitative Timed Analysis of Interactive Markov Chains
机译:
互动马尔可夫链的定量定时分析
作者:
Dennis Guck
;
Tingting Han
;
Joost-Pieter Katoen
;
Martin R. Neuhausser
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
27.
CLSE: Closed-Loop Symbolic Execution
机译:
CLSE:闭环符号执行
作者:
Rupak Majumdar
;
Indranil Saha
;
K. C. Shashidhar
;
Zilong Wang
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
28.
Thread-Modular Model Checking with Iterative Refinement
机译:
用迭代细化的线程模型检查
作者:
Wenrui Meng
;
Fei He
;
Bow-Yaw Wang
;
Qiang Liu
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
29.
Towards LTL Model Checking of Unmodified Thread-Based C C++ Programs
机译:
致于LTL模型检查未修改的基于线程的C&C ++程序
作者:
J. Barnat
;
L. Brim
;
P. Rockai
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
30.
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms
机译:
基于参数正时的相互排除算法自动分析
作者:
Roberto Bruttomesso
;
Alessandro Carioni
;
Silvio Ghilardi
;
Silvio Ranise
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
31.
On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols
机译:
关于现实生活安全协议可扩展代码生成器的开发与正式化
作者:
Michael Backes
;
Alex Busenius
;
Catalin Hritcu
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
32.
Rigorous Polynomial Approximation Using Taylor Models in CoQ
机译:
使用泰勒模型在COQ中的严格多项式近似
作者:
Nicolas Brisebarre
;
Mioara Joldes
;
Erik Martin-Dorel
;
Micaela Mayero
;
Jean-Michel Muller
;
Ioana Pasca
;
Laurence Rideau
;
Laurent Thery
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
关键词:
Certified error bounds;
Taylor models;
Coq proof assistant;
Rigorous polynomial approximation;
33.
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems
机译:
高效符号执行关键系统的基于价值的数据结构
作者:
Jason Belt
;
Robby
;
Patrice Chalin
;
John Hatcliff
;
Xianghua Deng
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
34.
Runtime Verification with Predictive Semantics
机译:
使用预测语义进行运行时验证
作者:
Xian Zhang
;
Martin Leucker
;
Wei Dong
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
关键词:
Runtime Verification;
Three-Valued Semantics;
Predictive Semantics;
Program Dependence Graph;
35.
Inferring Definite Counterexamples through Under-Approximation
机译:
通过近似推断明确的反脉络数
作者:
Jorg Brauer
;
Axel Simon
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
36.
Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging
机译:
修改测试套件组成,以实现有效的谓词级别统计调试
作者:
Ross Gore
;
Paul F. Reynolds
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
关键词:
Causal model;
Matching;
Debugging;
Safety-critical systems;
37.
Generating Verifiable Java Code from Verified PVS Specifications
机译:
从已验证的PVS规范生成可验证的Java代码
作者:
Leonard Lensink
;
Sjaak Smetsers
;
Marko van Eekelen
会议名称:
《International Symposium on NASA Formal Methods》
|
2012年
38.
On Designing an ACL2-Based C Integer Type Safety Checking Tool
机译:
设计基于ACL2的C整数型安全检查工具
作者:
Kevin Krause
;
Jim Alves-Foss
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
implementation;
discussion;
operations;
39.
Hierarchical Safety Cases
机译:
分层安全案例
作者:
Ewen Denney
;
Ganesh Pai
;
Iain Whiteside
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
Abstraction;
Automation;
Formal methods;
Hierarchy;
Safety assurance;
Safety cases;
40.
PyNuSMV: NuSMV as a Python Library
机译:
pynusmv:nusmv作为python库
作者:
Simon Busard
;
Charles Pecheur
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
Symbolic Model Checking;
NuSMV;
Python Interface;
Binary Decision Diagrams;
41.
Extracting Hybrid Automata from Control Code
机译:
从控制代码中提取混合自动机
作者:
Steven Lyde
;
Matthew Might
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
examples;
properties;
transition;
42.
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
机译:
验证数值程序:从实数到浮点数
作者:
Alwyn E. Goodloe
;
Cesar Munoz
;
Florent Kirchner
;
Loic Correnson
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
43.
OnTrack: An Open Tooling Environment for Railway Verification
机译:
Ontrack:铁路验证的开放式工具环境
作者:
Phillip James
;
Matthew Trumble
;
Helen Treharne
;
Markus Roggenbach
;
Steve Schneider
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
44.
OnTrack: An Open Tooling Environment for Railway Verification
机译:
Ontrack:铁路验证的开放式工具环境
作者:
Phillip James
;
Matthew Trumble
;
Helen Treharne
;
Markus Roggenbach
;
Steve Schneider
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
verification;
languages;
specification;
45.
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers
机译:
验证数值程序:从实数到浮点数
作者:
Alwyn E. Goodloe
;
César Mu?oz
;
Florent Kirchner
;
Lo?c Correnson
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
correctness;
conditions;
Verification;
46.
On Designing an ACL2-Based C Integer Type Safety Checking Tool
机译:
设计基于ACL2的C整数型安全检查工具
作者:
Kevin Krause
;
Jim Alves-Foss
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
47.
jUnit~(RV)-Adding Runtime Verification to jUnit
机译:
JUNIT〜(RV) - 向JUNIT进行运行时验证
作者:
Normann Decker
;
Martin Leucker
;
Daniel Thoma
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
properties;
paths;
properties;
48.
Extracting Hybrid Automata from Control Code
机译:
从控制代码中提取混合自动机
作者:
Steven Lyde
;
Matthew Might
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
49.
jUnit~(RV) - Adding Runtime Verification to jUnit
机译:
JUnit〜(RV) - 将运行时验证添加到JUnit
作者:
Normann Decker
;
Martin Leucker
;
Daniel Thoma
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
50.
Hierarchical Safety Cases
机译:
分层安全案例
作者:
Ewen Denney
;
Ganesh Pai
;
Iain Whiteside
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
Abstraction;
Automation;
Formal methods;
Hierarchy;
Safety assurance;
Safety cases;
51.
PyNuSMV: NuSMV as a Python Library
机译:
pynusmv:nusmv作为python库
作者:
Simon Busard
;
Charles Pecheur
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
Symbolic Model Checking;
NuSMV;
Python Interface;
Binary Decision Diagrams;
52.
Using Language Engineering to Lift Languages and Analyses at the Domain Level
机译:
使用语言工程在域级提升语言和分析
作者:
Daniel Ratiu
;
Markus Voelter
;
Bernd Kolb
;
Bernhard Schaetz
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
subsets;
workbenches;
extensions;
53.
Formal Verification of a Parameterized Data Aggregation Protocol
机译:
参数化数据聚合协议的正式验证
作者:
Sergio Feo-Arenis
;
Bernd Westphal
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
verification;
forms;
method;
54.
Formal Verification of a Parameterized Data Aggregation Protocol
机译:
参数化数据聚合协议的正式验证
作者:
Sergio Feo-Arenis
;
Bernd Westphal
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
55.
Using Language Engineering to Lift Languages and Analyses at the Domain Level
机译:
使用语言工程在域级提升语言和分析
作者:
Daniel Ratiu
;
Markus Voelter
;
Bernd Kolb
;
Bernhard Schaetz
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
56.
LiquidPi: Inferrable Dependent Session Types
机译:
液晶液:可脱型依赖会话类型
作者:
Dennis Griffith
;
Elsa L. Gunter
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
57.
LiquidPi: Inferrable Dependent Session Types
机译:
液晶液:可脱型依赖会话类型
作者:
Dennis Griffith
;
Elsa L. Gunter
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
properties;
templates;
description;
58.
Numerical Abstract Domain Using Support Functions
机译:
使用支持功能的数字抽象域
作者:
Yassamine Seladji
;
Olivier Bouissou
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
computations;
directions;
method;
59.
On-the-Fly Confluence Detection for Statistical Model Checking
机译:
用于统计模型检查的无汇汇量检测
作者:
Arnd Hartmanns
;
Mark Timmer
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
60.
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems
机译:
全球异步局部时间触发系统的新鲜度和反应性分析
作者:
Frederic Boniol
;
Michael Lauer
;
Claire Pagetti
;
Jerome Ermont
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
Real-time systems;
Embedded systems;
End-to-end analysis;
61.
Optimizing Control Strategy Using Statistical Model Checking
机译:
利用统计模型检查优化控制策略
作者:
Alexandre David
;
Dehui Du
;
Kim Guldstrand Larsen
;
Axel Legay
;
Marius Miku?ionis
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
comparison;
estimates;
experiments;
62.
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations
机译:
与泰勒间隔近似的非线性不等式的正式验证
作者:
Alexey Solovyev
;
Thomas C. Hales
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
63.
Towards Complete Specifications with an Error Calculus
机译:
以误差微积分完成规格
作者:
Quang Loc Le
;
Asankhaya Sharma
;
Florin Craciun
;
Wei-Ngan Chin
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
verification;
experiments;
objectives;
64.
Improved on-the-Fly Livelock Detection Combining Partial Order Reduction and Parallelism for DFS_(FIFO)
机译:
改进的禁用加速度检测结合了部分顺序减少和DFS_(FIFO)的平行
作者:
Alfons Laarman
;
David Farago
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
65.
Towards Complete Specifications with an Error Calculus
机译:
以误差微积分完成规格
作者:
Quang Loc Le
;
Asankhaya Sharma
;
Florin Craciun
;
Wei-Ngan Chin
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
66.
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems
机译:
从UML处理代数和返回:一种自动化的模型检查软件设计伪像的自动化方法
作者:
Daniela Remenska
;
Jeff Templon
;
Tim A. C. Willemse
;
Philip Homburg
;
Kees Verstoep
;
Adria Casajus
;
Henri Bal
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
Formal methods;
Software engineering;
UML;
67.
Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking
机译:
用误解生成和模型检查评估人类通信协议
作者:
Matthew L. Bolton
;
Ellen J. Bass
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
Task analysis;
Human-human communication;
Air traffic control;
Formal methods;
Model checking;
Human error;
68.
Widening as Abstract Domain
机译:
作为抽象领域加宽
作者:
Bogdan Mihaila
;
Alexander Sepp
;
Axel Simon
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
69.
Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing
机译:
使用模型检查来揭示篡改的脆弱性
作者:
Rody Kersten
;
Bernard van Gastel
;
Manu Drijvers
;
Sjaak Smetsers
;
Marko van Eekelen
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
Security;
Model-checking;
Spin;
Wi-Fi Protected Setup;
Tamper-Evident Pairing;
70.
Statistical Model Checking of Wireless Mesh Routing Protocols
机译:
无线网状路由协议的统计模型检查
作者:
Peter Hofner
;
Annabelle McIver
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
71.
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods
机译:
用数值方法封闭动态系统的时间演变
作者:
Olivier Bouissou
;
Alexandre Chapoutot
;
Adel Djoudi
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
integration;
integration;
simulation;
72.
Improved State Space Reductions for LTL Model Checking of C and C++ Programs
机译:
改进了用于C和C ++程序的LTL模型检查的状态空间缩短
作者:
Petr Rockai
;
Jiri Barnat
;
Lubos Brim
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
73.
Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers?
机译:
使用基于逻辑的自动抽象变压器的增量不变生成?
作者:
Pierre-Lo?c Garoche
;
Temesghen Kahsai
;
Cesare Tinelli
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
interpreters;
precision;
computation;
74.
Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory
机译:
具有施加到量子理论的无限尺寸线性空间的形式化
作者:
Mohamed Yousri Mahmoud
;
Vincent Aravantinos
;
Sofiene Tahar
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
75.
Improved State Space Reductions for LTL Model Checking of C and C++ Programs
机译:
改进了用于C和C ++程序的LTL模型检查的状态空间缩短
作者:
Petr Ro?kai
;
Ji?í Barnat
;
Lubo? Brim
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
program;
representation;
configurations;
76.
Widening as Abstract Domain
机译:
作为抽象领域加宽
作者:
Bogdan Mihaila
;
Alexander Sepp
;
Axel Simon
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
approach;
precision;
program;
77.
Formal Stability Analysis of Optical Resonators
机译:
光学谐振器的正式稳定性分析
作者:
Umair Siddique
;
Vincent Aravantinos
;
Sofiène Tahar
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
mirrors;
lenses;
system;
78.
Verifying a Privacy CA Remote Attestation Protocol
机译:
验证隐私CA Remote Attestation协议
作者:
Brigid Halling
;
Perry Alexander
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
specification;
Postconditions;
procedures;
79.
SMT-Based Analysis of Biological Computation
机译:
基于SMT的生物计算分析
作者:
Boyan Yordanov
;
Christoph M. Wintersteiger
;
Youssef Hamadi
;
Hillel Kugler
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
challenges;
challenges;
obtain;
80.
Regular Model Checking Using Solver Technologies and Automata Learning
机译:
使用Solver Technologies和Automata学习的定期模型检查
作者:
Daniel Neider
;
Nils Jansen
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
approaches;
counterexamples;
restriction;
81.
Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers
机译:
使用基于逻辑的自动抽象变压器的增量不变生成
作者:
Pierre-Loic Garoche
;
Temesghen Kahsai
;
Cesare Tinelli
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
82.
Regular Model Checking Using Solver Technologies and Automata Learning
机译:
使用Solver Technologies和Automata学习的定期模型检查
作者:
Daniel Neider
;
Nils Jansen
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
83.
Inferring Automata with State-Local Alphabet Abstractions
机译:
使用状态本地字母抽象推断自动机
作者:
Malte Isberner
;
Falk Howar
;
Bernhard Steffen
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
84.
On-the-Fly Confluence Detection for Statistical Model Checking
机译:
用于统计模型检查的无汇汇量检测
作者:
Arnd Hartmanns
;
Mark Timmer
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
strengths;
limitations;
approach;
85.
Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations
机译:
与泰勒间隔近似的非线性不等式的正式验证
作者:
Alexey Solovyev
;
Thomas C. Hales
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
inequalities;
includes;
verification;
86.
Automatically Detecting Inconsistencies in Program Specifications
机译:
自动检测程序规范中的不一致
作者:
Aditi Tagore
;
Bruce W. Weide
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
parameter;
techniques;
specifications;
87.
BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software
机译:
祝福:用软件嵌入式系统的正式规范和验证
作者:
Brian R. Larson
;
Patrice Chalin
;
John Hatcliff
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
pacemaker;
examples;
verification;
88.
Evaluating Human-Human Communication Protocols with Miscommunication Generation and Model Checking
机译:
用误解生成和模型检查评估人类通信协议
作者:
Matthew L. Bolton
;
Ellen J. Bass
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
Task analysis;
Human-human communication;
Air traffic control;
Formal methods;
Model checking;
Human error;
89.
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems
机译:
从UML处理代数和返回:一种自动化的模型检查软件设计伪像的自动化方法
作者:
Daniela Remenska
;
Jeff Templon
;
Tim A.C. Willemse
;
Philip Homburg
;
Kees Verstoep
;
Adria Casajus
;
Henri Bal
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
formal methods;
software engineering;
UML;
90.
Optimizing Control Strategy Using Statistical Model Checking
机译:
利用统计模型检查优化控制策略
作者:
Alexandre David
;
Dehui Du
;
Kim Guldstrand Larsen
;
Axel Legay
;
Marius Mikucionis
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
91.
Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding
机译:
通过冲突定向延迟界限与原子的GPU计划正式分析
作者:
Wei-Fan Chiang
;
Ganesh Gopalakrishnan
;
Guodong Li
;
Zvonimir Rakamari?
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
correctness;
comparison;
synchronization;
92.
Bounded Lazy Initialization
机译:
有界延迟初始化
作者:
Jaco Geldenhuys
;
Nazareno Aguirre
;
Marcelo F. Frias
;
Willem Visser
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
structures;
correctness;
initialization;
93.
Verifying a Privacy CA Remote Attestation Protocol
机译:
验证隐私CA Remote Attestation协议
作者:
Brigid Halling
;
Perry Alexander
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
94.
Freshness and Reactivity Analysis in Globally Asynchronous Locally Time-Triggered Systems
机译:
全球异步局部时间触发系统的新鲜度和反应性分析
作者:
Frédéric Boniol
;
Micha?l Lauer
;
Claire Pagetti
;
Jér?me Ermont
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
Real-time systems;
embedded systems;
end-to-end analysis;
95.
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select
机译:
概率定量分析概率 - 写入/复制 - 选择
作者:
Christel Baier
;
Benjamin Engel
;
Sascha Kluppelholz
;
Steffen Marcker
;
Hendrik Tews
;
Marcus Volp
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
96.
Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution
机译:
使用模型检查和符号执行自动验证教堂程序
作者:
Timothy K. Zirkel
;
Stephen F. Siegel
;
Timothy McClory
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
97.
Inferring Automata with State-Local Alphabet Abstractions
机译:
使用状态本地字母抽象推断自动机
作者:
Malte Isberner
;
Falk Howar
;
Bernhard Steffen
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
performance;
reduction;
queries;
98.
Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding
机译:
通过冲突定向延迟界限与原子的GPU计划正式分析
作者:
Wei-Fan Chiang
;
Ganesh Gopalakrishnan
;
Guodong Li
;
Zvonimir Rakamaric
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
99.
Improved on-the-Fly Livelock Detection Combining Partial Order Reduction and Parallelism for DFS_(fifo)
机译:
改进的禁用加速度检测结合了部分顺序减少和DFS_(FIFO)的平行
作者:
Alfons Laarman
;
David Faragó
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
关键词:
imposes;
reduction;
detection;
100.
Bounded Lazy Initialization
机译:
有界延迟初始化
作者:
Jaco Geldenhuys
;
Nazareno Aguirre
;
Marcelo F. Frias
;
Willem Visser
会议名称:
《International Symposium on NASA Formal Methods》
|
2013年
意见反馈
回到顶部
回到首页