首页>外文会议>International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods

International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods

召开年：2019
召开地：Shenzhen(CN)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Yamine Ait-Ameur;Shengchao Qin
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
2.Probabilistic Programming for Bayesian Machine Learning

机译：贝叶斯机器学习的概率编程
- 作者：Luke Ong
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
3.Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems

机译：安全的深度学习工程：通往智能系统质量保证的道路
- 作者：Yang Liu
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
4.Specification-Less Semantic Bug Detection

机译：规范少的语义错误检测
- 作者：Zhendong Su
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
5.Taming Delays in Cyber-Physical Systems

机译：缓解网络物理系统的延迟
- 作者：Naijun Zhan
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
6.Secure Deep Learning Engineering: A Road Towards Quality Assurance of Intelligent Systems

机译：安全的深度学习工程：通往智能系统质量保证的道路
- 作者：Yang Liu;Lei Ma;Jianjun Zhao
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Artificial intelligence;
- Deep learning;
- Software engineering;
- Security;
- Quality assurance;
- Reliability;
- Deep learning engineering;
7.Using DimSpec for Bounded and Unbounded Software Model Checking

机译：使用DimSpec进行有界和无界软件模型检查
- 作者：Marko Kleine Buening;Tomas Balyo;Carsten Sinz
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
8.SMTBCF: Efficient Backbone Computing for SMT Formulas

机译：SMTBCF：SMT公式的高效骨干计算
- 作者：Yueling Zhang;Geguang Pu;Min Zhang
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Backbone;
- SMT;
- Verification;
9.Automatic Verification for Node-Based Visual Script Notation Using Model Checking

机译：使用模型检查自动验证基于节点的可视脚本符号
- 作者：Isamu Hasegawa;Tomoyuki Yokogawa
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Formal methods;
- Symbolic model checking;
- Visual script;
- Game development;
10.A Reo Model of Software Defined Networks

机译：软件定义网络的模型
- 作者：Hui Feng;Farhad Arbab;Marcello Bonsangue
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Formal model;
- Software defined networks;
- Reo;
- Constraint automata;
- Component composition;
- Coordination;
11.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;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Proof assistants;
- User interface;
- Tactics;
12.SqlSol: An accurate SQL Query Synthesizer

机译：SqlSol：准确的SQL查询合成器
- 作者：Lin Cheng
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- SQL;
- SMT solver;
- Program synthesis;
- Program by example;
13.Towards Verifying Ethereum Smart Contracts at Intermediate Language Level

机译：努力在中级语言级别上验证以太坊智能合约
- 作者：Ximeng Li;Zhiping Shi;Qianying Zhang;Guohui Wang;Yong Guan;Ning Han
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
14.Simulations for Multi-Agent Systems with Imperfect Information

机译：信息不完善的多智能体系统的仿真
- 作者：Patrick Gardy;Yuxin Deng
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
15.On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

机译：加权祈使程序方程动态逻辑的产生。
- 作者：Leandro Gomes;Alexandre Madeira;Manisha Jain;Luis S. Barbosa
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
16.A Security Calculus for Wireless Networks of Named Data Networking

机译：命名数据网络无线网络的安全演算
- 作者：Yuan Fei;Huibiao Zhu;Haiying Sun;Jiaqi Yin
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- NDN;
- Calculus of wireless networks;
- Maude;
17.Automatic Modularization of Large Programs for Bounded Model Checking

机译：大型程序的自动模块化，用于边界模型检查
- 作者：Marko Kleine Buening;Carsten Sinz
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
18.PDNet: A Programming Language for Software-Defined Networks with VLAN

机译：PDNet：带VLAN的软件定义网络的编程语言
- 作者：Shuangqing Xiang;Marcello Bonsangue;Huibiao Zhu
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Software Defined Networks;
- VLAN;
- Pushdown systems;
- NetKAT;
19.Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines

机译：序贯抽象状态机中静态一阶不变式的一致性实施
- 作者：Klaus-Dieter Schewe
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Consistency enforcement;
- Static invariant;
- Consistent specialisation;
- Abstract State Machine;
- Compositionality;
20.Probably Approximate Safety Verification of Hybrid Dynamical Systems

机译：混合动力系统的大概近似安全验证
- 作者：Bai Xue;Martin Fraenzle;Hengjun Zhao;Naijun Zhan;Arvind Easwaran
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Hybrid systems;
- Probably approximately safe;
- Linear program;
21.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;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
22.An Axiomatisation of the Probabilistic μ-Calculus

机译：概率μ微积分的公理化
- 作者：Junnan Xu;Wanwei Liu;David N. Jansen;Lijun Zhang
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
23.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;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
24.A First Step in the Translation of Alloy to Coq

机译：合金转化为辅酶的第一步
- 作者：Salwa Souaf;Frederic Loulergue
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- First order relational logic;
- Calculus of inductive construction;
- Translation;
25.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;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Road transportation system;
- Requirements engineering;
- Formal models;
- Domain modeling;
- SysML/KAOS;
- B System;
- Event-B;
26.Design Model Repair with Formal Verification

机译：带有形式验证的设计模型修复
- 作者：Cheng-Hao Cai;Jing Sun;Gillian Dobbie
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Model repair;
- B method;
- Model checking;
- Refinement;
27.A Performance-Sensitive Malware Detection System on Mobile Platform

机译：基于性能的移动平台恶意软件检测系统
- 作者：Ruitao Feng;Yang Liu;Shangwei Lin
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Android malware;
- Malware detection;
- Deep neural network;
- Mobile platform;
28.Certifying Hardware Model Checking Results

机译：验证硬件模型检查结果
- 作者：Zhengqi Yu;Armin Biere;Keijo Heljanko
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
29.A Note on Failure Mode Reasoning

机译：关于故障模式推理的注释
- 作者：Hamid Jahanian
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
30.Formal Specification and Verification of Smart Contracts

机译：智能合约的正式规范和验证
- 作者：Jiao Jiao
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
31.Spatio-Temporal Specification Language for Cyber-Physical Systems

机译：网络物理系统的时空规范语言
- 作者：Tengfei Li
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
32.A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams

机译：动态可靠性方框图的形式验证方法
- 作者：Yassmeen Elderhalli;Osman Hasan;Sofiene Tahar
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Dynamic reliability block diagrams;
- Algebra;
- Theorem proving;
- HOL4;
33.Reasoning About Universal Cubes in MCMT

机译：MCMT中通用立方体的推理
- 作者：Sylvain Conchon;Mattias Roux
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
34.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;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Blockchain;
- Symbolic testing;
- Smart contract;
35.A Mechanized Theory of Program Refinement

机译：程序优化的机械化理论
- 作者：Boubacar Demba Sall;Frederic Peschanski;Emmanuel Chailloux
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Stepwise refinement;
- Program verification;
- Predicative programming;
- Correctness-by-construction;
- Type theory;
- Proof assistant;
- Coq;
36.A Relational Static Semantics for Call Graph Construction

机译：调用图构造的关系静态语义
- 作者：Xilong Zhuo;Chenyi Zhang
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
37.Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method

机译：解决方案枚举抽象：增强轻量级形式化方法的建模习语
- 作者：Allison Sullivan;Darko Marinov;Sarfraz Khurshid
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
38.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;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Attractor analysis;
- Machine learning;
- Boolean networks;
39.Combining Parallel Emptiness Checks with Partial Order Reductions

机译：将并行空性检查与部分订单减少相结合
- 作者：Denis Poitrenaud;Etienne Renault
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
40.A Coalgebraic Semantics Framework for Quantum Systems

机译：量子系统的联合代数语义框架
- 作者：Ai Liu;Meng Sun
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年
- Quantum labeled transition system;
- Reactive quantum system;
- Final coalgebra;
- Bisimulation;
- Simulation;
41.Parameterized Hardware Verification Through a Term-Level Generalized Symbolic Trajectory Evaluation

机译：通过术语级广义符号轨迹评估进行参数化硬件验证
- 作者：Yongjian Li;Bow-yaw Wang
- 会议名称：《International conference on formal engineering methods;International workshop on SOFL+MSVL for reliability and security;International workshop on formal techniques for safety-critical systems;International workshop on artificial intelligence and formal methods》 | 2019年