End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers

von Yuan, Shenghao
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study

von Yuan, Shenghao
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)