Kareem Khazem

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 7

Top Topics

Formal Specification

Temporal Properties

Software Development

Top Venues

Formal Methods Syst. Des.

Publications

Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Model checking boot code from AWS data centers. Formal Methods Syst. Des. 57 (1) (2021)
Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow at Amazon Web Services. Softw. Pract. Exp. 51 (4) (2021)
Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow. ICSE (SEIP) (2020)
Kareem Khazem, Michael Tautschnig
CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker - (Competition Contribution). TACAS (3) (2019)
Kareem Khazem, Earl T. Barr, Petr Hosek
Making data-driven porting decisions with Tuscan. ISSTA (2018)
Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Model Checking Boot Code from AWS Data Centers. CAV (2) (2018)
Kareem Khazem, Michael Tautschnig
smid: A Black-Box Program Driver. SPIN (2016)