Travelled to:2 × Germany
2 × USA
Collaborated with:H.Zeng M.D.Natale A.L.Sangiovanni-Vincentelli Y.Ben-Haim W.Zheng P.Giusto K.Chatterjee T.A.Henzinger D.T.Iercan C.M.Kirsch C.Pinello R.Limaye K.Ravindran S.Tripakis A.Prasad G.Wang T.N.Tran H.A.Andrade
Talks about:schedul (2) flex (2) ray (2) uncertainti (1) techniqu (1) interact (1) dataflow (1) reliabl (1) pattern (1) paramet (1)
Person: Arkadeb Ghosal
DBLP: Ghosal:Arkadeb
Contributed to:
2012
201020092008Wrote 4 papers:
- DAC-2012-GhosalLRTPWTA #analysis #data access #data flow #semantics
- Static dataflow with access patterns: semantics and analysis (AG, RL, KR, ST, AP, GW, TNT, HAA), pp. 656–663.
- DATE-2010-GhosalZNB #design #nondeterminism #parametricity #robust
- Computing robustness of FlexRay schedules to uncertainties in design parameters (AG, HZ, MDN, YBH), pp. 550–555.
- DAC-2009-ZengZNGGS #optimisation #scheduling #using
- Scheduling the FlexRay bus using optimization techniques (HZ, WZ, MDN, AG, PG, ALSV), pp. 874–877.
- DATE-2008-ChatterjeeGHIKPS #logic #realtime #reliability
- Logical Reliability of Interacting Real-Time Tasks (KC, AG, TAH, DTI, CMK, CP, ALSV), pp. 909–914.