Travelled to:1 × Germany
1 × The Netherlands
Collaborated with:O.Hasan S.Tahar B.Akbarpour R.Akbarpour
Talks about:formal (2) probabilist (1) reconfigur (1) properti (1) variabl (1) continu (1) analysi (1) reason (1) random (1) memori (1)
Person: Naeem Abbasi
DBLP: Abbasi:Naeem
Contributed to:
2009
2009Wrote 2 papers:
- 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.