Heidy Khlaaf

According to our database1, Heidy Khlaaf authored at least 14 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory.
CoRR, 2024

2022
A Hazard Analysis Framework for Code Synthesis Large Language Models.
CoRR, 2022

2021
Evaluating Large Language Models Trained on Code.
CoRR, 2021

Safety Case Templates for Autonomous Systems.
CoRR, 2021

2020
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims.
CoRR, 2020

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2.
CoRR, 2020

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1.
CoRR, 2020

2019
Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy.
Computer, 2019

2018
The past, present, and future(s): verifying temporal software properties.
PhD thesis, 2018

2017
Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems.
J. ACM, 2017

2016
T2: Temporal Property Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015
Fairness for Infinite-State Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

On Automation of CTL* Verification for Infinite-State Systems.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Faster temporal reasoning for infinite-state programs.
Proceedings of the Formal Methods in Computer-Aided Design, 2014


  Loading...