掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Symposium on Formal Methods
International Symposium on Formal Methods
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Who Are We, and What Are We Doing Here?
机译:
我们是谁,我们在这做什么?
作者:
Alan Wassyng
会议名称:
《International Symposium on Formal Methods》
|
2012年
2.
Distribution of Modal Transition Systems
机译:
模态过渡系统的分布
作者:
German E. Sibay
;
Sebastian Uchitel
;
Victor Braberman
;
Jeff Kramer
会议名称:
《International Symposium on Formal Methods》
|
2012年
关键词:
Modal Transition Systems;
Distribution;
3.
Efficient Malware Detection Using Model-Checking
机译:
使用模型检查有效恶意软件检测
作者:
Fu Song
;
Tayssir Touili
会议名称:
《International Symposium on Formal Methods》
|
2012年
4.
Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction
机译:
通过验证的BDD构建说明指针操纵算法的正确性
作者:
Mathieu Giorgino
;
Martin Strecker
会议名称:
《International Symposium on Formal Methods》
|
2012年
关键词:
Verification of imperative algorithms;
Pointer algorithms;
Modular Program Development;
Binary Decision Diagram;
5.
JULIENNE: A Trace Slicer for Conditional Rewrite Theories
机译:
Julienne:条件改写理论的痕迹切片机
作者:
Maria Alpuente
;
Demis Ballis
;
Francisco Frechina
;
Daniel Romero
会议名称:
《International Symposium on Formal Methods》
|
2012年
6.
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness
机译:
一种建模胁迫性抵抗和收货Freeness的正式框架
作者:
James Heather
;
Steve Schneider
会议名称:
《International Symposium on Formal Methods》
|
2012年
关键词:
Secure voting;
CSP;
Coercion-resistance;
Receipt-freeness;
7.
Maximal and Compositional Pattern-Based Loop Invariants
机译:
基于最大和组成模式的循环不变
作者:
Virginia Aponte
;
Pierre Courtieu
;
Yannick Moy
;
Marc Sango
会议名称:
《International Symposium on Formal Methods》
|
2012年
关键词:
Loop invariants;
Compositional reasoning;
Automatic invariant generation;
8.
From Hoare Logic to Matching Logic Reachability
机译:
从Hoare逻辑到匹配逻辑到达性
作者:
Grigore Rosu
;
Andrei Stefanescu
会议名称:
《International Symposium on Formal Methods》
|
2012年
9.
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
机译:
当组件的结构细化时,在重新配置中保持时间特性
作者:
Julien Dormoy
;
Olga Kouchnarenko
;
Arnaud Lanoix
会议名称:
《International Symposium on Formal Methods》
|
2012年
10.
A Certified Constraint Solver over Finite Domains
机译:
有限域的认证约束求解器
作者:
Matthieu Carlier
;
Catherine Dubois
;
Arnaud Gotlieb
会议名称:
《International Symposium on Formal Methods》
|
2012年
11.
Applying Software Model Checking Techniques for Behavioral UML Models
机译:
应用软件模型检查行为UML模型的技术
作者:
Oma Grumberg
;
Yael Meller
;
Karen Yorav
会议名称:
《International Symposium on Formal Methods》
|
2012年
12.
Automatic Compositional Verification of Timed Systems
机译:
定时系统的自动组成验证
作者:
Shang-Wei Lin
;
Yang Liu
;
Jun Sun
;
Jin Song Dong
;
Etienne Andre
会议名称:
《International Symposium on Formal Methods》
|
2012年
13.
A 'Hybrid' Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example
机译:
一种用于合成混合系统最优控制器的“混合”方法 - 以油泵工业实例为例
作者:
Hengjun Zhao
;
Naijun Zhan
;
Deepak Kapur
;
Kim G. Larsen
会议名称:
《International Symposium on Formal Methods》
|
2012年
关键词:
Hybrid System;
Optimal Control;
Quantifier Elimination;
Numerical Computation;
14.
Decentralised LTL Monitoring
机译:
分散的LTL监测
作者:
Andreas Bauer
;
Ylies Falcone
会议名称:
《International Symposium on Formal Methods》
|
2012年
15.
VMC: A Tool for Product Variability Analysis
机译:
VMC:产品可变性分析的工具
作者:
Maurice H. ter Beek
;
Franco Mazzanti
;
Aldi Sulova
会议名称:
《International Symposium on Formal Methods》
|
2012年
16.
Formalization of Incremental Simplex Algorithm by Stepwise Refinement
机译:
逐步细化的增量单纯形算法的形式化
作者:
Mirko Spasic
;
Filip Maric
会议名称:
《International Symposium on Formal Methods》
|
2012年
17.
Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions
机译:
具有象征性泰勒扩展的浮点循环误差严格估计
作者:
Alexey Solovyev
;
Charles Jacobsen
;
Zvonimir Rakamaric
;
Ganesh Gopalakrishnan
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Floating-point;
Round-off error analysis;
Global optimization;
18.
Probabilistic Bisimulation for Realistic Schedulers
机译:
现实调度率的概率分析
作者:
Christian Eisentraut
;
Jens Chr. Godskesen
;
Holger Hermanns
;
Lei Song
;
Lijun Zhang
会议名称:
《International Symposium on Formal Methods》
|
2015年
19.
Property-Driven Fence Insertion Using Reorder Bounded Model Checking
机译:
使用重新排序界限模型检查插入物业驱动的栅栏
作者:
Saurabh Joshi
;
Daniel Kroening
会议名称:
《International Symposium on Formal Methods》
|
2015年
20.
Formal Virtual Modelling and Data Verification for Supervision Systems
机译:
监督系统的正式虚拟建模和数据验证
作者:
Thierry Lecomte
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
B Method;
Safety critical system;
Event-B;
Model animation;
Model checking;
21.
A Fully Verified Container Library
机译:
一个完全验证的容器库
作者:
Nadia Polikarpova
;
Julian Tschannen
;
Carlo A. Furia
会议名称:
《International Symposium on Formal Methods》
|
2015年
22.
Certificates for Parameterized Model Checking
机译:
参数化模型检查证书
作者:
Sylvain Conchon
;
Alain Mebsout
;
Fatiha Zaidi
会议名称:
《International Symposium on Formal Methods》
|
2015年
23.
Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests
机译:
使用Simulink设计验证程序进行自动生成基于需求的测试
作者:
Bruno Miranda
;
Henrique Masini
;
Rodrigo Reis
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Model-based testing;
Software verification;
Requirements-based testing;
RBT;
24.
AVACS: Automatic Verification and Analysis of Complex Systems Highlights and Lessons Learned
机译:
AVACS:复杂系统的自动验证和分析亮点和经验教训
作者:
Werner Damm
会议名称:
《International Symposium on Formal Methods》
|
2015年
25.
Analyzing the Restart Behavior of Industrial Control Applications
机译:
分析工业控制应用的重启行为
作者:
Stefan Hauck-Stattelmann
;
Sebastian Biallas
;
Bastian Schlich
;
Stefan Kowalewski
;
Raoul Jetley
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Static Analysis;
Abstract Interpretation;
Programmable Logic Controllers;
26.
A Specification Language for Static and Runtime Verification of Data and Control Properties
机译:
数据和控制属性的静态和运行时验证的规范语言
作者:
Wolfgang Ahrendt
;
Jesus Mauricio Chimento
;
Gordon J. Pace
;
Gerardo Schneider
会议名称:
《International Symposium on Formal Methods》
|
2015年
27.
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems
机译:
Autofunk:生产系统的基于推断的正式模型生成框架
作者:
William Durand
;
Sebastien Salva
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Model inference;
Symbolic transition system;
Expert system;
Production system;
Regression testing;
28.
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking
机译:
模型检查同步数据流图的静态最优调度
作者:
Xue-Yang Zhu
;
Rongjie Yan
;
Yu-Lei Gu
;
Jian Zhang
;
Wenhui Zhang
;
Guangquan Zhang
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Data Flow Graphs;
Throughput;
Energy Consumption;
Multi-constraint;
Timed Automata;
UPPAAL;
29.
Model-Based Problem Solving for University Timetable Validation and Improvement
机译:
基于模型的问题解决,用于大学时间表验证和改进
作者:
David Schneider
;
Michael Leuschel
;
Tobias Witt
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
B-method;
Constraint programming;
Timetabling;
Scheduling;
30.
Parameter Synthesis Through Temporal Logic Specifications
机译:
通过时间逻辑规范参数综合
作者:
Thao Dang
;
Tommaso Dreossi
;
Carla Piazza
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Parameter synthesis;
STL;
Biological systems;
Reachability;
31.
Verifying the Safety of a Flight-Critical System
机译:
验证飞行关键系统的安全性
作者:
Guillaume Brat
;
David Bushnell
;
Misty Davies
;
Dimitra Giannakopoulou
;
Falk Howar
;
Temesghen Kahsai
会议名称:
《International Symposium on Formal Methods》
|
2015年
32.
Practices for Formal Models as Documents: Evolution of VDM Application to 'Mobile FeliCa' IC Chip Firmware
机译:
正式模型的实践作为文件:VDM应用的演变为“移动Felica”IC芯片固件
作者:
Taro Kurita
;
Fuyuki Ishikawa
;
Keijiro Araki
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Formal Specification;
VDM;
Industrial Application;
33.
Counterexamples for Expected Rewards
机译:
预期奖励的强调
作者:
Tim Quatmann
;
Nils Jansen
;
Christian Dehnert
;
Ralf Wimmer
;
Erika Abraham
;
Joost-Pieter Katoen
;
Bernd Becker
会议名称:
《International Symposium on Formal Methods》
|
2015年
34.
Semantics-Preserving Simplification of Real-World Firewall Rule Sets
机译:
保护真实防火墙规则集的简化
作者:
Cornelius Diekmann
;
Lars Hupel
;
Georg Carle
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Computer networks;
Firewalls;
Isabelle;
Netfilter Iptables;
Semantics;
35.
Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification
机译:
通过有限验证检测Android权限协议中的设计缺陷
作者:
Hamid Bagheri
;
Eunsuk Kang
;
Sam Malek
;
Daniel Jackson
会议名称:
《International Symposium on Formal Methods》
|
2015年
36.
Towards Formal Verification of Orchestration Computations Using the K Framework
机译:
使用K框架进行编程计算的正式验证
作者:
Musab A. AlTurki
;
Omar Alzuhaibi
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Formal semantics;
Ore;
K framework;
Concurrency;
Program verification;
37.
Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
机译:
LTL中定量策略的追踪独立运行时监测
作者:
Xiaoning Du
;
Yang Liu
;
Alwen Tiu
会议名称:
《International Symposium on Formal Methods》
|
2015年
38.
Privacy by Design in Practice: Reasoning about Privacy Properties of Biometric System Architectures
机译:
实践中的隐私:推理生物识别系统架构的隐私属性
作者:
Julien Bringer
;
Herve Chabanne
;
Daniel Le Metayer
;
Roch Lescuyer
会议名称:
《International Symposium on Formal Methods》
|
2015年
39.
The Semantics of Cardinality-Based Feature Models via Formal Languages
机译:
通过正式语言基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于基于的功能模型
作者:
Aliakbar Safilian
;
Tom Maibaum
;
Zinovy Diskin
会议名称:
《International Symposium on Formal Methods》
|
2015年
40.
Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking
机译:
消除使用循环抽象和有界模型检查的静态分析误报
作者:
Bharti Chimdyalwar
;
Priyanka Darke
;
Anooj Chavda
;
Sagar Vaghani
;
Avriti Chauhan
会议名称:
《International Symposium on Formal Methods》
|
2015年
41.
Software Development and Authentication for Arms Control Information Barriers
机译:
武器控制信息障碍的软件开发和认证
作者:
Neil Evans
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Arms control challenges;
SPARK;
MALPAS;
SMT;
42.
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
机译:
具有动态子进程的模块化过程感知信息系统的安全性,活跃和运行时间精制
作者:
Soren Debois
;
Thomas Hildebrandt
;
Tijs Slaats
会议名称:
《International Symposium on Formal Methods》
|
2015年
43.
Formalizing the Concept Phase of Product Development
机译:
正式化产品开发的概念阶段
作者:
Mathijs Schuts
;
Jozef Hooman
会议名称:
《International Symposium on Formal Methods》
|
2015年
44.
QPMC: A Model Checker for Quantum Programs and Protocols
机译:
QPMC:量子程序和协议的模型检查器
作者:
Yuan Feng
;
Ernst Moritz Hahn
;
Andrea Turrini
;
Lijun Zhang
会议名称:
《International Symposium on Formal Methods》
|
2015年
45.
Automated Verification of RPC Stub Code
机译:
自动验证RPC存根代码
作者:
Matthew Fernandez
;
June Andronick
;
Gerwin Klein
;
Ihor Kuz
会议名称:
《International Symposium on Formal Methods》
|
2015年
46.
Resource Analysis: From Sequential to Concurrent and Distributed Programs
机译:
资源分析:顺序到并发和分布式程序
作者:
Elvira Albert
;
Puri Arenas
;
Jesus Correas
;
Samir Genaim
;
Miguel Gomez-Zamalloa
;
Enrique Martin-Martin
;
German Puebla
;
Guillermo Roman-Diez
会议名称:
《International Symposium on Formal Methods》
|
2015年
47.
Narrowing Operators on Template Abstract Domains
机译:
在模板摘要域上的缩小运算符
作者:
Gianluca Amato
;
Simone Di Nardo Di Maio
;
Maria Chiara Meo
;
Francesca Scozzari
会议名称:
《International Symposium on Formal Methods》
|
2015年
48.
Using Real-Time Maude to Model Check Energy Consumption Behavior
机译:
使用实时MAUDE来模型检查能量消耗行为
作者:
Shin Nakajima
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Android Frameworks;
Weighted Timed Automaton;
Linear Temporal Logic;
Freeze Quantifier;
49.
Abstraction of Elementary Hybrid Systems by Variable Transformation
机译:
通过变换的基本混合系统的抽象
作者:
Jiang Liu
;
Naijun Zhan
;
Hengjun Zhao
;
Liang Zou
会议名称:
《International Symposium on Formal Methods》
|
2015年
关键词:
Hybrid system;
Abstraction;
Elementary function;
Invariant;
Verification;
50.
Case Study: Static Security Analysis of the Android Goldfish Kernel
机译:
案例研究:Android Goldfish内核的静态安全分析
作者:
Tao Liu
;
Ralf Huuck
会议名称:
《International Symposium on Formal Methods》
|
2015年
51.
Axiomatization of Typed First-Order Logic
机译:
键入的一阶逻辑的公理化
作者:
Peter H. Schmitt
;
Mattias Ulbrich
会议名称:
《International Symposium on Formal Methods》
|
2015年
52.
Certified Reasoning with Infinity
机译:
有无限的认证推理
作者:
Asankhaya Sharma
;
Shengyi Wang
;
Andreea Costea
;
Aquinas Hobor
;
Wei-Ngan Chin
会议名称:
《International Symposium on Formal Methods》
|
2015年
53.
Proving Safety with Trace Automata and Bounded Model Checking
机译:
用痕迹自动机和有界模型检查证明安全性
作者:
Daniel Kroening
;
Matt Lewis
;
Georg Weissenbacher
会议名称:
《International Symposium on Formal Methods》
|
2015年
54.
Static Differential Program Analysis for Software-Defined Networks
机译:
软件定义网络的静态差分计划分析
作者:
Tim Nelson
;
Andrew D. Ferguson
;
Shriram Krishnamurthi
会议名称:
《International Symposium on Formal Methods》
|
2015年
55.
Verifying Opacity of a Transactional Mutex Lock
机译:
验证交易互斥锁的不透明度
作者:
John Derrick
;
Brijesh Dongol
;
Gerhard Schellhorn
;
Oleg Travkin
;
Heike Wehrheim
会议名称:
《International Symposium on Formal Methods》
|
2015年
56.
A Framework for Correctness Criteria on Weak Memory Models
机译:
弱存储器模型上正确标准的框架
作者:
John Derrick
;
Graeme Smith
会议名称:
《International Symposium on Formal Methods》
|
2015年
57.
Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems
机译:
在连续和混合动力系统中直接正式验证活性特性
作者:
Andrew Sogokon
;
Paul B. Jackson
会议名称:
《International Symposium on Formal Methods》
|
2015年
58.
Verifying Parameterized Timed Security Protocols
机译:
验证参数化定时安全协议
作者:
Li Li
;
Jun Sun
;
Yang Liu
;
Jin Song Dong
会议名称:
《International Symposium on Formal Methods》
|
2015年
59.
Automated Circular Assume-Guarantee Reasoning
机译:
自动循环假设 - 保证推理
作者:
Karam Abd Elkader
;
Orna Grumberg
;
Corina S. Pasareanu
;
Sharon Shoham
会议名称:
《International Symposium on Formal Methods》
|
2015年
60.
Discounted Duration Calculus
机译:
折扣持续时间微积分
作者:
Heinrich Ody
;
Martin Franzle
;
Michael R. Hansen
会议名称:
《International Symposium on Formal Methods》
|
2016年
关键词:
Duration calculus;
Temporal logic;
Model checking;
Timed automata;
Discounting;
61.
Validated Simulation-Based Verification of Delayed Differential Dynamics
机译:
验证了基于仿真的延迟差分动力学的验证
作者:
Mingshuai Chen
;
Martin Franzle
;
Yangjia Li
;
Peter N. Mosaad
;
Naijun Zhan
会议名称:
《International Symposium on Formal Methods》
|
2016年
62.
Decoupling Abstractions of Non-linear Ordinary Differential Equations
机译:
非线性常微分方程的去耦抽象
作者:
Andrew Sogokon
;
Khalil Ghorbal
;
Taylor T. Johnson
会议名称:
《International Symposium on Formal Methods》
|
2016年
关键词:
Ordinary differential equations;
Darboux polynomials;
Simulation;
Abstraction;
Decoupling;
63.
Exploring Model Quality for ACAS X
机译:
探索ACAS X的模型质量
作者:
Dimitra Giannakopoulou
;
Dennis Guck
;
Johann Schumann
会议名称:
《International Symposium on Formal Methods》
|
2016年
64.
Industrial-Strength Model-Based Testing of Safety-Critical Systems
机译:
基于工业强度模型的安全关键系统测试
作者:
Jan Peleska
;
Wen-ling Huang
会议名称:
《International Symposium on Formal Methods》
|
2016年
关键词:
Model-based testing;
Equivalence class partition testing;
Complete testing theories;
65.
Danger Invariants
机译:
危险不变
作者:
Cristina David
;
Pascal Kesseli
;
Daniel Kroening
;
Matt Lewis
会议名称:
《International Symposium on Formal Methods》
|
2016年
66.
A Linear Programming Relaxation Based Approach for Generating Barrier Certificates of Hybrid Systems
机译:
基于线性规划放宽的混合系统屏障证书的基于线性规划放松方法
作者:
Zhengfeng Yang
;
Chao Huang
;
Xin Chen
;
Wang Lin
;
Zhiming Liu
会议名称:
《International Symposium on Formal Methods》
|
2016年
关键词:
Formal verification;
Hybrid systems;
Barrier certificates;
Linear programming relaxation;
67.
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor
机译:
将机械证明和基于模型的测试结合在对管理程序的正式分析中
作者:
Hanno Becker
;
Juan Manuel Crespo
;
Jacek Galowicz
;
Ulrich Hensel
;
Yoichi Hirai
;
Cesar Kunz
;
Keiko Nakata
;
Jorge Luis Sacchini
;
Hendrik Tews
;
Thomas Tuerk
会议名称:
《International Symposium on Formal Methods》
|
2016年
68.
Error Invariants for Concurrent Traces
机译:
并发迹线的错误不变
作者:
Andreas Holzer
;
Daniel Schwartz-Narbonne
;
Mitra Tabaei Befrouei
;
Georg Weissenbacher
;
Thomas Wies
会议名称:
《International Symposium on Formal Methods》
|
2016年
69.
An Executable Formalisation of the SPARCv8 Instruction Set Architecture: A Case Study for the LEON3 Processor
机译:
SPARCV8指令集架构的可执行形式化:LEON3处理器的案例研究
作者:
Zhe Hou
;
David Sanan
;
Alwen Tiu
;
Yang Liu
;
Koh Chuen Hoa
会议名称:
《International Symposium on Formal Methods》
|
2016年
70.
Counter-Example Guided Program Verification
机译:
反例引导程序验证
作者:
Parosh Aziz Abdulla
;
Mohamed Faouzi Atig
;
Bui Phi Diep
会议名称:
《International Symposium on Formal Methods》
|
2016年
71.
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers
机译:
驯服工业多功能车辆总线控制器的中断
作者:
Han Liu
;
Yu Jiang
;
Huafeng Zhang
;
Ming Gu
;
Jiaguang Sun
会议名称:
《International Symposium on Formal Methods》
|
2016年
72.
Recovering High-Level Conditions from Binary Programs
机译:
从二进制程序中恢复高级条件
作者:
Adel Djoudi
;
Sebastien Bardin
;
Eric Goubault
会议名称:
《International Symposium on Formal Methods》
|
2016年
73.
Compositional Parameter Synthesis
机译:
组成参数合成
作者:
Lacramioara Astefanoaei
;
Saddek Bensalem
;
Marius Bozga
;
Chih-Hong Cheng
;
Harald Ruess
会议名称:
《International Symposium on Formal Methods》
|
2016年
74.
Learning Moore Machines from Input-Output Traces
机译:
从输入输出迹线学习摩尔机器
作者:
Georgios Giantamidis
;
Stavros Tripakis
会议名称:
《International Symposium on Formal Methods》
|
2016年
75.
A Model Checking Approach to Discrete Bifurcation Analysis
机译:
分立分岔分析的模型检查方法
作者:
Nikola Benes
;
Lubos Brim
;
Martin Demko
;
Samuel Pastva
;
David Safranek
会议名称:
《International Symposium on Formal Methods》
|
2016年
76.
Modal Kleene Algebra Applied to Program Correctness
机译:
模态Kleene代数适用于程序正确性
作者:
Victor B. F. Gomes
;
Georg Struth
会议名称:
《International Symposium on Formal Methods》
|
2016年
77.
From Electrical Switched Networks to Hybrid Automata
机译:
从电气交换网络到混合自动机
作者:
Alessandro Cimatti
;
Sergio Mover
;
Mirko Sessa
会议名称:
《International Symposium on Formal Methods》
|
2016年
78.
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow
机译:
用于量化信息流的互信息的混合统计估计
作者:
Yusuke Kawamoto
;
Fabrizio Biondi
;
Axel Legay
会议名称:
《International Symposium on Formal Methods》
|
2016年
79.
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller
机译:
安全保证的多功能车辆总线控制器的正式模型驱动设计
作者:
Yu Jiang
;
Han Liu
;
Houbing Song
;
Hui Kong
;
Ming Gu
;
Jiaguang Sun
;
Lui Sha
会议名称:
《International Symposium on Formal Methods》
|
2016年
80.
Model-Based Design of an Energy-System Embedded Controller Using TASTE
机译:
基于模型的使用味道的能量系统嵌入式控制器设计
作者:
Roberto Cavada
;
Alessandro Cimatti
;
Luigi Crema
;
Mattia Roccabruna
;
Stefano Tonetta
会议名称:
《International Symposium on Formal Methods》
|
2016年
81.
Formalising and Validating the Interface Description in the FMI Standard
机译:
在FMI标准中正式化和验证接口描述
作者:
Miran Hasanagic
;
Peter W. V. Tran-Jorgensen
;
Kenneth Lausdahl
;
Peter Gorm Larsen
会议名称:
《International Symposium on Formal Methods》
|
2016年
关键词:
VDM-SL;
Functional Mock-up Interface;
Co-simulation;
Code generation;
Combinatorial testing;
82.
SpecCert: Specifying and Verifying Hardware-Based Security Enforcement
机译:
speccert:指定和验证基于硬件的安全强制
作者:
Thomas Letan
;
Pierre Chifflier
;
Guillaume Hiet
;
Pierre Neron
;
Benjamin Morin
会议名称:
《International Symposium on Formal Methods》
|
2016年
83.
Towards Concolic Testing for Hybrid Systems
机译:
针对混合系统的调节测试
作者:
Pingfan Kong
;
Yi Li
;
Xiaohong Chen
;
Jun Sun
;
Meng Sun
;
Jingyi Wang
会议名称:
《International Symposium on Formal Methods》
|
2016年
84.
Upper and Lower Amortized Cost Bounds of Programs Expressed as Cost Relations
机译:
上下摊销成本界的方案表达为成本关系
作者:
Antonio Flores-Montoya
会议名称:
《International Symposium on Formal Methods》
|
2016年
关键词:
Cost analysis;
Cost relations;
Amortized cost;
Lower bounds;
85.
Approximate Bisimulation and Discretization of Hybrid CSP
机译:
杂交CSP的近似双刺激与离散化
作者:
Gaogao Yan
;
Li Jiao
;
Yangjia Li
;
Shuling Wang
;
Naijun Zhan
会议名称:
《International Symposium on Formal Methods》
|
2016年
关键词:
HCSP;
Approximately bisimilar;
Hybrid systems;
Discretization;
86.
Tighter Reachability Criteria for Deadlock-Freedom Analysis
机译:
严格的可达性标准用于死锁 - 自由分析
作者:
Pedro Antonino
;
Thomas Gibson-Robinson
;
A. W. Roscoe
会议名称:
《International Symposium on Formal Methods》
|
2016年
87.
Finite Model Finding Using the Logic of Equality with Uninterpreted Functions
机译:
使用具有未解释功能的平等逻辑的有限模型
作者:
Amirhossein Vakili
;
Nancy A. Day
会议名称:
《International Symposium on Formal Methods》
|
2016年
88.
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions
机译:
河流:使用符号执行和可逆X86指令的二进制分析框架
作者:
Teodor Stoenescu
;
Alin Stefanescu
;
Sorina Predut
;
Florentin Ipate
会议名称:
《International Symposium on Formal Methods》
|
2016年
89.
Sound and Complete Mutation-Based Program Repair
机译:
基于突变的突变计划修复
作者:
Bat-Chen Rothenberg
;
Orna Grumberg
会议名称:
《International Symposium on Formal Methods》
|
2016年
90.
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking
机译:
GPUEXPLORE 2.0:释放GPU显式状态模型检查
作者:
Anton Wijs
;
Thomas Neele
;
Dragan Bosnacki
会议名称:
《International Symposium on Formal Methods》
|
2016年
91.
Mechanised Verification Patterns for Dafny
机译:
用于大夫的机械化验证模式
作者:
Gudmund Grov
;
Yuhui Lin
;
Vytautas Tumas
会议名称:
《International Symposium on Formal Methods》
|
2016年
92.
Finding Suitable Variability Abstractions for Family-Based Analysis
机译:
寻找适当的基于家庭分析的可变性抽象
作者:
Aleksandar S. Dimovski
;
Claus Brabrand
;
Andrzej Wasowski
会议名称:
《International Symposium on Formal Methods》
|
2016年
93.
Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
机译:
通过代码突变学习和验证网络物理系统的不变性
作者:
Yuqi Chen
;
Christopher M. Poskitt
;
Jun Sun
会议名称:
《International Symposium on Formal Methods》
|
2016年
94.
An Implementation of Deflate in Coq
机译:
COQ中缩小的实施
作者:
Christoph-Simon Senjak
;
Martin Hofmann
会议名称:
《International Symposium on Formal Methods》
|
2016年
关键词:
Formal verification;
Program extraction;
Compression;
Coq;
95.
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems
机译:
Simulink到UPPAAL统计模型检查器:分析汽车工业系统
作者:
Predrag Filipovikj
;
Nesredin Mahmud
;
Raluca Marinescu
;
Cristina Seceleanu
;
Oscar Ljungkrantz
;
Henrik Lonn
会议名称:
《International Symposium on Formal Methods》
|
2016年
96.
Local Planning of Multiparty Interactions with Bounded Horizons
机译:
与有界视野的多分互动的局部规划
作者:
Mahieddine Dellabani
;
Jacques Combaz
;
Marius Bozga
;
Saddek Bensalem
会议名称:
《International Symposium on Formal Methods》
|
2016年
关键词:
Distributed real-time systems;
Timed automata;
Knowledge;
97.
State-Space Reduction of Non-deterministically Synchronizing Systems Applicable to Deadlock Detection in MPI
机译:
不确定性同步系统的状态空间减少适用于MPI中的死锁检测
作者:
Stanislav Bohm
;
Ondrej Meca
;
Petr Jancar
会议名称:
《International Symposium on Formal Methods》
|
2016年
关键词:
Verification;
State-space reduction;
Partial-order methods;
MPI;
Deadlock;
98.
Dealing with Incompleteness in Automata-Based Model Checking
机译:
处理基于自动机的模型检查的不完整性
作者:
Claudio Menghi
;
Paola Spoletini
;
Carlo Ghezzi
会议名称:
《International Symposium on Formal Methods》
|
2016年
99.
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations
机译:
基于规则的增量验证工具适用于铁路设计和规定
作者:
Bjornar Luteberget
;
Christian Johansen
;
Claus Feyling
;
Martin Steffen
会议名称:
《International Symposium on Formal Methods》
|
2016年
100.
An Algebra of Synchronous Atomic Steps
机译:
同步原子步骤的代数
作者:
Ian J. Hayes
;
Robert J. Colvin
;
Larissa A. Meinicke
;
Kirsten Winter
;
Andrius Velykis
会议名称:
《International Symposium on Formal Methods》
|
2016年
意见反馈
回到顶部
回到首页