`Travelled to:`

1 × The Netherlands

1 × United Kingdom

2 × France

2 × Germany

`Collaborated with:`

S.Tahar N.Abbasi M.Ahmad S.Iqtedar M.Shafique J.Henkel B.Akbarpour R.Akbarpour

`Talks about:`

formal (5) probabilist (3) distribut (3) analysi (3) properti (2) continu (2) use (2) hol (2) reconfigur (1) function (1)

## Person: Osman Hasan

### DBLP: Hasan:Osman

### Contributed to:

### Wrote 6 papers:

- DATE-2015-IqtedarHSH #analysis #distributed #probability
- Formal probabilistic analysis of distributed dynamic thermal management (SI, OH, MS, JH), pp. 1221–1224.
- DATE-2013-HasanA #analysis #fault #feedback #formal method #using
- Formal analysis of steady state errors in feedback control systems using HOL-light (OH, MA), pp. 1423–1426.
- FM-2009-HasanAATA #random #reasoning
- Formal Reasoning about Expectation Properties for Continuous Random Variables (OH, NA, BA, ST, RA), pp. 435–450.
- IFM-2009-HasanAT #analysis #array #configuration management #fault #memory management #probability
- Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays (OH, NA, ST), pp. 277–291.
- CADE-2007-HasanT #formal method #probability
- Formalization of Continuous Probability Distributions (OH, ST), pp. 3–18.
- IFM-2007-HasanT #cumulative #probability #using #verification
- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function (OH, ST), pp. 333–352.