| 2014 | DAC | Translation Validation for Stateflow to C. | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh |
| 2012 | DATE | Verifying timing synchronization constraints in distributed embedded architectures. | A. C. Rajeev, Swarup Mohalik, S. Ramesh |
| 2010 | EMSOFT | 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 |
| 2008 | DAC | 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, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang |
| 2008 | SEFM | Behaviour Directed Testing of Auto-code Generators. | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar |
| 2007 | RTAS | Testing Model-Processing Tools for Embedded Systems. | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar |
| 2007 | SEFM | How to Test Program Generators? A Case Study using flex. | Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh |