掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on runtime verification
International conference on runtime verification
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Witnessing Compiler: A Proof of Concept
机译:
见证编译器:概念验证
作者:
Kedar S. Namjoshi
;
Giacomo Tagliabue
;
Lenore D. Zuck
会议名称:
《International conference on runtime verification》
|
2013年
2.
Dynamic Analysis and Debugging of Binary Code for Security Applications
机译:
安全应用中二进制代码的动态分析和调试
作者:
Lixin Li
;
Chao Wang
会议名称:
《International conference on runtime verification》
|
2013年
3.
Preface
机译:
前言
作者:
Saddek Bensalem
会议名称:
《International conference on runtime verification》
|
2013年
4.
A Causality Analysis Framework for Component-Based Real-Time Systems
机译:
基于组件的实时系统的因果关系分析框架
作者:
Shaohui Wang
;
Anaheed Ayoub
;
BaekGyu Kim
;
Gregor Goessler
;
Oleg Sokolsky
;
Insup Lee
会议名称:
《International conference on runtime verification》
|
2013年
5.
Distributed Finite-State Runtime Monitoring with Aggregated Events
机译:
具有聚合事件的分布式有限状态运行时监视
作者:
Kevin Falzon
;
Eric Bodden
;
Rahul Purandare
会议名称:
《International conference on runtime verification》
|
2013年
6.
Synthesising Correct Concurrent Runtime Monitors (Extended Abstract)
机译:
综合正确的并发运行时监视器(扩展摘要)
作者:
Adrian Francalanza
;
Aldrin Seychell
会议名称:
《International conference on runtime verification》
|
2013年
关键词:
runtime verification;
monitor synthesis;
concurrency;
actors;
Erlang;
7.
Efficient Model to Query and Visualize the System States Extracted from Trace Data
机译:
查询和可视化从跟踪数据中提取的系统状态的有效模型
作者:
Alexandra Montplaisir
;
Naser Ezzati-Jivan
;
Florian Wininger
;
Michel Dagenais
会议名称:
《International conference on runtime verification》
|
2013年
8.
Repair Abstractions for More Efficient Data Structure Repair
机译:
修复抽象,实现更高效的数据结构修复
作者:
Razieh Nokhbeh Zaeem
;
Muhammad Zubair Malik
;
Sarfraz Khurshid
会议名称:
《International conference on runtime verification》
|
2013年
关键词:
Data structure repair;
Error recovery;
Runtime analysis;
9.
To Run What No One Has Run Before: Executing an Intermediate Verification Language
机译:
运行之前没有人运行的内容:执行中间验证语言
作者:
Nadia Polikarpova
;
Carlo A. Furia
;
Scott West
会议名称:
《International conference on runtime verification》
|
2013年
10.
Towards a Generic Non-intrusive Fault Detection Framework
机译:
迈向通用的非侵入式故障检测框架
作者:
Jukka Julku
;
Mika Rautila
会议名称:
《International conference on runtime verification》
|
2013年
关键词:
Fault detection;
runtime verification;
framework;
testing;
11.
Runtime Monitoring of Temporal Logic Properties in a Platform Game
机译:
平台游戏中时间逻辑属性的运行时监视
作者:
Simon Varvaressos
;
Dominic Vaillancourt
;
Sebastien Gaboury
;
Alexandre Blondin Masse
;
Sylvain Halle
会议名称:
《International conference on runtime verification》
|
2013年
12.
SMock - A Test Platform for Monitoring Tools
机译:
SMock-监控工具的测试平台
作者:
Christian Colombo
;
Ruth Mizzi
;
Gordon J. Pace
会议名称:
《International conference on runtime verification》
|
2013年
13.
Right-Universality of Visibly Pushdown Automata
机译:
可视下推自动机的右通用性
作者:
Veronique Bruyere
;
Marc Ducobu
;
Olivier Gauwin
会议名称:
《International conference on runtime verification》
|
2013年
14.
Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations
机译:
通过过滤干扰配置优化Nop-shadows类型状态分析
作者:
Chengsong Wang
;
Zhenbang Chen
;
Xiaoguang Mao
会议名称:
《International conference on runtime verification》
|
2013年
关键词:
Typestate Analysis;
Runtime Monitoring;
Static Analysis;
Nop-shadows Analysis;
15.
Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores
机译:
利用片上数据并行内核加速数据竞争检测
作者:
Vineeth Mekkat
;
Anup Holey
;
Antonia Zhai
会议名称:
《International conference on runtime verification》
|
2013年
16.
With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures
机译:
通过实时性能分析和监控来定时预测多核体系结构的使用
作者:
Kai Lampka
会议名称:
《International conference on runtime verification》
|
2013年
17.
Practical Interruptible Conversations Distributed Dynamic Verification with Session Types and Python
机译:
具有会话类型和Python的实用可中断对话分布式动态验证
作者:
Raymond Hu
;
Rumyana Neykova
;
Nobuko Yoshida
;
Romain Demangeon
;
Kohei Honda
会议名称:
《International conference on runtime verification》
|
2013年
18.
SPY: Local Verification of Global Protocols
机译:
SPY:全局协议的本地验证
作者:
Rumyana Neykova
;
Nobuko Yoshida
;
Raymond Hu
会议名称:
《International conference on runtime verification》
|
2013年
19.
Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques
机译:
通过集成事件触发和时间触发的技术来减少监视开销
作者:
Chun Wah Wallace Wu
;
Deepak Kumar
;
Borzoo Bonakdarpour
;
Sebastian Fischmeister
会议名称:
《International conference on runtime verification》
|
2013年
20.
A Lesson on Runtime Assertion Checking with Frama-C
机译:
关于使用Frama-C进行运行时断言检查的课程
作者:
Nikolai Kosmatov
;
Julien Signoles
会议名称:
《》
|
2013年
关键词:
runtime assertion checking;
program monitoring;
executable specification;
invalid pointers;
Frama-C;
e-acsl;
21.
Runtime Verification with Particle Filtering
机译:
使用粒子过滤的运行时验证
作者:
Kenan Kalajdzic
;
Ezio Bartocci
;
Scott A. Smolka
;
Scott D. Stoller
;
Radu Grosu
会议名称:
《International conference on runtime verification》
|
2013年
22.
Runtime Verification and Refutation for Biological Systems
机译:
生物系统的运行时验证和驳回
作者:
Hillel Kugler
会议名称:
《International conference on runtime verification》
|
2013年
23.
A Scala DSL for Rete-Based Runtime Verification
机译:
用于基于Rete的运行时验证的Scala DSL
作者:
Klaus Havelund
会议名称:
《International conference on runtime verification》
|
2013年
24.
A Late Treatment of C Precondition in Dynamic Symbolic Execution Testing Tools
机译:
动态符号执行测试工具中C前提的后期处理
作者:
Mickaeel Delahaye
;
Nikolai Kosmatov
会议名称:
《International conference on runtime verification》
|
2013年
关键词:
test input generation;
dynamic symbolic execution;
concolic testing;
executable preconditions;
25.
Monitoring of Temporal First-Order Properties with Aggregations
机译:
通过聚合监视时间一阶属性
作者:
David Basin
;
Felix Klaedtke
;
Srdjan Marinovic
;
Eugen Zalinescu
会议名称:
《International conference on runtime verification》
|
2013年
26.
From Propositional to First-Order Monitoring
机译:
从命题监视到一阶监视
作者:
Andreas Bauer
;
Jan-Christoph Kuester
;
Gil Vegliach
会议名称:
《International conference on runtime verification》
|
2013年
27.
Instrumenting Android and Java Applications as Easy as abc
机译:
像abc一样容易地检测Android和Java应用程序
作者:
Steven Arzt
;
Siegfried Rasthofer
;
Eric Bodden
会议名称:
《International conference on runtime verification》
|
2013年
关键词:
Android;
Java;
Security;
Dynamic Analysis;
Runtime Enforcement;
28.
On Signal Temporal Logic
机译:
信号时态逻辑
作者:
Alexandre Donze
会议名称:
《International conference on runtime verification》
|
2013年
29.
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs
机译:
用于C程序的运行时断言检查的优化内存监视
作者:
Nikolai Kosmatov
;
Guillaume Petiot
;
Julien Signoles
会议名称:
《International conference on runtime verification》
|
2013年
关键词:
runtime assrtion checking;
memory monitoring;
executable specification;
invalid pointers;
memory-related errors;
Frama-C;
E-ACSL;
30.
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties
机译:
监视可见上下文无关属性的公正性和预期
作者:
Normann Decker
;
Martin Leucker
;
Daniel Thoma
会议名称:
《International conference on runtime verification》
|
2013年
31.
Executing Specifications Using Synthesis and Constraint Solving
机译:
使用综合和约束求解来执行规范
作者:
Viktor Kuncak
;
Etienne Kneuss
;
Philippe Suter
会议名称:
《International conference on runtime verification》
|
2013年
32.
Informative Types and Effects for Hybrid Migration Control
机译:
混合迁移控制的信息类型和效果
作者:
Ana Almeida Matos
;
Jan Cederquist
会议名称:
《International conference on runtime verification》
|
2013年
意见反馈
回到顶部
回到首页