首页>外文会议>International conference on formal methods for industrial critical systems

International conference on formal methods for industrial critical systems

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Jiri Barnat;Falk Howar
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
2.The Quest for Optimality in Stateless Model Checking of Concurrent Programs

机译：并发程序无状态模型检查中的最优性追求
- 作者：Bengt Jonsson
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
3.The Cause-Effect Latency Problem in Real-Time Systems

机译：实时系统中的因果延迟问题
- 作者：Wang Yi
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
4.Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds

机译：生成模型驱动的敏捷系统设计和演化设计：两个世界的故事
- 作者：Tiziana Margaria
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
5.Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory

机译：建立正确的网络物理系统：为什么我们需要多视图合同理论
- 作者：Susanne Graf;Sophie Quinton;Alain Girault;Gregor Goessler
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
6.Automated Functional Safety Analysis of Automated Driving Systems

机译：自动驾驶系统的自动功能安全性分析
- 作者：Martin Koelbl;Stefan Leue
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
7.Safety Interlocking as a Distributed Mutual Exclusion Problem

机译：安全联锁作为分布式互斥问题
- 作者：Alessandro Fantechi;Anne E. Haxthausen
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
8.Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL

机译：使用UPPAAL在开发过程的早期检查分布式汽车控制软件的实时要求的一致性
- 作者：Jan Toennemann;Andreas Rausch;Falk Howar;Benjamin Cool
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
9.Formal Verification of a Programmable Hypersurface

机译：可编程超曲面的形式验证
- 作者：Panagiotis Kouvaros;Dimitrios Kouzapas;Anna Philippou;Julius Georgiou;Loukas Petrou;Andreas Pitsillides
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
10.Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset

机译：使用mCRL2工具集建模和分析ERTMS Hybrid Level 3
- 作者：Maarten Bartholomeus;Bas Luttik;Tim Willemse
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
11.Progress Checking for Dummies

机译：进度检查假人
- 作者：Antti Valmari;Henri Hansen
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
- Usability of verification methods;
- Progress;
- Fairness Fair testing;
12.Virtual Integration for Pattern-Based Contracts with the KIND2 Model Checker

机译：使用KIND2模型检查器对基于模式的合同进行虚拟集成
- 作者：Jan Steffen Becker
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
- Contract-based design;
- Formal methods;
- Virtual integration;
- Model checking;
- Requirements engineering Verification;
13.Active Mining of Document Type Definitions

机译：主动挖掘文档类型定义
- 作者：Markus Frohme;Bernhard Steffen
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
14.Adaptive Learning for Learn-Based Regression Testing

机译：基于学习的回归测试的自适应学习
- 作者：David Huistra;Jeroen Meijer;Jaco van de Pol
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
15.Predicate Abstraction and Such...

机译：谓词抽象和此类...
- 作者：Bernhard Steffen;Tiziana Margaria
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
- Verification;
- Tools;
- State explosion problem;
- Scalability;
- Compositionality;
- Interface specifications;
- Predicate abstraction;
- CEGAR;
- Viewpoints;
- Cyber-physical systems;
- Contracts;
- Refinement;
- Real time;
- Security;
- Communication protocols;
16.Compositional Verification in Action

机译：实际操作中的成分验证
- 作者：Hubert Garavel;Frederic Lang;Laurent Mounier
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
17.A Note on Refinement in Hierarchical Transition Systems

机译：关于分层过渡系统中的细化的注记
- 作者：Gerald Luettgen
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
18.M3C: Modal Meta Model Checking

机译：M3C：模态元模型检查
- 作者：Bernhard Steffen;Alnis Murtovi
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
19.Wholly!: A Build System For The Modern Software Stack

机译：Wholly !：现代软件堆栈的构建系统
- 作者：Loic Gelle;Hassen Saidi;Ashish Gehani
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
20.A Modeling Language for Security Threats of IoT Systems

机译：物联网系统安全威胁的建模语言
- 作者：Delphine Beaulaton;Ioana Cristescu;Axel Legay;Jean Quilbeuf
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
- IoT systems;
- Component-based specifications;
- Security;
21.Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP

机译：基于MILP的定时自动机有界可达性分析
- 作者：Iulian Ober
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
22.Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools

机译：实时系统分析方法和工具的评估和比较
- 作者：Sophie Quinton
- 会议名称：《International conference on formal methods for industrial critical systems》 | 2018年
- Real-time systems;
- Verification;
- Formal methods;