Asieh Salehi Fathabadi - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Mon 23 Mar 2026

Name:Asieh Salehi Fathabadi

Country:United Kingdom

Affiliation:University of Southampton

Contributions

2026

FM

Human-Centred Formal Verification: A Vision for Bridging Technical Rigour with Stakeholder Needs in Autonomous Systems
Session Chair of ABZ Session 5: Methods (2) (part of ABZ)
SHARCS: Refinement-Centric Hazard Analysis of Requirements for Critical Systems

Show activities from other conferences

FM 2026-profile
View general profile