A. C. Rajeev

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Linear Constraints

Distributed Constraint Optimization Problems

Reactive Systems

Top Venues

Publications

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh
Translation Validation for Stateflow to C. DAC (2014)
Swarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh
Scalable model-checking for precise end-to-end latency computation. CACSD (2013)
A. C. Rajeev, Swarup Mohalik, S. Ramesh
Verifying timing synchronization constraints in distributed embedded architectures. DATE (2012)
A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh
CoGenTe: a tool for code generator testing. ASE (2010)
A. C. Rajeev, Swarup Mohalik, Manoj G. Dixit, Devesh B. Chokshi, S. Ramesh
Schedulability and end-to-end latency in distributed ECU networks: formal modeling and precise estimation. EMSOFT (2010)
Swarup Mohalik, A. C. Rajeev, Manoj G. Dixit, S. Ramesh, P. Vijay Suman, Paritosh K. Pandya, Shengbing Jiang
Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts. DAC (2008)
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar
Behaviour Directed Testing of Auto-code Generators. SEFM (2008)
Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar
Testing Model-Processing Tools for Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2007)
Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh
How to Test Program Generators? A Case Study using flex. SEFM (2007)