Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Heidy Khlaaf
Map detail
Heidy Khlaaf6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHeidy KhlaafAHeidy KhlaafResearcherA Hazard Analysis Framework for Code Synthesis Large Language ModelsWA Hazard Analysis Frame...preprint / 2022Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1WTowards Identifying and...preprint / 2020Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 2WTowards Identifying and...preprint / 2020T2: Temporal Property VerificationWT2: Temporal Property V...preprint / 2016Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable ClaimsWToward Trustworthy AI D...preprint / 2020
Person5 links

Heidy Khlaaf

Researcher