Testing Model-Processing Tools for Embedded Systems. - Prahladavaradan Sampath; A. C. Rajeev; S. Ramesh 002; K. C. Shashidhar (IEEE Real-Time and Embedded Technology and Applications Symposium, 2007)

How to Test Program Generators? A Case Study using flex. - Prahladavaradan Sampath; A. C. Rajeev; K. C. Shashidhar; S. Ramesh 002 (SEFM, 2007)

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. - Swarup Mohalik; A. C. Rajeev; Manoj G. Dixit; S. Ramesh 002; P. Vijay Suman; Paritosh K. Pandya; Shengbing Jiang (DAC, 2008)

Behaviour Directed Testing of Auto-code Generators. - Prahladavaradan Sampath; A. C. Rajeev; S. Ramesh 002; K. C. Shashidhar (SEFM, 2008)

Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. - A. C. Rajeev; Swarup Mohalik; Manoj G. Dixit; Devesh B. Chokshi; S. Ramesh 002 (EMSOFT, 2010)

CoGenTe: a tool for code generator testing. - A. C. Rajeev; Prahladavaradan Sampath; K. C. Shashidhar; S. Ramesh 002 (ASE, 2010)

Verifying timing synchronization constraints in distributed embedded architectures. - A. C. Rajeev; Swarup Mohalik; S. Ramesh 002 (DATE, 2012)

Scalable model-checking for precise end-to-end latency computation. - Swarup Mohalik; Devesh B. Chokshi; Manoj G. Dixit; A. C. Rajeev; S. Ramesh 002 (CACSD, 2013)

Translation Validation for Stateflow to C. - Prahladavaradan Sampath; A. C. Rajeev; S. Ramesh 002 (DAC, 2014)