Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems.

黑客与安全：攻击防御树作为异步多智能体系统。

2020

Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings

形式化方法与软件工程 - 第23届国际形式化工程方法会议，ICFEM 2022，西班牙马德里，2022年10月24-27日，会议录

2022

Machine-Checked Executable Semantics of Stateflow.

状态流的可执行语义的机器检查。

2022

Formally Verified Animation for RoboChart Using Interaction Trees.

使用交互树对RoboChart进行形式化验证的动画。

2022

RoboCert: Property Specification in Robotics.

RoboCert：机器人属性规范。

2022

Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages.

从循环神经网络中提取加权有限自动机用于自然语言处理。

2022

On Probabilistic Extension of the Interaction Theory.

关于交互理论的概率扩展。

2022

Model Checking B Models via High-Level Code Generation.

通过高级代码生成验证B模型。

2022

Trace Refinement in B and Event-B.

B和事件-B中的迹细化。

2022

Declassification Predicates for Controlled Information Release.

受控信息发布的解密谓词。

2022