| |
| 2009 | ||
|---|---|---|
| 8 | EE | Osman Hasan, Naeem Abbasi, Sofiène Tahar: Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. IFM 2009: 277-291 |
| 7 | EE | Osman Hasan, Sofiène Tahar: Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL. J. Autom. Reasoning 42(1): 1-33 (2009) |
| 2008 | ||
| 6 | EE | Osman Hasan, Sofiène Tahar: Performance Analysis of ARQ Protocols using a Theorem Prover. ISPASS 2008: 85-94 |
| 5 | EE | Osman Hasan, Sofiène Tahar: Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables. J. Autom. Reasoning 41(3-4): 295-323 (2008) |
| 2007 | ||
| 4 | EE | Osman Hasan, Sofiène Tahar: Formalization of Continuous Probability Distributions. CADE 2007: 3-18 |
| 3 | EE | Osman Hasan, Sofiène Tahar: Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. IFM 2007: 333-352 |
| 2 | EE | Osman Hasan, Sofiène Tahar: Verification of Expectation Properties for Discrete Random Variables in HOL. TPHOLs 2007: 119-134 |
| 1 | EE | Osman Hasan, Sofiène Tahar: Formalization of the Standard Uniform random variable. Theor. Comput. Sci. 382(1): 71-83 (2007) |
| 1 | Naeem Abbasi | [8] |
| 2 | Sofiène Tahar | [1] [2] [3] [4] [5] [6] [7] [8] |