| 2009 |
|---|
| 19 | EE | Hridesh Rajan,
Jia Tao,
Steve M. Shaner,
Gary T. Leavens:
Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services.
ESOP 2009: 333-347 |
| 2008 |
|---|
| 18 | EE | Robert Dyer,
Hridesh Rajan:
Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation.
AOSD 2008: 191-202 |
| 17 | EE | Hridesh Rajan,
Gary T. Leavens:
Ptolemy: A Language with Quantified, Typed Events.
ECOOP 2008: 155-179 |
| 16 | EE | Hridesh Rajan,
Michael Haupt,
Christoph Bockisch,
Robert Dyer:
Virtual machines and intermediate languages for emerging modularization mechanisms.
OOPSLA Companion 2008: 865-868 |
| 15 | EE | Youssef Hanna,
Hridesh Rajan,
Wensheng Zhang:
Slede: a domain-specific verification framework for sensor network security protocol implementations.
WISEC 2008: 109-118 |
| 2007 |
|---|
| 14 | | Hridesh Rajan,
Mira Mezini:
Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, VMIL 2007, Vancouver, British Columbia, Canada, March 12-16, 2007
ACM 2007 |
| 13 | EE | Mahantesh Hosamani,
Harish Narayanappa,
Hridesh Rajan:
Monitoring the monitor: an approach towards trustworthiness in service oriented architecture.
IW-SOSWE 2007: 42-46 |
| 12 | EE | Hridesh Rajan:
A case for explicit join point models for aspect-oriented intermediate languages.
VMIL 2007: 4 |
| 2006 |
|---|
| 11 | EE | Robert Dyer,
Harish Narayanappa,
Hridesh Rajan:
Nu: preserving design modularity in object code.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 10 | EE | Juri Memmert,
Hridesh Rajan:
Osiris: generating concern models from source code.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 9 | EE | Youssef Hanna,
Hridesh Rajan:
SLEDE: event-based specification of sensor network security protocols.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 8 | EE | William G. Griswold,
Kevin J. Sullivan,
Yuanyuan Song,
Macneil Shonle,
Nishit Tewari,
Yuanfang Cai,
Hridesh Rajan:
Modular Software Design with Crosscutting Interfaces.
IEEE Software 23(1): 51-60 (2006) |
| 2005 |
|---|
| 7 | EE | Hridesh Rajan,
Kevin J. Sullivan:
Aspect language features for concern coverage profiling.
AOSD 2005: 181-191 |
| 6 | EE | Kevin J. Sullivan,
William G. Griswold,
Yuanyuan Song,
Yuanfang Cai,
Macneil Shonle,
Nishit Tewari,
Hridesh Rajan:
Information hiding interfaces for aspect-oriented design.
ESEC/SIGSOFT FSE 2005: 166-175 |
| 5 | EE | Hridesh Rajan,
Kevin J. Sullivan:
Classpects: unifying aspect- and object-oriented language design.
ICSE 2005: 59-68 |
| 2004 |
|---|
| 4 | EE | Jia Xu,
Hridesh Rajan,
Kevin J. Sullivan:
Understanding Aspects via Implicit Invocation.
ASE 2004: 332-335 |
| 3 | EE | Hridesh Rajan:
One More Step in the Direction of Modularized Integration Concerns.
ICSE 2004: 36-38 |
| 2003 |
|---|
| 2 | EE | Hridesh Rajan,
Kevin J. Sullivan:
Eos: instance-level aspects for integrated system design.
ESEC / SIGSOFT FSE 2003: 291-306 |
| 1 | EE | Hridesh Rajan:
Effects of Applying Mobility Localization on Source Routing Algorithms for Mobile Ad Hoc Network.
ISCC 2003: 39-44 |
