![]() | ![]() |
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] |