Travelled to:1 × Canada
1 × Germany
1 × USA
Collaborated with:V.K.Garg E.Deniz J.Holt V.Ogale M.S.Abadir
Talks about:verif (2) processor (1) multicor (1) whether (1) predict (1) definit (1) coverag (1) system (1) runtim (1) predic (1)
Person: Alper Sen
DBLP: Sen:Alper
Contributed to:
2012
2008
2003Wrote 3 papers:
- DATE-2012-DenizSH #embedded #manycore #verification
- Verification coverage of embedded multicore applications (ED, AS, JH), pp. 252–255.
- DAC-2008-SenOA #multi #predict #runtime #verification
- Predictive runtime verification of multi-processor SoCs in SystemC (AS, VO, MSA), pp. 948–953.
- FATES-2003-SenG #on the
- On Checking Whether a Predicate Definitely Holds (AS, VKG), pp. 15–29.