Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study.

使用Event-B和Sagemath构建正确的混合系统：以混合智能供暖系统案例研究为例。

2022

27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023

第27届复杂计算机系统工程国际会议，ICECCS 2023，法国图卢兹，2023年6月14-16日

2023

Automated Compositional Verification for Robotic State Machines using Isabelle/HOL.

使用Isabelle/HOL对机器人状态机的自动组合验证。

2023

An Experience Report on the Optimization of the Product Configuration System of Renault *.

雷诺产品配置系统优化经验报告*。

2023

Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models.

Ont4Sys：基于本体的可追溯性模型语义表示与验证工具。

2023

Detecting Security Vulnerabilities in Human-Machine Pair Programming with Pointer Analysis.

检测人机结对编程中的安全漏洞与指针分析。

2023

Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery.

自主机器人货物配送设计空间的稳定性感知探索。

2023

Validating communication of a dynamic traffic management system.

验证动态交通管理系统通信的有效性。

2023

Specification and Verification of Communication Paradigms for CBSE in Event B.

事件B中基于组件软件工程通信范式的规范与验证。

2023

Reliability Analysis of Architectural Safeguards for AI-enabled Systems.

人工智能系统建筑防护的可靠性分析。

2023