 | 2009 |
|---|
| 24 |       | Youssef Hanna,
Samik Basu,
Hridesh Rajan:
Behavioral automata composition for automatic topology independent verification of parameterized systems.
ESEC/SIGSOFT FSE 2009: 325-334 |
| 23 | | 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 |
| 22 | | Youssef Hanna,
Hridesh Rajan:
Slede: Framework for automatic verification of sensor network security protocol implementations.
ICSE Companion 2009: 427-428 |
| 21 | | Hridesh Rajan,
Michael Haupt,
Christoph Bockisch,
Robert Dyer:
VMIL: workshop on virtual machines and intermediate languages.
OOPSLA Companion 2009: 701-702 |
| 20 | | Hridesh Rajan,
Kevin J. Sullivan:
Unifying aspect- and object-oriented design.
ACM Trans. Softw. Eng. Methodol. 19(1): (2009) |
| 2008 |
|---|
| 19 | | Robert Dyer,
Hridesh Rajan:
Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation.
AOSD 2008: 191-202 |
| 18 | | Hridesh Rajan,
Gary T. Leavens:
Ptolemy: A Language with Quantified, Typed Events.
ECOOP 2008: 155-179 |
| 17 | | Hridesh Rajan,
Michael Haupt,
Christoph Bockisch,
Robert Dyer:
Virtual machines and intermediate languages for emerging modularization mechanisms.
OOPSLA Companion 2008: 865-868 |
| 16 | | Youssef Hanna,
Hridesh Rajan,
Wensheng Zhang:
Slede: a domain-specific verification framework for sensor network security protocol implementations.
WISEC 2008: 109-118 |
| 15 | | Hridesh Rajan,
Mahantesh Hosamani:
Tisa: Toward Trustworthy Services in a Service-Oriented Architecture.
IEEE T. Services Computing 1(4): 201-213 (2008) |
| 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 | | Mahantesh Hosamani,
Harish Narayanappa,
Hridesh Rajan:
Monitoring the monitor: an approach towards trustworthiness in service oriented architecture.
IW-SOSWE 2007: 42-46 |
| 12 | | Hridesh Rajan:
A case for explicit join point models for aspect-oriented intermediate languages.
VMIL 2007: 4 |
| 2006 |
|---|
| 11 | | Robert Dyer,
Harish Narayanappa,
Hridesh Rajan:
Nu: preserving design modularity in object code.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 10 | | Juri Memmert,
Hridesh Rajan:
Osiris: generating concern models from source code.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 9 | | Youssef Hanna,
Hridesh Rajan:
SLEDE: event-based specification of sensor network security protocols.
ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006) |
| 8 | | 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 | | Hridesh Rajan,
Kevin J. Sullivan:
Aspect language features for concern coverage profiling.
AOSD 2005: 181-191 |
| 6 | | 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 | | Hridesh Rajan,
Kevin J. Sullivan:
Classpects: unifying aspect- and object-oriented language design.
ICSE 2005: 59-68 |
| 2004 |
|---|
| 4 | | Jia Xu,
Hridesh Rajan,
Kevin J. Sullivan:
Understanding Aspects via Implicit Invocation.
ASE 2004: 332-335 |
| 3 | | Hridesh Rajan:
One More Step in the Direction of Modularized Integration Concerns.
ICSE 2004: 36-38 |
| 2003 |
|---|
| 2 | | Hridesh Rajan,
Kevin J. Sullivan:
Eos: instance-level aspects for integrated system design.
ESEC / SIGSOFT FSE 2003: 291-306 |
| 1 | | Hridesh Rajan:
Effects of Applying Mobility Localization on Source Routing Algorithms for Mobile Ad Hoc Network.
ISCC 2003: 39-44 |
