My Publications:
International Journals
- S. Das, P. S. Duggirala, and H. K. Kapoor, “A formal framework for interfacing mixed-timing systems,” Integration, the VLSI Journal (Elsevier), 2012.
[Online]. Available: http://www.sciencedirect.com/science/article/pii/S0167926012000363 - H. K. Kapoor, P. Kanakala, M. Verma, and S. Das, “Design and formal verification of a hierarchical cache coherence protocol for noc based multiprocessors,” The Journal of Supercomputing (Springer), 2012
[Online]. Available: http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s11227-012-0865-8 - H. K. Kapoor, S. Das, B. Raju and K. L. Man, "Model Checking of Independent Compensating Web-Transactions", IAENG International Journal of Computer Science - IJCS, 2012.
Indian Journals
- “Handling Multiple Hotspots in Wormhole NoCs”, H. K. Kapoor, S. Das and B. V. Balakrishna , Indian Journal of VLSI and Electronic System Design (IJVED).
Book Chapter
- "Formal Modelling and Verification of Compensating Web Transactions" S. Das, S. Chakraborty, H. K. Kapoor and K. L. Man ITET, World Scientific, 2013.
International Conferences
- “Modelling and Verification of Compensating Transactions using the Spin Tool”, K. Wan, H. K. Kapoor, S. Das, B. Raju, T. Krilavicius and K. L. Man , Proc. of The International MultiConference of Engineers and Computer Scientists (IMECS).March 2012, Hong Kong. IAENG
Under Review Papers
- “Formal Modeling of Mixed Clock FIFO to Build a Mixed Time Latency Insensitive System”, S. Das and H. K. Kapoor, Under Review, Paper submitted to Journal.