| 2006 |
|---|
| 6 | EE | B. Meenakshi,
Abhishek Bhatnagar,
Sudeepa Roy:
Tool for Translating Simulink Models into Input Language of a Model Checker.
ICFEM 2006: 606-620 |
| 2004 |
|---|
| 5 | EE | B. Meenakshi,
Ramaswamy Ramanujam:
Reasoning about layered message passing systems.
Computer Languages, Systems & Structures 30(3-4): 171-206 (2004) |
| 2003 |
|---|
| 4 | EE | B. Meenakshi,
Ramaswamy Ramanujam:
Reasoning about Layered Message Passing Systems.
VMCAI 2003: 268-282 |
| 3 | | A. Vinayagam,
J. Shi,
Ganesan Pugalenthi,
B. Meenakshi,
Tom L. Blundell,
Ramanathan Sowdhamini:
DDBASE2.0: updated domain database with improved identification of structural domains.
Bioinformatics 19(14): 1760-1764 (2003) |
| 2001 |
|---|
| 2 | EE | P. Madhusudan,
B. Meenakshi:
Beyond Message Sequence Graphs.
FSTTCS 2001: 256-267 |
| 2000 |
|---|
| 1 | EE | B. Meenakshi,
Ramaswamy Ramanujam:
Reasoning about Message Passing in Finite State Environments.
ICALP 2000: 487-498 |
