首页>外文会议>International conference on abstract state machines, alloy, B, TLA, VDM, and Z

International conference on abstract state machines, alloy, B, TLA, VDM, and Z

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Encoding TLA~+ into Many-Sorted First-Order Logic

机译：将TLA〜+编码为多排序一阶逻辑
- 作者：Stephan Merz;Hernan Vanzetto
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
2.Proving Determinacy of the PharOS Real-Time Operating System

机译：证明PharOS实时操作系统的确定性
- 作者：Selma Azaiez;Damien Doligez;Matthieu Lemerre;Tomer Libal;Stephan Merz
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
3.A Rigorous Correctness Proof for Pastry

机译：严格的糕点正确性证明
- 作者：Noran Azmy;Stephan Merz;Christoph Weidenbach
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
4.Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets

机译：与Petri网相比，使用抽象状态机对分布式算法建模
- 作者：Egon Boerger
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
5.A Universal Control Construct for Abstract State Machines

机译：抽象状态机的通用控制构造
- 作者：Michael Stegmaier;Marcel Dausend;Alexander Raschke;Matthias Tichy
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- Abstract State Machines;
- Control construct;
- Control flow;
6.Enabling Analysis for Event-B

机译：对事件B启用分析
- 作者：Ivaylo Dobrikov;Michael Leuschel
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- Model comprehension;
- Model checking;
- Static analysis;
- Event-B;
- Constraint-based analysis;
7.A Compact Encoding of Sequential ASMs in Event-B

机译：事件B中顺序ASM的紧凑编码
- 作者：Michael Leuschel;Egon Boerger
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- ASM;
- B-method;
- Model checking;
- Constraint-solving;
- Tools;
8.Proof Assisted Symbolic Model Checking for B and Event-B

机译：B和事件B的证明辅助符号模型检查
- 作者：Sebastian Krings;Michael Leuschel
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- B-Method;
- Event-B;
- Proof;
- Symbolic model checking;
9.On Component-Based Reuse for Event-B

机译：关于事件B的基于组件的重用
- 作者：Andrew Edmunds;Colin Snook;Marina Walden
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
10.Using B and ProB for Data Validation Projects

机译：使用B和ProB进行数据验证项目
- 作者：Dominik Hansen;David Schneider;Michael Leuschel
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- B method;
- Constraint programming;
- Timetabling;
- Scheduling;
- Railway;
11.Generating Event-B Specifications from Algorithm Descriptions

机译：从算法描述生成事件B规范
- 作者：Joy Clark;Jens Bendisposto;Stefan Hallerstede;Dominik Hansen;Michael Leuschel
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- Event-B;
- Code generation;
- Sequential algorithm;
12.Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions

机译：基于细化的成分的本地计算终止检测的形式证明
- 作者：Maha Boussabbeh;Mohamed Tounsi;Mohamed Mosbah;Ahmed Hadj Kacem
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- Distributed algorithms;
- Local computations;
- Termination detection;
- SSP algorithm;
- Composition;
- Event-B method;
13.How to Select the Suitable Formal Method for an Industrial Application: A Survey

机译：如何为工业应用选择合适的形式化方法：一项调查
- 作者：Felix Kossak;Atif Mashkoor
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
14.Unified Syntax for Abstract State Machines

机译：抽象状态机的统一语法
- 作者：Paolo Arcaini;Silvia Bonfanti;Marcel Dausend;Angelo Gargantini;Atif Mashkoor;Alexander Raschke;Elvinia Riccobene;Patrizia Scandurra;Michael Stegmaier
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
15.A Relational Encoding for a Clash-Free Subset of ASMs

机译：ASM的无冲突子集的关系编码
- 作者：Gerhard Schellhorn;Gidon Ernst;Joerg Pfaehler;Wolfgang Reif
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- Abstract State Machines;
- Synchronous parallelism;
- Clashes;
16.Towards an ASM Thesis for Reflective Sequential Algorithms

机译：面向反射序列算法的ASM论文
- 作者：Flavio Ferrarotti;Loredana Tec;Jose Maria Turull Torres
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
17.A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications

机译：重用和重新定位CASM规范的基于模型的转换方法
- 作者：Philipp Paulweber;Uwe Zdun
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
18.Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy

机译：为合金飓风风暴潮离散离散干法算法建模
- 作者：John Baugh;Alper Altuntas
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
19.'The Tinker' for Rodin

机译：罗丹的``修补匠''
- 作者：Yibo Liang;Yuhui Lin;Gudmund Grov
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
20.A Graphical Tool for Event Refinement Structures in Event-B

机译：事件B中事件细化结构的图形工具
- 作者：Dana Dghaym;Matheus Garay Trindade;Michael Butler;Asieh Salehi Fathabadi
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
21.Rodin Platform Why3 Plug-In

机译：Rodin Platform Why3插件
- 作者：Alexei Iliasov;Paulius Stankaitis;David Adjepon-Yamoah;Alexander Romanovsky
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
22.Semi-Automated Design Space Exploration for Formal Modelling

机译：半自动化设计空间探索以进行正式建模
- 作者：Gudmund Grov;Andrew Ireland;Maria Teresa Llano;Peter Kovacs;Simon Colton;Jeremy Gow
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- Design;
- Abstraction;
- Event-B;
- Theory formation;
23.Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development

机译：处理混合系统重新配置中的连续功能：正式的Event-B开发
- 作者：Guillaume Babin;Yamine Aiet-Ameur;Neeraj Kumar Singh;Marc Pantel
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
24.UC-B: Use Case Modelling with Event-B

机译：UC-B：使用事件-B进行用例建模
- 作者：Rajiv Murali;Andrew Ireland;Gudmund Grov
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- Event-B;
- Rodin;
- UML;
- Use cases;
25.Interactive Model Repair by Synthesis

机译：综合交互式模型修复
- 作者：Joshua Schmidt;Sebastian Krings;Michael Leuschel
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
26.SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML

机译：SysML2B：使用SysML进行B项目图形架构设计的自动工具
- 作者：David Mentre
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
27.Mechanized Refinement of Communication Models with TLA~+

机译：用TLA〜+机械化完善通信模型
- 作者：Florent Chevrou;Aurelie Hurault;Philippe Mauran;Philippe Queinnec
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
28.A Super Industrial Application of PSGraph

机译：PSGraph的超级工业应用
- 作者：Yuhui Lin;Gudmund Grov;Colin OHalloran;Priiya G.
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
29.The Hemodialysis Machine Case Study

机译：血液透析机案例研究
- 作者：Atif Mashkoor
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
30.How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study

机译：如何确保医疗软件的正确性和安全性：血液透析机案例研究
- 作者：Paolo Arcaini;Silvia Bonfanti;Angelo Gargantini;Elvinia Riccobene
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
31.Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation

机译：使用iUML-B，BMotion Studio和协同仿真验证血液透析机的要求和设计
- 作者：Thai Son Hoang;Colin Snook;Lukas Ladenberger;Michael Butler
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- Hemodialysis machine;
- Event-B;
- Validation;
- Visualisation;
- iUML-B;
- BMotion Studio;
- Co-Simulation;
32.Hemodialysis Machine in Hybrid Event-B

机译：混合事件B的血液透析机
- 作者：Richard Banach
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
33.Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods

机译：使用代数状态转换图和B类方法对血液透析机建模
- 作者：Thomas Fayolle;Marc Frappier;Frederic Gervais;Regine Laleau
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
- ASTD;
- Event-B;
- Process algebra;
- StateCharts;
- Refinement;
34.Modelling the Haemodialysis Machine with Circus

机译：用马戏团模拟血液透析机
- 作者：Artur O. Gomes;Andrew Butterfield
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
35.Preface

机译：前言
- 作者：Michael Butler;Klaus-Dieter Schewe;Atif Mashkoor;Miklos Biro
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
36.How to Brew Your Own Hybrid/Cyberphysical Formalism

机译：如何酿造自己的混合/网络物理形式主义
- 作者：Richard Banach
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
37.Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets

机译：与Petri网相比，使用抽象状态机对分布式算法建模
- 作者：Egon Boerger
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
38.Atelier B Has Turned Twenty

机译：B工作室已经二十岁了
- 作者：Thierry Lecomte
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年
39.Modeling Safety Critical Railway Applications - An Industrial Experience

机译：建模安全关键铁路应用-工业经验
- 作者：Klaus Reichl
- 会议名称：《International conference on abstract state machines, alloy, B, TLA, VDM, and Z》 | 2016年