首页>外文会议>World Congress on Formal Methods

World Congress on Formal Methods

召开年：2019
召开地：Porto(PT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Emil Sekerinski;Nelma Moreira;Jose N. Oliveira
- 会议名称：《World Congress on Formal Methods》 | 2019年
2.HFM 2019 Organizers' Message

机译：HFM 2019组织者致辞
- 作者：Troy Kaighin Astarte
- 会议名称：《World Congress on Formal Methods》 | 2019年
3.The Prehistory and History of RE (+ SE) as Seen by Me: How My Interest in FMs Helped to Move Me to RE and to Teach Me Fundamental Impediments to Using FMs in SW Systems Development

机译：我看到的RE（+ SE）的史前历史：我对FM的兴趣如何帮助我迁移到RE并教我在SW Systems开发中使用FM的基本障碍
- 作者：Daniel Berry
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Formal methods;
- Requirements engineering;
- Requirements engineering reference model;
- Software development;
4.Babbage's Mechanical Notation

机译：巴贝奇的机械符号
- 作者：Adrian Johnstone;Elizabeth Scott
- 会议名称：《World Congress on Formal Methods》 | 2019年
5.The History and Evolution of B and Event-B

机译：B和Event-B的历史和演变
- 作者：Philipp Koerner;Sebastian Krings;Michael Butler;Thierry Lecomte;Michael Leuschel;Luis-Fernando Mejia;Laurent Voisin
- 会议名称：《World Congress on Formal Methods》 | 2019年
6.History of Abstract Interpretation

机译：抽象解释的历史
- 作者：Roberto Giacobazzi;Francesco Ranzato
- 会议名称：《World Congress on Formal Methods》 | 2019年
7.Flow Diagrams, Assertions, and Formal Methods

机译：流程图，断言和形式方法
- 作者：Mark Priestley
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Flow diagrams;
- Assertions;
- Formal methods;
8.The School of Squiggol: A History of the Bird-Meertens Formalism

机译：斯奎戈尔学校：鸟形形式主义的历史
- 作者：Jeremy Gibbons
- 会议名称：《World Congress on Formal Methods》 | 2019年
9.Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads

机译：关于共享变量并发的推理：研究线程之间的交互
- 作者：Cliff B. Jones
- 会议名称：《World Congress on Formal Methods》 | 2019年
10.Specification with Class: A Brief History of Object-Z

机译：类的规范：Object-Z的简要历史
- 作者：Graeme Smith;David J. Duke
- 会议名称：《World Congress on Formal Methods》 | 2019年
11.Formal Specifications and Software Testing, a Fruitful Convergence

机译：正式规格和软件测试，卓有成效的融合
- 作者：Marie-Claude Gaudel
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Formal methods;
- Software testing;
- History;
12.From Manuscripts to Programming Languages: An Archivist Perspective

机译：从手稿到编程语言：档案管理员的观点
- 作者：Alexandra Vidal;Ana Sandra Meneses;Antonio Sousa
- 会议名称：《World Congress on Formal Methods》 | 2019年
- History of software;
- Archival standards;
- Digital preservation;
13.What Have Formal Methods Ever Done for Us? An Audience Discussion

机译：正式方法为我们做了什么？观众讨论
- 作者：Troy Kaighin Astarte
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Formal methods;
- History of computing;
14.NSAD 2019 Organizers' Message

机译：NSAD 2019组织者寄语
- 作者：Laure Gonnord
- 会议名称：《World Congress on Formal Methods》 | 2019年
15.Some Thoughts on the Design of Abstract Domains (Invited Talk)

机译：关于抽象域设计的一些思考（特邀演讲）
- 作者：Enea Zaffanella
- 会议名称：《World Congress on Formal Methods》 | 2019年
16.Combination of Boxes and Polyhedra Abstractions for Constraint Solving

机译：框和多面体抽象的组合用于约束求解
- 作者：Ghiles Ziat;Alexandre Marechal;Marie Pelleau;Antoine Mine;Charlotte Truchet
- 会议名称：《World Congress on Formal Methods》 | 2019年
17.An Abstract Domain for Objects in Dynamic Programming Languages

机译：动态编程语言中对象的抽象域
- 作者：Vincenzo Arceri;Michele Pasqua;Isabella Mastroeni
- 会议名称：《World Congress on Formal Methods》 | 2019年
18.OpenCERT 2019 Organizers' Message

机译：OpenCERT 2019组织者的贺词
- 作者：Antonio Cerone;Luis Barbosa
- 会议名称：《World Congress on Formal Methods》 | 2019年
19.A Survey of Learning Methods in Open Source Software

机译：开源软件中的学习方法概述
- 作者：Aidarbek Suleimenov;Assiya Khuzyakhmetova;Antonio Cerone
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Open source software;
- Learning processes;
- Learning methods;
- Education;
20.A Calculus of Chaos in Stochastic Compilation: Engineering in the Cause of Mathematics

机译：随机编译中的混沌演算：数学中的工程学
- 作者：Peter T. Breuer;Simon J. Pickin
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Computer security;
- Encrypted computing;
- Program logic;
21.Runtime Verification of Linux Kernel Security Module

机译：Linux内核安全模块的运行时验证
- 作者：Denis Efremov;Ilya Shchepetkov
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Runtime verification;
- Operating system kernel;
- Security policy model;
- Event-B;
- Linux security modules;
22.Open and Interactive Learning Resources for Algorithmic Problem Solving

机译：开放和交互式学习资源，用于算法问题解决
- 作者：Joao F. Ferreira;Alexandra Mendes
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Algorithmic problem solving;
- Formal methods;
- Interactive learning materials;
23.Challenges Faced by Students in an Open Source Software Undergraduate Course

机译：开源软件本科课程学生面临的挑战
- 作者：Dias Issa
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Open Source Software;
- Code developer;
- OSS challenges;
24.Open Source Software as a Learning Tool for Computer Science Students

机译：开源软件作为计算机科学专业学生的学习工具
- 作者：Assiya Khuzyakhmetova;Aidarbek Suleimenov
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Open source software;
- Student experience;
- Distributed development;
- Computer science learning;
25.Overture 2019 Organizers' Message

机译：序曲2019主办方致辞
- 作者：Luis Diogo Couto;Carl Camble
- 会议名称：《World Congress on Formal Methods》 | 2019年
26.Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation

机译：通过多建模和协同仿真探索网络物理系统中的人类行为
- 作者：Ken Pierce;Carl Gamble;David Golightly;Roberto Palacin
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Cyber-physical systems;
- Ergonomics;
- Human behaviour Multi-modelling;
27.Migrating the INTO-CPS Application to the Cloud

机译：将INTO-CPS应用程序迁移到云
- 作者：Hugo Daniel Macedo;Mikkel Bayard Rasmussen;Casper Thule;Peter Gorm Larsen
- 会议名称：《World Congress on Formal Methods》 | 2019年
28.Towards a Static Check of FMUs in VDM-SL

机译：在VDM-SL中对FMU进行静态检查
- 作者：Nick Battle;Casper Thule;Claudio Gomes;Hugo Daniel Macedo;Peter Gorm Larsen
- 会议名称：《World Congress on Formal Methods》 | 2019年
29.ViennaDoc: An Animatable and Testable Specification Documentation Tool

机译：ViennaDoc：可动画且可测试的规范文档工具
- 作者：Tomohiro Oda;Keijiro Araki;Yasuhiro Yamamoto;Kumiyo Nakakoji;Hiroshi Sako;Han-Myung Chang;Peter Gorm Larsen
- 会议名称：《World Congress on Formal Methods》 | 2019年
30.Refine 2019 Organizers' Message

机译：完善2019年组织者的话
- 作者：John Derrick;Brijesh Dongol;Steve Reeves
- 会议名称：《World Congress on Formal Methods》 | 2019年
31.A Map of Asynchronous Communication Models

机译：异步通信模型图
- 作者：Florent Chevrou;Aurelie Hurault;Shin Nakajima;Philippe Queinnec
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Asynchronous communication;
- Formal verification;
- Refinements of communication models;
- Event-B;
32.An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities

机译：关于安全漏洞推理的推测执行的抽象语义
- 作者：Robert J. Colvin;Kirsten Winter
- 会议名称：《World Congress on Formal Methods》 | 2019年
33.Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors

机译：多核处理器上并发对象的弱化正确性和线性化
- 作者：Graeme Smith;Lindsay Groves
- 会议名称：《World Congress on Formal Methods》 | 2019年
34.Towards a Method for the Decomposition by Refinement in Event-B

机译：寻求事件B中的细化分解方法
- 作者：Kenza Kraibi;Rahma Ben Ayed;Joris Rehm;Simon Collart-Dutilleul;Philippe Bon;Dorian Petit
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Event-B;
- Refinement;
- Decomposition;
- System behavior;
35.Transformations for Generating Type Refinements

机译：生成类型优化的转换
- 作者：Douglas R. Smith;Stephen J. Westfold
- 会议名称：《World Congress on Formal Methods》 | 2019年
36.Comparing Correctness-by-Construction with Post-Hoc Verification-A Qualitative User Study

机译：通过构造比较正确性与事后验证-定性用户研究
- 作者：Tobias Runge;Thomas Thuem;Loek Cleophas;Ina Schaefer;Bruce W. Watson
- 会议名称：《World Congress on Formal Methods》 | 2019年
37.RPLA 2019 Organizers' Message

机译：RPLA 2019组织者致词
- 作者：Markus Holzer;Martin Kutrib
- 会议名称：《World Congress on Formal Methods》 | 2019年
38.Reversible Computing from a Programming Language Perspective (Extended Abstract)

机译：从编程语言的角度看可逆计算（扩展摘要）
- 作者：Robert Glueck
- 会议名称：《World Congress on Formal Methods》 | 2019年
39.Reversible Programs Have Reversible Semantics

机译：可逆程序具有可逆语义
- 作者：Robert Glueck;Robin Kaarsgaard;Tetsuo Yokoyama
- 会议名称：《World Congress on Formal Methods》 | 2019年
40.Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems

机译：双向量子和经典自动机，为在线最小化问题提供建议
- 作者：Kamil Khadiev;Aliya Khadieva
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Quantum computation;
- Online algorithms;
- Streaming algorithms;
- Online minimization problems;
- Two-way automata;
- Automata;
41.Quotients and Atoms of Reversible Languages

机译：可逆语言的商和原子
- 作者：Hellis Tamm
- 会议名称：《World Congress on Formal Methods》 | 2019年
42.SASB 2019 Organizers' Message

机译：SASB 2019组织者寄语
- 作者：Pedro T. Monteiro;Jean Krivine
- 会议名称：《World Congress on Formal Methods》 | 2019年
43.Bayesian Verification of Chemical Reaction Networks

机译：化学反应网络的贝叶斯验证
- 作者：Gareth W. Molyneux;Viraj B. Wijesuriya;Alessandro Abate
- 会议名称：《World Congress on Formal Methods》 | 2019年
44.Nested Event Representation for Automated Assembly of Cell Signaling Network Models

机译：嵌套事件表示，用于细胞信令网络模型的自动组装
- 作者：Evan W. Becker;Kara N. Bocan;Natasa Miskov-Zivanov
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Machine reading;
- Text mining;
- Cell signaling networks;
- Automated model generation;
45.TAPAS 2019 Organizers' Message

机译：TAPAS 2019组织者寄语
- 作者：David Delmas
- 会议名称：《World Congress on Formal Methods》 | 2019年
46.Transforming Development Processes of Avionics Software with Formal Methods

机译：用正式方法改变航空电子软件的开发过程
- 作者：Pascal Lacabanne
- 会议名称：《World Congress on Formal Methods》 | 2019年
47.Establishing Sound Static Analysis for Integration Verification of Large-Scale Software in Automotive Industry

机译：建立用于汽车行业大型软件集成验证的静力学分析
- 作者：Bernard Schmidt
- 会议名称：《World Congress on Formal Methods》 | 2019年
48.PrideMM: Second Order Model Checking for Memory Consistency Models

机译：PrideMM：用于内存一致性模型的二阶模型检查
- 作者：Simon Cooksey;Sarah Harris;Mark Batty;Radu Grigore;Mikolas Janota
- 会议名称：《World Congress on Formal Methods》 | 2019年
49.Fkcc: The Farkas Calculator

机译：Fkcc：Farkas计算器
- 作者：Christophe Alias
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Farkas lemma;
- Scripting tool;
- Termination;
- Scheduling;
50.Handling Heap Data Structures in Backward Symbolic Execution

机译：在向后符号执行中处理堆数据结构
- 作者：Robert Husak;Jan Kofron;Filip Zavoral
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Backward symbolic execution;
- Weakest precondition;
- Heap data structures;
- Input heap;
- Theory of arrays;
51.AUTHCHECK: Program-State Analysis for Access-Control Vulnerabilities

机译：AUTHCHECK：对访问控制漏洞的程序状态分析
- 作者：Goran Piskachev;Tobias Petrasch;Johannes Spaeth;Eric Bodden
- 会议名称：《World Congress on Formal Methods》 | 2019年
- Static analysis;
- Access-control;
- Authentication;
- Authorization;
- Web systems;
- Security;