| 2007 | ||
|---|---|---|
| 2 | Meenakshi Balasubramanian, Abhishek Bhatnagar, Namit Chaturvedi, Atish Datta Chowdhury, Arul Ganesh: A framework for decentralized access control. ASIACCS 2007: 93-104 | |
| 2006 | ||
| 1 | B. Meenakshi, Abhishek Bhatnagar, Sudeepa Roy: Tool for Translating Simulink Models into Input Language of a Model Checker. ICFEM 2006: 606-620 | |
| 1 | Meenakshi Balasubramanian | [2] |
| 2 | Namit Chaturvedi | [2] |
| 3 | Atish Datta Chowdhury | [2] |
| 4 | Arul Ganesh | [2] |
| 5 | B. Meenakshi | [1] |
| 6 | Sudeepa Roy | [1] |