Travelled to:1 × USA
1 × United Kingdom
Collaborated with:P.Roy C.Wang W.Wong G.Frehse C.L.Guernic A.Donzé S.Cotton O.Lebeltel R.Ripado A.Girard T.Dang O.Maler
Talks about:approxim (1) scalabl (1) automat (1) analysi (1) system (1) sensit (1) hybrid (1) comput (1) verif (1) space (1)
Person: Rajarshi Ray
DBLP: Ray:Rajarshi
Contributed to:
2014
2011Wrote 2 papers:
- LCTES-2014-RoyRWW #analysis #approximate #automation #named
- ASAC: automatic sensitivity analysis for approximate computing (PR, RR, CW, WFW), pp. 95–104.
- CAV-2011-FrehseGDCRLRGDM #hybrid #named #scalability #verification
- SpaceEx: Scalable Verification of Hybrid Systems (GF, CLG, AD, SC, RR, OL, RR, AG, TD, OM), pp. 379–395.