Heidy Khlaaf
Publications by Year
Research Areas
Formal Methods in Verification, Software Testing and Debugging Techniques, Logic, programming, and type systems, Safety Systems Engineering in Autonomy, Adversarial Robustness in Machine Learning
Most-Cited Works
- → Evaluating Large Language Models Trained on Code(2021)1,403 cited
- → Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims(2020)212 cited
- → T2: Temporal Property Verification(2016)62 cited
- → On Automation of CTL* Verification for Infinite-State Systems(2015)34 cited
- → Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy(2019)28 cited
- → Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems(2017)13 cited
- → Fairness for Infinite-State Systems(2015)11 cited
- → A Hazard Analysis Framework for Code Synthesis Large Language Models(2022)9 cited
- → Faster temporal reasoning for infinite-state programs(2014)7 cited