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 × Finland
1 × Germany
1 × The Netherlands
Collaborated with:
S.Tahar A.Dekdouk R.Narayanan M.H.Zaki L.C.Paulson O.Hasan N.Abbasi R.Akbarpour
Talks about:
formal (3) properti (1) arithmet (1) variabl (1) process (1) presenc (1) continu (1) circuit (1) variat (1) reason (1)

Person: Behzad Akbarpour

DBLP DBLP: Akbarpour:Behzad

Contributed to:

DATE 20102010
FM 20092009
IFM 20022002

Wrote 3 papers:

DATE-2010-NarayananAZTP #process #verification
Formal verification of analog circuits in the presence of noise and process variation (RN, BA, MHZ, ST, LCP), pp. 1309–1312.
FM-2009-HasanAATA #random #reasoning
Formal Reasoning about Expectation Properties for Continuous Random Variables (OH, NA, BA, ST, RA), pp. 435–450.
IFM-2002-AkbarpourDT #fixpoint #formal method
Formalization of Cadence SPW Fixed-Point Arithmetic in HOL (BA, AD, ST), pp. 185–204.

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.