BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rajeev:A=_C=

Contributed to:

DAC 20142014
DATE 20122012
ASE 20102010
DAC 20082008
SEFM 20082008
SEFM 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.