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: Akbarpour:Behzad
Contributed to:
2010
2009
2002Wrote 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.