Author of the publication

Model Checking Boot Code from AWS Data Centers.

, , , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 467-486. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Khazem, Kareem
add a person with the name Khazem, Kareem
 

Other publications of authors with the same name

smid: A Black-Box Program Driver., and . SPIN, volume 9641 of Lecture Notes in Computer Science, page 182-188. Springer, (2016)CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution)., and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 199-203. Springer, (2019)Model Checking Boot Code from AWS Data Centers., , , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 467-486. Springer, (2018)Making data-driven porting decisions with Tuscan., , and . ISSTA, page 276-286. ACM, (2018)