15 citations · 15 across the 3 of their papers we have counts for
3 papers
cs.SE2026
Formal-Method-Guided Vibe Coding: Closing the Verification Loop on AI-Generated Safety-Critical Software Through Model-Driven Engineering
Ran Wei, Le Zhu, Haochi Wang +4
Vibe coding -- accepting LLM-generated source from natural-language intent with minimal review -- is fast and may be adequate for low-criticality consumer software. But for safety-…
cs.SE2026
Formal Evidence Generation for Assurance Cases for Robotic Software Models
Fang Yan, Simon Foster, Ana Cavalcanti +2
Robotics and Autonomous Systems are increasingly deployed in safety-critical domains, so that demonstrating their safety is essential. Assurance Cases (ACs) provide structured argu…
cs.SE2024★ 15 cited
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
Ran Wei, Simon Foster, Haitao Mei +7
Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created do…