Rajesh Kumar

According to our database, Rajesh Kumar authored at least 3 papers between 2005 and 2007.

Collaborative distances:

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

2007

A New Logic Programming Framework for Heterogeneous Verification of Embedded Control Systems.

Rajesh Kumar, Bruce H. Krogh

Proceedings of the American Control Conference, 2007

2006

Heterogeneous verification of embedded control systems.

Rajesh Kumar, Bruce H. Krogh

Proceedings of the American Control Conference, 2006

2005

An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems.

Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler

Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005