Heidy Khlaaf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2014–2016
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | TACAS | T2: Temporal Property Verification. | Marc Brockschmidt, Byron Cook, Samin Ishtiaq, Heidy Khlaaf, Nir Piterman |
| 2015 | CAV | On Automation of CTL* Verification for Infinite-State Systems. | Byron Cook, Heidy Khlaaf, Nir Piterman |
| 2015 | TACAS | Fairness for Infinite-State Systems. | Byron Cook, Heidy Khlaaf, Nir Piterman |
| 2014 | FMCAD | Faster temporal reasoning for infinite-state programs. | Byron Cook, Heidy Khlaaf, Nir Piterman |