Hussama Ismail

Identifiers

• name variant Hussama Ismail 0.60 · backfill

Papers (3)

1. Applying Multi-Core Model Checking to Hardware-Software Partitioning in Embedded Systems (extended version) cs.LO · 2015 · author #2
2. Model Checking Embedded C Software using k-Induction and Invariants (extended version) cs.LO · 2015 · author #2
3. Model Checking C Programs with Loops via k-Induction and Invariants cs.LO · 2015 · author #2

Mentions

• 1509.02492 #2 · backfill · confidence 0.70 Hussama Ismail
• 1509.02471 #2 · backfill · confidence 0.70 Hussama Ismail
• 1502.02327 #2 · backfill · confidence 0.70 Hussama Ismail

Frequent Coauthors

• Lucas Cordeiro 3 shared papers
• Herbert Rocha 2 shared papers
• Raimundo Barreto 2 shared papers
• Alessandro Trindade 1 shared papers