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:
20152013
2009
2009
20072007Wrote 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.