dblp.uni-trier.dewww.uni-trier.de

Osman Hasan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
8EEOsman Hasan, Naeem Abbasi, Sofiène Tahar: Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. IFM 2009: 277-291
7EEOsman 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
6EEOsman Hasan, Sofiène Tahar: Performance Analysis of ARQ Protocols using a Theorem Prover. ISPASS 2008: 85-94
5EEOsman 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
4EEOsman Hasan, Sofiène Tahar: Formalization of Continuous Probability Distributions. CADE 2007: 3-18
3EEOsman Hasan, Sofiène Tahar: Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. IFM 2007: 333-352
2EEOsman Hasan, Sofiène Tahar: Verification of Expectation Properties for Discrete Random Variables in HOL. TPHOLs 2007: 119-134
1EEOsman Hasan, Sofiène Tahar: Formalization of the Standard Uniform random variable. Theor. Comput. Sci. 382(1): 71-83 (2007)

Coauthor Index

1Naeem Abbasi [8]
2Sofiène Tahar [1] [2] [3] [4] [5] [6] [7] [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)