Dhrubajyoti Kalita

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Automatic RTL Test Generation from SystemC TLM Specifications.
ACM Trans. Embed. Comput. Syst., 2012

2010
Efficient test case generation for validation of UML activity diagrams.
Des. Autom. Embed. Syst., 2010

2008
Coverage-driven automatic test generation for uml activity diagrams.
Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

2007
Towards RTL test generation from SystemC TLM specifications.
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.
IEEE Trans. Robotics Autom., 2002

2000
Formal verification for analysis and design of reconfigurable controllers for manufacturing systems.
Proceedings of the American Control Conference, 2000


  Loading...