Travelled to:1 × Belgium
1 × Germany
1 × South Africa
1 × United Kingdom
2 × USA
Collaborated with:S.Ramesh P.Sampath K.C.Shashidhar S.Mohalik M.G.Dixit P.V.Suman P.K.Pandya S.Jiang
Talks about:generat (3) test (3) embed (2) time (2) code (2) end (2) architectur (1) constraint (1) stateflow (1) distribut (1)
Person: A. C. Rajeev
DBLP: Rajeev:A=_C=
Contributed to:
2014
2012
20102008
20082007Wrote 6 papers:
- DAC-2014-SampathRR #c #validation
- Translation Validation for Stateflow to C (PS, ACR, SR), p. 6.
- DATE-2012-RajeevMR #architecture #constraints #distributed #embedded #verification
- Verifying timing synchronization constraints in distributed embedded architectures (ACR, SM, SR), pp. 200–205.
- ASE-2010-RajeevSSR #code generation #named #testing
- CoGenTe: a tool for code generator testing (ACR, PS, KCS, SR), pp. 349–350.
- DAC-2008-MohalikRDRSPJ #analysis #embedded #latency #model checking #realtime
- Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts (SM, ACR, MGD, SR, PVS, PKP, SJ), pp. 296–299.
- SEFM-2008-SampathRRS #behaviour #code generation #testing
- Behaviour Directed Testing of Auto-code Generators (PS, ACR, SR, KCS), pp. 191–200.
- SEFM-2007-SampathRSR #case study #generative #how #using
- How to Test Program Generators? A Case Study using flex (PS, ACR, KCS, SR), pp. 80–92.