BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hasan:Osman

Contributed to:

DATE 20152015
DATE 20132013
FM 20092009
IFM 20092009
CADE 20072007
IFM 20072007

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.