| 2007 |
|---|
| 7 | EE | Mithun Acharya,
Tao Xie,
Jian Pei,
Jun Xu:
Mining API patterns as partial orders from source code: from usage scenarios to specifications.
ESEC/SIGSOFT FSE 2007: 25-34 |
| 2006 |
|---|
| 6 | EE | Mithun Acharya,
Tanu Sharma,
Jun Xu,
Tao Xie:
Effective Generation of Interface Robustness Properties for Static Analysis.
ASE 2006: 293-296 |
| 5 | EE | Mithun Acharya,
Tao Xie,
Jun Xu:
Mining Interface Specifications for Generating Checkable Robustness Properties.
ISSRE 2006: 311-320 |
| 4 | EE | Mithun Acharya:
Automatic generation and inference of interface properties from program source code.
OOPSLA Companion 2006: 750-751 |
| 3 | EE | Dirk Westhoff,
Joao Girão,
Mithun Acharya:
Concealed Data Aggregation for Reverse Multicast Traffic in Sensor Networks: Encryption, Key Distribution, and Routing Adaptation.
IEEE Trans. Mob. Comput. 5(10): 1417-1431 (2006) |
| 2005 |
|---|
| 2 | EE | Mithun Acharya,
Joao Girão,
Dirk Westhoff:
Secure Comparison of Encrypted Data in Wireless Sensor Networks.
WiOpt 2005: 47-53 |
| 2003 |
|---|
| 1 | EE | Mithun Acharya,
Robert Funderlic:
'Laurel and Hardy' model for analyzing process synchronization algorithms and primitives.
SIGCSE Bulletin 35(2): 107-110 (2003) |
