A. C. Rajeev

According to our database, A. C. Rajeev authored at least 9 papers between 2007 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Translation Validation for Stateflow to C.

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Scalable model-checking for precise end-to-end latency computation.

Swarup Mohalik, Devesh B. Chokshi, Manoj G. Dixit, A. C. Rajeev, S. Ramesh

Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

2012

Verifying timing synchronization constraints in distributed embedded architectures.

A. C. Rajeev, Swarup Mohalik, S. Ramesh

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2010

CoGenTe: a tool for code generator testing.

A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh

Proceedings of the ASE 2010, 2010

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

Proceedings of the 10th International conference on Embedded software, 2010

2008

Behaviour Directed Testing of Auto-code Generators.

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

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

Proceedings of the 45th Design Automation Conference, 2008

2007

How to Test Program Generators? A Case Study using flex.

Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Testing Model-Processing Tools for Embedded Systems.

Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar

Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007