掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on formal engineering methods
International conference on formal engineering methods
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Toward Practical Application of Formal Methods in Software Lifecycle Processes
机译:
正式方法在软件生命周期过程中的实际应用
作者:
Mario Tokoro
会议名称:
《International conference on formal engineering methods》
|
2012年
2.
Variable Permissions for Concurrency Verification
机译:
并发验证的可变权限
作者:
Duy-Khanh Le
;
Wei-Ngan Chin
;
Yong-Meng Teo
会议名称:
《International conference on formal engineering methods》
|
2012年
关键词:
Variable;
permission;
concurrency;
verification;
3.
Formal Methods in the Aerospace Industry: Follow the Money
机译:
航空航天业中的正式方法:追随金钱
作者:
Darren Cofer
会议名称:
《International conference on formal engineering methods》
|
2012年
4.
Applying Term Rewriting to Speech Recognition of Numbers
机译:
将术语重写应用于数字语音识别
作者:
Robert E. Shostak
会议名称:
《International conference on formal engineering methods》
|
2012年
5.
A Concurrent Temporal Programming Model with Atomic Blocks
机译:
具有原子块的并发时间规划模型
作者:
Xiaoxiao Yang
;
Yu Zhang
;
Ming Fu
;
Xinyu Feng
会议名称:
《International conference on formal engineering methods》
|
2012年
6.
A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs
机译:
事务程序的可组合混合模式并发控制语义
作者:
Granville Barnett
;
Shengchao Qin
会议名称:
《International conference on formal engineering methods》
|
2012年
7.
Towards a Formal Verification Methodology for Collective Robotic Systems
机译:
迈向集体机器人系统的形式验证方法
作者:
Edmond Gjondrekaj
;
Michele Loreti
;
Rosario Pugliese
;
Francesco Tiezzi
;
Carlo Pinciroli
;
Manuele Brambilla
;
Mauro Birattari
;
Marco Dorigo
会议名称:
《International conference on formal engineering methods》
|
2012年
8.
Modeling Resource-Aware VirtualizedApplications for the Cloud in Real-Time ABS
机译:
在实时ABS中为云建模资源感知的虚拟化应用程序
作者:
Einar Broch Johnsen
;
Rudolf Schlatte
;
Silvia Lizeth Tapia Tarifa
会议名称:
《International conference on formal engineering methods》
|
2012年
9.
A Practical Loop Invariant Generation Approach Based on Random Testing, Constraint Solving and Verification
机译:
基于随机测试,约束求解和验证的实用循环不变式生成方法
作者:
Mengjun Li
会议名称:
《International conference on formal engineering methods》
|
2012年
关键词:
Loop Invariant Generation;
Random Testing;
Finite Difference;
10.
Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic
机译:
重写逻辑中Chandy和Lamport分布式快照算法的规范和模型检查
作者:
Kazuhiro Ogata
;
Phan Thi Thanh Huyen
会议名称:
《International conference on formal engineering methods》
|
2012年
关键词:
distributed snapshot;
distributed system;
Maude;
model checking;
the search command;
11.
Quantitative Program Dependence Graphs
机译:
定量程序依赖图
作者:
Chunyan Mu
会议名称:
《International conference on formal engineering methods》
|
2012年
关键词:
Language;
Semantics;
Quantity;
Dependence;
Graph;
Flow;
12.
Quantitative Analysis of Information Flow Using Theorem Proving
机译:
利用定理证明对信息流进行定量分析
作者:
Tarek Mhamdi
;
Osman Hasan
;
Sofiene Tahar
会议名称:
《International conference on formal engineering methods》
|
2012年
13.
Modeling and Verification of Probabilistic Actor Systems Using pRebeca
机译:
使用pRebeca的概率参与者系统的建模和验证
作者:
Mahsa Varshosaz
;
Ramtin Khosravi
会议名称:
《International conference on formal engineering methods》
|
2012年
关键词:
probabilistic model checking;
actor model;
pRebeca;
Re-beca;
14.
Modular Verification of OO Programs with Interfaces
机译:
带接口的OO程序的模块化验证
作者:
Qiu Zongyan
;
Hong Ali
;
Liu Yijing
会议名称:
《International conference on formal engineering methods》
|
2012年
15.
Separation Predicates: A Taste of Separation Logic in First-Order Logic
机译:
分离谓词:一阶逻辑中的分离逻辑趣味
作者:
Francois Bobot
;
Jean-Christophe Filliatre
会议名称:
《International conference on formal engineering methods》
|
2012年
16.
The Confinement Problem in the Presence of Faults
机译:
存在故障时的约束问题
作者:
William L. Harrison
;
Adam Procter
;
Gerard Allwein
会议名称:
《International conference on formal engineering methods》
|
2012年
17.
Verification of ATL Transformations Using Transformation Models and Model Finders
机译:
使用转换模型和模型查找器验证ATL转换
作者:
Fabian Buettner
;
Marina Egea
;
Jordi Cabot
;
Martin Gogolla
会议名称:
《International conference on formal engineering methods》
|
2012年
关键词:
Model transformation;
Verification;
ATL;
OCL;
18.
Automatic Generation of Provably Correct Embedded Systems
机译:
自动生成可能正确的嵌入式系统
作者:
Shang-Wei Lin
;
Yang Liu
;
Pao-Ann Hsiung
;
Jun Sun
;
Jin Song Dong
会议名称:
《International conference on formal engineering methods》
|
2012年
19.
Complementary Methodologies for Developing Hybrid Systems with Event-B
机译:
开发具有事件B的混合系统的补充方法
作者:
Wen Su
;
Jean-Raymond Abrial
;
Huibiao Zhu
会议名称:
《International conference on formal engineering methods》
|
2012年
20.
A Temporal Logic with Mean-Payoff Constraints
机译:
具有均值支付约束的时间逻辑
作者:
Takashi Tomita
;
Shin Hiura
;
Shigeki Hagihara
;
Naoki Yonezaki
会议名称:
《International conference on formal engineering methods》
|
2012年
关键词:
LTL;
automata;
mean payoff;
formal verification;
decision problems;
specification optimization;
linear programming;
21.
Time Constraints with Temporal Logic Programming
机译:
时间逻辑编程的时间约束
作者:
Meng Han
;
Zhenhua Duan
;
Xiaobing Wang
会议名称:
《International conference on formal engineering methods》
|
2012年
关键词:
temporal logic;
real-time system;
programming language;
modeling;
verification;
22.
Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System
机译:
通过Tableau方法和证明系统对无功系统规格进行逐步满足性检查的程序
作者:
Yoshinori Neya
;
Noriaki Yoshiura
会议名称:
《International conference on formal engineering methods》
|
2012年
关键词:
Reactive System;
Temporal Logic;
Realizability;
23.
Equational Abstraction Refinement for Certified Tree Regular Model Checking
机译:
认证树常规模型检查的方程式抽象提炼
作者:
Yohan Boichut
;
Benoit Boyer
;
Thomas Genet
;
Axel Legay
会议名称:
《International conference on formal engineering methods》
|
2012年
24.
SMT-Based False Positive Elimination in Static Program Analysis
机译:
静态程序分析中基于SMT的误报消除
作者:
Maximilian Junker
;
Ralf Huuck
;
Ansgar Fehnker
;
Alexander Knapp
会议名称:
《International conference on formal engineering methods》
|
2012年
25.
Predicate Analysis with Block-Abstraction Memoization
机译:
带有块抽象记忆的谓词分析
作者:
Daniel Wonisch
;
Heike Wehrheim
会议名称:
《International conference on formal engineering methods》
|
2012年
26.
Heuristic-Guided Abstraction Refinement for Concurrent Systems
机译:
并发系统的启发式指导抽象优化
作者:
Nils Timm
;
Heike Wehrheim
;
Mike Czech
会议名称:
《International conference on formal engineering methods》
|
2012年
27.
More Anti-chain Based Refinement Checking
机译:
更多基于反链的细化检查
作者:
Ting Wang
;
Songzheng Song
;
Jun Sun
;
Yang Liu
;
Jin Song Dong
;
Xinyu Wang
;
Shanping Li
会议名称:
《International conference on formal engineering methods》
|
2012年
28.
An Analytical and Experimental Comparison of CSP Extensions and Tools
机译:
CSP扩展和工具的分析和实验比较
作者:
Ling Shi
;
Yang Liu
;
Jun Sun
;
Jin Song Dong
;
Gustavo Carvalho
会议名称:
《International conference on formal engineering methods》
|
2012年
29.
Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization
机译:
使用BDD和数字化对有状态定时CSP进行符号模型检查
作者:
Truong Khanh Nguyen
;
Jun Sun
;
Yang Liu
;
Jin Song Dong
会议名称:
《International conference on formal engineering methods》
|
2012年
30.
Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers
机译:
合金批注:使用特定领域求解器的自动增量分析
作者:
Svetoslav Ganov
;
Sarfraz Khurshid
;
Dewayne E. Perry
会议名称:
《International conference on formal engineering methods》
|
2012年
31.
State Space c-Reductions of Concurrent Systems in Rewriting Logic
机译:
重写逻辑中并发系统的状态空间c约简
作者:
Alberto Lluch Lafuente
;
Jose Meseguer
;
Andrea Vandin
会议名称:
《International conference on formal engineering methods》
|
2012年
32.
Demonic Testing of Concurrent Programs
机译:
并发程序的恶魔测试
作者:
Scott West
;
Sebastian Nanz
;
Bertrand Meyer
会议名称:
《International conference on formal engineering methods》
|
2012年
33.
ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications
机译:
结论:用于指导数据库应用程序一致性测试的SQL突变体
作者:
Tanmoy Sarkar
;
Samik Basu
;
Johnny S. Wong
会议名称:
《International conference on formal engineering methods》
|
2012年
关键词:
Database Applications;
Automatic Test Case Generation;
Concolic Testing;
Mutation Analysis;
34.
Towards Certified Runtime Verification
机译:
迈向认证的运行时验证
作者:
Jan Olaf Blech
;
Ylies Falcone
;
Klaus Becker
会议名称:
《International conference on formal engineering methods》
|
2012年
35.
Cassandra: An Online Failure Prediction Strategy for Dynamically Evolving Systems
机译:
Cassandra:动态发展系统的在线故障预测策略
作者:
Francesco De Angelis
;
Maria Rita Di Berardini
;
Henry Muccini
;
Andrea Polini
会议名称:
《International conference on formal engineering methods》
|
2014年
36.
Modal Characterisations of Probabilistic and Fuzzy Bisimulations
机译:
概率和模糊二丝的模态特征
作者:
Yuxin Deng
;
Hengyang Wu
会议名称:
《International conference on formal engineering methods》
|
2014年
37.
Timed Automata Verification via IC3 with Zones
机译:
通过IC3与区域定时自动机验证
作者:
Tobias Isenberg
;
Heike Wehrheim
会议名称:
《International conference on formal engineering methods》
|
2014年
关键词:
Verification;
timed automata;
zone abstraction;
IC3;
SMT;
38.
Pointer Program Derivation Using Coq: Graphs and Schorr-Waite Algorithm
机译:
使用COQ的指针程序推导:图形和舍克沃特算法
作者:
Jean-Francois Dufourd
会议名称:
《International conference on formal engineering methods》
|
2014年
39.
TAuth: Verifying Timed Security Protocols
机译:
Tauth:验证定时安全协议
作者:
Li Li
;
Jun Sun
;
Yang Liu
;
Jin Song Dong
会议名称:
《International conference on formal engineering methods》
|
2014年
40.
On the Formal Analysis of HMM Using Theorem Proving
机译:
关于使用定理证明的嗯汉姆的正式分析
作者:
Liya Liu
;
Vincent Aravantinos
;
Osman Hasan
;
Sofiene Tahar
会议名称:
《International conference on formal engineering methods》
|
2014年
关键词:
HMMs;
HOL4;
Theorem Proving;
DNA;
Probability Theory;
41.
SCC-Based Improved Reachability Analysis for Markov Decision Processes
机译:
基于SCC的Markov决策过程的改进可达性分析
作者:
Lin Gui
;
Jun Sun
;
Songzheng Song
;
Yang Liu
;
Jin Song Dong
会议名称:
《International conference on formal engineering methods》
|
2014年
42.
A Hybrid Model of Connectors in Cyber-Physical Systems
机译:
网络物理系统中连接器的混合模型
作者:
Xiaohong Chen
;
Jun Sun
;
Meng Sun
会议名称:
《International conference on formal engineering methods》
|
2014年
43.
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior
机译:
使用行为的分层规范来理解航天器遥测
作者:
Klaus Havelund
;
Rajeev Joshi
会议名称:
《International conference on formal engineering methods》
|
2014年
44.
Scalable Software Testing and Verification through Heuristic Search and Optimization
机译:
通过启发式搜索和优化可扩展软件测试和验证
作者:
Lionel C. Briand
会议名称:
《International conference on formal engineering methods》
|
2014年
45.
GPU Accelerated Counterexample Generation in LTL Model Checking
机译:
LTL模型检查中的GPU加速了反异行为
作者:
Zhimin Wu
;
Yang Liu
;
Yun Liang
;
Jun Sun
会议名称:
《International conference on formal engineering methods》
|
2014年
46.
PHASE: A Stochastic Formalism for Phase-Type Distributions
机译:
相:相位分布的随机形式主义
作者:
Gabriel Ciobanu
;
Armand Stefan Rotaru
会议名称:
《International conference on formal engineering methods》
|
2014年
47.
Fast Translation from LTL to Biichi Automata via Non-transition-based Automata
机译:
通过基于非转换的自动机从LTL到Biichi自动机的快速翻译
作者:
Shohei Mochizuki
;
Masaya Shimakawa
;
Shigeki Hagihara
;
Naoki Yonezaki
会议名称:
《International conference on formal engineering methods》
|
2014年
48.
Preface
机译:
前言
作者:
Stephan Merz
;
Jun Pang
会议名称:
《International conference on formal engineering methods》
|
2014年
49.
A Language-Independent Proof System for Mutual Program Equivalence
机译:
一种独立于相互节目等价的证明系统
作者:
Stefan Ciobaca
;
Dorel Lucanu
;
Vlad Rusu
;
Grigore Rosu
会议名称:
《International conference on formal engineering methods》
|
2014年
50.
A Formal Model for Natural-Language Timed Requirements of Reactive Systems
机译:
反应系统的自然语言定时要求的正式模型
作者:
Gustavo Carvalho
;
Ana Carvalho
;
Eduardo Rocha
;
Ana Cavalcanti
;
Augusto Sampaio
会议名称:
《International conference on formal engineering methods》
|
2014年
关键词:
Model mapping;
TIOTS;
test-case generation;
51.
Extending MSVL with Function Calls
机译:
使用函数调用扩展MSVL
作者:
Nan Zhang
;
Zhenhua Duan
;
Cong Tian
会议名称:
《International conference on formal engineering methods》
|
2014年
关键词:
Temporal Logic Programming;
Projection;
Function Call;
Modeling;
Simulation;
Verification;
52.
Formal Modeling and Analysis of Cassandra in Maude
机译:
Maude中Cassandra的正式建模与分析
作者:
Si Liu
;
Muntasir Raihan Rahman
;
Stephen Skeirik
;
Indranil Gupta
;
Jose Meseguer
会议名称:
《International conference on formal engineering methods》
|
2014年
53.
An LTL Model Checking Approach for Biological Parameter Inference
机译:
一种用于生物参数推理的LTL模型检查方法
作者:
Emmanuelle Gallet
;
Matthieu Manceny
;
Pascale Le Gall
;
Paolo Ballarini
会议名称:
《International conference on formal engineering methods》
|
2014年
关键词:
LTL Model Checking;
Parameter Identification;
Symbolic Execution;
Genetic Regulatory Network;
Thomas Discrete Modeling;
54.
Approximations for Stochastic Graph Rewriting
机译:
随机图形重写的近似
作者:
Vincent Danos
;
Tobias Heindel
;
Ricardo Honorato-Zimmer
;
Sandro Stucki
会议名称:
《International conference on formal engineering methods》
|
2014年
55.
A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators
机译:
一种证明模型驱动工程构成运营商的正确性的正式框架
作者:
Mounira Kezadri Hamiaz
;
Marc Pantel
;
Benoit Combemale
;
Xavier Thirioux
会议名称:
《International conference on formal engineering methods》
|
2014年
56.
Computing Maximal Bisimulations
机译:
计算最大的Bisimulation.
作者:
Alexandre Boulgakov
;
Thomas Gibson-Robinson
;
A.W. Roscoe
会议名称:
《International conference on formal engineering methods》
|
2014年
57.
A Resource-Based Logic for Termination and Non-termination Proofs
机译:
基于资源的终止和非终止证明的逻辑
作者:
Ton Chanh Le
;
Cristian Gherghina
;
Aquinas Hobor
;
Wei-Ngan Chin
会议名称:
《International conference on formal engineering methods》
|
2014年
58.
Practical Analysis Framework for Software-Based Attestation Scheme
机译:
基于软件的证明计划的实用分析框架
作者:
Li Li
;
Hong Hu
;
Jun Sun
;
Yang Liu
;
Jin Song Dong
会议名称:
《International conference on formal engineering methods》
|
2014年
59.
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
机译:
基于合同的MATLAB和SIMULINK矩阵操作代码验证
作者:
Jonatan Wiik
;
Pontus Bostroem
会议名称:
《International conference on formal engineering methods》
|
2014年
60.
Bounded Model Checking High Level Petri Nets in PIPE+Verifier
机译:
在管道+验证者中检查高级Petri网的有界模型
作者:
Su Liu
;
Reng Zeng
;
Zhuo Sun
;
Xudong He
会议名称:
《International conference on formal engineering methods》
|
2014年
关键词:
Formal Methods;
Petri Nets;
Model Checking;
Bounded Model Checking;
61.
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems
机译:
GRL:全网异步局部同步系统的规范语言
作者:
Fatma Jebali
;
Frederic Lang
;
Radu Mateescu
会议名称:
《International conference on formal engineering methods》
|
2014年
62.
Formal Throughput and Response Time Analysis of MARTE Models
机译:
MARTE模型的正式吞吐量与响应时间分析
作者:
Gaogao Yan
;
Xue-Yang Zhu
;
Rongjie Yan
;
Guangyuan Li
会议名称:
《International conference on formal engineering methods》
|
2014年
关键词:
MARTE Models;
Timed Automata in UPPAAL;
Throughput;
Response Time;
63.
Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints
机译:
改进局部可观察性和公平约束下的策略模型检查
作者:
Simon Busard
;
Charles Pecheur
;
Hongyang Qu
;
Franco Raimondi
会议名称:
《International conference on formal engineering methods》
|
2014年
64.
Complete Model-Based Equivalence Class Testing for the ETCS Ceiling Speed Monitor
机译:
完整的基于模型的等效类测试ETCS天花板速度监视器
作者:
Cecile Braunstein
;
Anne E. Haxthausen
;
Wen-ling Huang
;
Felix Huebner
;
Jan Peleska
;
Uwe Schulze
;
Linh Vu Hong
会议名称:
《International conference on formal engineering methods》
|
2014年
关键词:
Model-based testing;
Equivalence class partition testing;
SysML;
European Train Control System ETCS;
Ceiling Speed Monitoring;
65.
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs
机译:
基于公式的势务定位的基于公式的方法
作者:
Si-Mohamed Lamraoui
;
Shin Nakajima
会议名称:
《International conference on formal engineering methods》
|
2014年
关键词:
Model-based Diagnosis Theory;
Multiple faults;
Partial Maximum Satisfiability;
LLVM;
Yices;
66.
A Security Calculus for Wireless Networks of Named Data Networking
机译:
用于名为Data Networking的无线网络的安全微积分
作者:
Yuan Fei
;
Huibiao Zhu
;
Haiying Sun
;
Jiaqi Yin
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
NDN;
Calculus of wireless networks;
Maude;
67.
Probabilistic Programming for Bayesian Machine Learning
机译:
贝叶斯机器学习的概率规划
作者:
Luke Ong
会议名称:
《International conference on formal engineering methods》
|
2019年
68.
SMTBCF: Efficient Backbone Computing for SMT Formulas
机译:
SMTBCF:SMT公式的高效骨干计算
作者:
Yueling Zhang
;
Geguang Pu
;
Min Zhang
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Backbone;
SMT;
Verification;
69.
Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method
机译:
解决方案枚举抽象:建模成语以增强轻量级形式方法
作者:
Allison Sullivan
;
Darko Marinov
;
Sarfraz Khurshid
会议名称:
《International conference on formal engineering methods》
|
2019年
70.
Simulations for Multi-Agent Systems with Imperfect Information
机译:
具有不完美信息的多种代理系统模拟
作者:
Patrick Gardy
;
Yuxin Deng
会议名称:
《International conference on formal engineering methods》
|
2019年
71.
Automatic Verification for Node-Based Visual Script Notation Using Model Checking
机译:
使用模型检查的基于节点的视觉脚本符号的自动验证
作者:
Isamu Hasegawa
;
Tomoyuki Yokogawa
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Formal methods;
Symbolic model checking;
Visual script;
Game development;
72.
PDNet: A Programming Language for Software-Defined Networks with VLAN
机译:
PDNet:具有VLAN的软件定义网络的编程语言
作者:
Shuangqing Xiang
;
Marcello Bonsangue
;
Huibiao Zhu
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Software Defined Networks;
VLAN;
Pushdown systems;
NetKAT;
73.
Spatio-Temporal Specification Language for Cyber-Physical Systems
机译:
用于网络物理系统的时空规范语言
作者:
Tengfei Li
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Signal Temporal Logic (STL);
S4_u;
Spatio-Temporal Specification Language (STSL);
Axiomatization system;
Decidability;
Runtime monitoring;
74.
Formal Specification and Verification of Smart Contracts
机译:
智能合约的正式规范和验证
作者:
Jiao Jiao
会议名称:
《International conference on formal engineering methods》
|
2019年
75.
Assessment of a Formal Requirements Modeling Approach on a Transportation System
机译:
评估运输系统的正式要求建模方法
作者:
Steve Jeffrey Tueno Fotso
;
Regine Laleau
;
Marc Frappier
;
Amel Mammar
;
Francois Thibodeau
;
Mama Nsangou Mouchili
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Road transportation system;
Requirements engineering;
Formal models;
Domain modeling;
SysML/KAOS;
B System;
Event-B;
76.
Certifying Hardware Model Checking Results
机译:
认证硬件模型检查结果
作者:
Zhengqi Yu
;
Armin Biere
;
Keijo Heljanko
会议名称:
《International conference on formal engineering methods》
|
2019年
77.
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems
机译:
安全的深度学习工程:智能系统质量保证的道路
作者:
Yang Liu
会议名称:
《International conference on formal engineering methods》
|
2019年
78.
sCompile: Critical Path Identification and Analysis for Smart Contracts
机译:
Scompile:智能合约的关键路径识别和分析
作者:
Jialiang Chang
;
Bo Gao
;
Hao Xiao
;
Jun Sun
;
Yan Cai
;
Zijiang Yang
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Blockchain;
Symbolic testing;
Smart contract;
79.
Design of Point-and-Click User Interfaces for Proof Assistants
机译:
点击用户界面的设计验证助手
作者:
Bohua Zhan
;
Zhenyan Ji
;
Wenfan Zhou
;
Chaozhu Xiang
;
Jie Hou
;
Wenhui Sun
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Proof assistants;
User interface;
Tactics;
80.
Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines
机译:
顺序抽象状态机中的静态一阶不变性的一致性强制
作者:
Klaus-Dieter Schewe
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Consistency enforcement;
Static invariant;
Consistent specialisation;
Abstract State Machine;
Compositionality;
81.
A Relational Static Semantics for Call Graph Construction
机译:
呼叫图构造的关系静态语义
作者:
Xilong Zhuo
;
Chenyi Zhang
会议名称:
《International conference on formal engineering methods》
|
2019年
82.
Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation
机译:
通过术语级广义符号轨迹评估参数化硬件验证
作者:
Yongjian Li
;
Bow-yaw Wang
会议名称:
《International conference on formal engineering methods》
|
2019年
83.
SqlSol: An accurate SQL Query Synthesizer
机译:
SQLSOL:精确的SQL查询合成器
作者:
Lin Cheng
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
SQL;
SMT solver;
Program synthesis;
Program by example;
84.
Automatic Modularization of Large Programs for Bounded Model Checking
机译:
基于界模型检查的大型程序的自动模块化
作者:
Marko Kleine Buening
;
Carsten Sinz
会议名称:
《International conference on formal engineering methods》
|
2019年
85.
Specification-Less Semantic Bug Detection
机译:
规范的语义错误检测
作者:
Zhendong Su
会议名称:
《International conference on formal engineering methods》
|
2019年
86.
Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems
机译:
安全的深度学习工程:智能系统质量保证的道路
作者:
Yang Liu
;
Lei Ma
;
Jianjun Zhao
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Artificial intelligence;
Deep learning;
Software engineering;
Security;
Quality assurance;
Reliability;
Deep learning engineering;
87.
A First Step in the Translation of Alloy to Coq
机译:
合金翻译为CAQ的第一步
作者:
Salwa Souaf
;
Frederic Loulergue
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
First order relational logic;
Calculus of inductive construction;
Translation;
88.
A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification Based on Machine Learning
机译:
基于机器学习的人为行为分类的网络体育社会系统建模框架
作者:
Dongdong An
;
Jing Liu
;
Xiaohong Chen
;
Tengfei Li
;
Ling Yin
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Statistical model checking;
Cyber-Physical-Social Systems;
Stochastic hybrid MARTE statecharts;
Stochastic Hybrid Automata;
89.
Using DimSpec for Bounded and Unbounded Software Model Checking
机译:
使用DIMSPEC进行有界和无界软件模型检查
作者:
Marko Kleine Buening
;
Tomas Balyo
;
Carsten Sinz
会议名称:
《International conference on formal engineering methods》
|
2019年
90.
Combining Parallel Emptiness Checks with Partial Order Reductions
机译:
将平行空虚检查与部分顺序减少相结合
作者:
Denis Poitrenaud
;
Etienne Renault
会议名称:
《International conference on formal engineering methods》
|
2019年
91.
Preface
机译:
前言
作者:
Yamine Ait-Ameur
;
Shengchao Qin
会议名称:
《International conference on formal engineering methods》
|
2019年
92.
A Coalgebraic Semantics Framework for Quantum Systems
机译:
Quantum Systems的基础教学语义框架
作者:
Ai Liu
;
Meng Sun
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Quantum labeled transition system;
Reactive quantum system;
Final coalgebra;
Bisimulation;
Simulation;
93.
Design Model Repair with Formal Verification
机译:
用正式验证设计模型修复
作者:
Cheng-Hao Cai
;
Jing Sun
;
Gillian Dobbie
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Model repair;
B method;
Model checking;
Refinement;
94.
Taming Delays in Cyber-Physical Systems
机译:
驯服网络物理系统的延迟
作者:
Naijun Zhan
会议名称:
《International conference on formal engineering methods》
|
2019年
95.
A Reo Model of Software Defined Networks
机译:
软件定义网络的REO模型
作者:
Hui Feng
;
Farhad Arbab
;
Marcello Bonsangue
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Formal model;
Software defined networks;
Reo;
Constraint automata;
Component composition;
Coordination;
96.
Synthesizing Nested Ranking Functions for Loop Programs via SVM
机译:
通过SVM综合循环程序的嵌套排名函数
作者:
Yi Li
;
Xuechao Sun
;
Yong Li
;
Andrea Turrini
;
Lijun Zhang
会议名称:
《International conference on formal engineering methods》
|
2019年
97.
An Axiomatisation of the Probabilistic μ-Calculus
机译:
概率μ-微积分的公理化
作者:
Junnan Xu
;
Wanwei Liu
;
David N. Jansen
;
Lijun Zhang
会议名称:
《International conference on formal engineering methods》
|
2019年
98.
A Note on Failure Mode Reasoning
机译:
有关故障模式推理的说明
作者:
Hamid Jahanian
会议名称:
《International conference on formal engineering methods》
|
2019年
99.
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks
机译:
参数化布尔网络定性长期行为正式分析
作者:
Nikola Benes
;
Lubos Brim
;
Samuel Pastva
;
Jakub Polacek
;
David Safranek
会议名称:
《International conference on formal engineering methods》
|
2019年
关键词:
Attractor analysis;
Machine learning;
Boolean networks;
100.
Reasoning About Universal Cubes in MCMT
机译:
关于MCMT的通用立方体的推理
作者:
Sylvain Conchon
;
Mattias Roux
会议名称:
《International conference on formal engineering methods》
|
2019年
意见反馈
回到顶部
回到首页