Leveraging Event-B Theories for Handling Domain Knowledge in Design Models.

利用事件-B理论处理设计模型中的领域知识。

2021

A Distributed Simplex Architecture for Multi-agent Systems.

多智能体系统的分布式单纯形架构。

2021

Mutation Testing of Reinforcement Learning Systems.

强化学习系统的变异测试。

2021

Verifying the Correctness of Distributed Systems via Mergeable Parallelism.

通过可合并并行性验证分布式系统的正确性。

2021

$\mathbf{OURS} $: Over- and Under-Approximating Reachable Sets for Analytic Time-Invariant Differential Equations.

$\mathbf{OURS}$：过近似与欠近似可达集用于解析时不变微分方程。

2021

Translating a Large Subset of Stateflow to Hybrid CSP with Code Optimization.

将Stateflow的大部分子集转换为混合CSP并进行代码优化。

2021

API Usage Pattern Search Based on Model Checking.

基于模型检验的API使用模式搜索。

2021

MC/DC Test Cases Generation Based on BDDs.

基于BDD的MC/DC测试用例生成。

2021

Reasoning About Iteration and Recursion Uniformly Based on Big-Step Semantics.

基于大步语义统一推理迭代和递归。

2021

AIdetectorX: A Vulnerability Detector Based on TCN and Self-attention Mechanism.

AIdetectorX: 基于TCN和自注意力机制的漏洞检测器。

2021