Dhrubajyoti Kalita

According to our database, Dhrubajyoti Kalita authored at least 6 papers between 2000 and 2012.

Collaborative distances:

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

2012

Automatic RTL Test Generation from SystemC TLM Specifications.

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita

ACM Trans. Embed. Comput. Syst., 2012

2010

Efficient test case generation for validation of UML activity diagrams.

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita

Des. Autom. Embed. Syst., 2010

2008

Coverage-driven automatic test generation for uml activity diagrams.

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

2007

Towards RTL test generation from SystemC TLM specifications.

Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2002

Formal verification for analysis and design of logic controllers for reconfigurable machining systems.

Dhrubajyoti Kalita, Pramod P. Khargonekar

IEEE Trans. Robotics Autom., 2002

2000

Formal verification for analysis and design of reconfigurable controllers for manufacturing systems.

Dhrubajyoti Kalita, Pramod P. Khargonekar

Proceedings of the American Control Conference, 2000