首页>外文会议>International Conference on Rigorous State-Based Methods

International Conference on Rigorous State-Based Methods

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Preface

机译：前言
- 作者：Dominique Mery;Alexander Raschke;Frank Houdek
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
2.Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

机译：使用RoboStar技术进行仿真的机器人平台的建模和验证
- 作者：Ana Cavalcanti
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
3.Adding Concurrency to a Sequential Refinement Tower

机译：向顺序精炼塔添加并发
- 作者：Gerhard Schellhorn;Stefan Bodenmueller;Joerg Pfaehler;Wolfgang Reif
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
4.Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering

机译：使用图核和聚类的模型查找器中的各种方案探索
- 作者：Robert Clariso;Jordi Cabot
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Model-driven engineering;
- Verification and validation;
- Testing;
- Graph kernels;
- Clustering;
- Diversity;
5.Formal Verification of Interoperability Between Future Network Architectures Using Alloy

机译：使用Alloy的未来网络体系结构之间互操作性的形式验证
- 作者：Mohammad Jahanian;Jiachen Chen;K. K. Ramakrishnan
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
6.Experiences on Teaching Alloy with an Automated Assessment Platform

机译：使用自动评估平台进行合金教学的经验
- 作者：Nuno Macedo;Alcino Cunha;Jose Pereira;Renato Carvalho;Ricardo Silva;Ana C. R. Paiva;Miguel Sozinho Ramalho;Daniel Silva
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Teaching formal methods;
- Alloy;
- Automated assessment;
7.A Characterization of Distributed ASMs with Partial-Order Runs

机译：具有部分订单运行的分布式ASM的表征
- 作者：Egon Boerger;Klaus-Dieter Schewe
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
8.A Logic for Reflective ASMs

机译：反射式ASM的逻辑
- 作者：Klaus-Dieter Schewe;Flavio Ferrarotti
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Abstract state machine;
- Reflection;
- Logic;
- Tree algebra;
9.Analysing ProB's Constraint Solving Backends What Do They Know? Do They Know Things? Let's Find Out!

机译：分析ProB的约束解决方案后端知道什么？他们知道什么吗？让我们找出答案！
- 作者：Jannik Dunkelau;Joshua Schmidt;Michael Leuschel
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Constraint solving;
- Machine learning;
- Decision trees;
- Feature importances;
- Association rules;
- Automated tool selection;
10.Programming the CLEARSY Safety Platform with B

机译：用B编程CLEARSY安全平台
- 作者：Thierry Lecomte
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- B method;
- Safety critical;
- Programming model;
11.Modelling Hybrid Programs with Event-B

机译：使用Event-B为混合程序建模
- 作者：Meryem Afendi;Regine Laleau;Amel Mamniar
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Cyber-Physical Systems;
- Hybrid systems;
- Event-B;
- Refinement;
- Differential refinement logic;
12.Event-B-Supported Choreography-Defined Communicating Systems Correctness and Completeness

机译：事件B支持的编排定义的通信系统的正确性和完整性
- 作者：Sarah Benyagoub;Yamine Aiet-Ameur;Klaus-Dieter Schewe
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Event-B;
- Choreography;
- Realisability;
- Correctness proof;
- Completeness proof;
13.Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B

机译：使用事件B进行证明和完善的混合系统的形式验证架构模式
- 作者：Guillaume Dupont;Yamine Aiet-Ameur;Marc Pantel;Neeraj K. Singh
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Hybrid systems;
- Cyber-physical systems;
- Architecture design patterns;
- Event-B;
- Refinement;
- Proof;
14.Integration of iUML-B and UPPAAL Timed Automata for Development of Real-Time Systems with Concurrent Processes

机译：iUML-B和UPPAAL定时自动机的集成，用于开发具有并行过程的实时系统
- 作者：Fatima Shokri-Manninen;Leonidas Tsiopoulos;Jueri Vain;Marina Walden
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Verification;
- Model checking;
- Timed automata;
- Event-B;
- iUML-B;
- UPPAAL;
- Real-time systems;
- Trigger-response patterns;
15.Formal Distributed Protocol Development for Reservation of Railway Sections

机译：预留铁路部分的正式分布式协议开发
- 作者：Paulius Stankaitis;Alexei Iliasov;Tsutomu Kobayashi;Yamine Aiet-Ameur;Fuyuki Ishikawa;Alexander Romanovsky
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Formal verification;
- Distributed resource allocation;
- Performance analysis;
- Event-B;
- PRISM model checker;
- Railway signalling;
16.Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3

机译：验证SGAC访问控制策略：ProB，Alloy和Z3的比较
- 作者：Diego de Azevedo OHveira;Marc Frappier
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Access control;
- Consent management;
- Verification;
- ProB;
- Formal model;
- Alloy;
- Z3;
17.Account and Transaction Protocol of the Open Banking Standard

机译：开放银行标准的帐户和交易协议
- 作者：Abdulaziz Almehrej;Leo Freitas;Paolo Modesti
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
18.Structuring the State and Behavior of ASMs: Introducing a Trait-Based Construct for Abstract State Machine Languages

机译：构建ASM的状态和行为：引入基于特征的抽象状态机语言构造
- 作者：Philipp Paulweber;Emmanuel Pescosta;Uwe Zdun
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Abstract State Machine;
- Trait;
- Structure;
- Modularization;
- CASM;
19.Exploring the Concept of Abstract State Machines for System Runtime Enforcement

机译：探索用于系统运行时执行的抽象状态机的概念
- 作者：Elvinia Riccobene;Patrizia Scandurra
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
20.ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods

机译：ProB和Jupyter用于逻辑，集合论，理论计算机科学和形式方法
- 作者：David Geleßus;Michael Leuschel
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
21.Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B

机译：工作室B中约束，属性和不变量的存在证明义务
- 作者：Hector Ruiz Barradas;Lilian Burdy;David Deharbe
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
22.VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics

机译：VisB：使用SVG图形可视化形式模型的轻量级工具
- 作者：Michelle Werth;Michael Leuschel
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
23.Towards a Shared Specification Repository

机译：迈向共享规范库
- 作者：Philipp Koerner;Michael Leuschel;Jannik Dunkelau
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
24.Refinement and Verification of Responsive Control Systems

机译：响应控制系统的细化和验证
- 作者：Karla Morris;Colin Snook;Thai Son Hoang;Geoffrey Hulette;Robert Armstrong;Michael Butler
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Run-to-completion;
- Statecharts;
- Refinement;
25.Adaptive Exterior Light and Speed Control System

机译：自适应外部光速控制系统
- 作者：Frank Houdek;Alexander Raschke
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
26.Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA

机译：使用ASMETA对具有自适应功能的汽车软件密集型系统进行建模
- 作者：Paolo Arcaini;Silvia Bonfanti;Angclo Gargantini;Elvinia Riccobene;Patrizia Scandurra
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
27.Validating Multiple Variants of an Automotive Light System with Electrum

机译：用电子验证汽车照明系统的多个变体
- 作者：Akino Cunha;Nunc Mace-do;Chong Liu
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
28.Modelling and Validating an Automotive System in Classical B and Event-B

机译：经典B和Event-B中的汽车系统建模和验证
- 作者：Michael Leuschel;Mareike Mutz;Michelle Werth
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
29.An Event-B Model of an Automotive Adaptive Exterior Light System

机译：汽车自适应外部照明系统的Event-B模型
- 作者：Amel Mammar;Marc Frappicr;Regine Laleau
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Adaptive exterior light system;
- Event-B method;
- Refinement;
- Verification;
30.Modeling of a Speed Control System Using Event-B

机译：使用事件B的速度控制系统建模
- 作者：Amel Mammar;Marc Frappier
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
- Speed control system;
- Event-B method;
- Refinement;
- Verification;
31.A Verified Low-Level Implementation of the Adaptive Exterior Light and Speed Control System

机译：自适应外部光速控制系统的经过验证的底层实现
- 作者：Sebastian Krings;Philipp Koerner;Jannik Dunkelau;Chris Rutenkolk
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
32.A Correct by Construction Approach for the Modeling and the Verification of Cyber-Physical Systems in Event-B

机译：事件B中的物理网络建模和验证的一种正确的构造方法
- 作者：Meryem Afendi
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
33.Improving Trustworthiness of Self-driving Systems

机译：提高自动驾驶系统的可信度
- 作者：Fahad Alotaibi
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
34.A Formal Approach for the Modeling of High-Level Architectures Aligned with System Requirements

机译：符合系统需求的高级架构建模的一种形式化方法
- 作者：Racem Bougacha
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
35.Automatic Generation of Dist Algo Programs from Event-B Models

机译：从Event-B模型自动生成Dist算法程序
- 作者：Alexis Grall
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
36.Event-B: From Systems to Sub-systems Modeling

机译：事件B：从系统到子系统建模
- 作者：Kenza Kraibi
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
37.A Framework for Critical Interactive System Formal Modelling and Analysis

机译：关键交互系统形式化建模和分析框架
- 作者：Ismaiel Mendil
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2020年
38.Formalizing and Analyzing System Requirements of Automatic Train Operation over ETCS Using Event-B

机译：使用Event-B正式和分析自动列车操作的系统要求
- 作者：Robert Eschbach
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- ATO over ETCS;
- Formalization;
- Traceability;
- Formal verification;
- Event-B;
39.A Modeling and Verification Framework for Security Protocols

机译：安全协议的建模与验证框架
- 作者：Mario Lilli
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- ASM;
- Security protocol;
- Automatic verification;
- ASMETA;
40.Preface

机译：前言
- 作者：Alexander Raschke;Dominique Mery
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
41.Towards ASM-Based Automated Formal Verification of Security Protocols

机译：对基于ASM的自动正式验证安全协议
- 作者：Chiara Braghin;Mario Lilli;Elvinia Riccobene
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- Cryptographic protocols;
- Security assurance;
- Abstract state machines;
42.Verifying System-Level Security of a Smart Ballot Box

机译：验证智能投票箱的系统级安全性
- 作者：Dana Dghaym;Thai Son Hoang;Michael Butler;Runshan Hu;Leonardo Aniello;Vladimiro Sassone
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- Event-B;
- Availability property;
- System security;
- Refinement;
- Voting system;
43.Event-B Formalization of Event-B Contexts

机译：Event-B事件-B的形式化
- 作者：Jean-Paul Bodeveix;Mamoun Filali
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- Formal methods;
- Event-B;
- Meta modelisation;
44.Extending ASMETA with Time Features

机译：随时间特征扩展areta
- 作者：Andrea Bombarda;Silvia Bonfanti;Angelo Gargantini;Elvinia Riccobene
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
45.Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection

机译：利用并发和反射在ASMS中改进无限的并行性
- 作者：Fengqing Jiang;Neng Xiong;Xinyu Lian;Senen Gonzalez;Klaus-Dieter Schewe
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- MapReduce;
- Work stealing;
- Reflection;
- Abstract State Machine;
- BSP bridging model;
46.Extensible Record Structures in Event-B

机译：Event-B中的可扩展录制结构
- 作者：Asieh Salehi Fathabadi;Colin Snook;Thai Son Hoang;Dana Dghaym;Michael Butler
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
47.Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application

机译：SYSML模型对铁路CCS应用程序SYSML模型的自动转换
- 作者：Shubhangi Salunkhe;Randolf Berglehner;Abdul Rasheeq
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- Model transformation;
- SysML;
- Event-B;
- Model-based systems engineering;
48.Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams

机译：无限的障碍同步并发ASM，用于流的有效MapReduce处理
- 作者：Zilinghan Li;Shilan He;Yiqing Du;Senen Gonzalez;Klaus-Dieter Schewe
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- MapReduce;
- Stream query;
- Infinite-agent BSP model;
- Behavioral theory;
- Concurrent ASM;
49.Proving the Safety of a Sliding Window Protocol with Event-B

机译：用事件-B证明滑动窗口协议的安全性
- 作者：Sophie Coudert
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- Event-B;
- Sliding Window Protocol;
- Formal refinement;
- Safety;
50.Sterling: A Web-Based Visualizer for Relational Modeling Languages

机译：英镑：基于Web的Visualizer，用于关系建模语言
- 作者：Tristan Dyer;John Baugh
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- Alloy;
- Sterling;
- Formal methods;
- Visualization;
51.Validation of Formal Models by Timed Probabilistic Simulation

机译：定时概率模拟验证正式模型
- 作者：Fabian Vu;Michael Leuschel;Atif Mashkoor
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
52.About the Concolic Execution and Symbolic ASM Function Promotion in CASM

机译：关于CASM中的CONEGOLIC执行和符号ASM功能促销
- 作者：Philipp Paulweber;Jakob Moosbrugger;Uwe Zdun
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- Abstract State Machine;
- Concolic execution;
- CASM;
- TPTP;
- Z3;
53.The CamilleX Framework for the Rodin Platform

机译：罗丹平台的Camillex框架
- 作者：Thai Son Hoang;Colin Snook;Dana Dghaym;Asieh Salehi Fathabadi;Michael Butler
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- Event-B;
- Rodin platform;
- XText;
- CamilleX;
54.Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework

机译：正式元工程赛事-B：扩展和推理EB4EB框架
- 作者：Peter Riviere
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
55.Formalizing the Institution for Event-B in the Coq Proof Assistant

机译：在COQ验证助理中正式化事件-B机构
- 作者：Conor Reynolds
- 会议名称：《International Conference on Rigorous State-Based Methods》 | 2021年
- Coq;
- Event-B;
- Institution theory;