Osman Hasan (ECE Department

Identifiers

• name variant Osman Hasan (ECE Department 0.60 · backfill

Papers (1)

1. Formal Analysis of Soft Errors using Theorem Proving cs.LO · 2013 · author #5

Mentions

• 1307.8213 #5 · backfill · confidence 0.70 Osman Hasan (ECE Department

Frequent Coauthors

• Canada) 1 shared papers
• Concordia University 1 shared papers
• Montreal 1 shared papers
• Naeem Abbasi (ECE Department 1 shared papers
• Sofi\`ene Tahar (ECE Department 1 shared papers