Hridesh Rajan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

19EEHridesh 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
18EERobert Dyer, Hridesh Rajan: Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation. AOSD 2008: 191-202
17EEHridesh Rajan, Gary T. Leavens: Ptolemy: A Language with Quantified, Typed Events. ECOOP 2008: 155-179
16EEHridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer: Virtual machines and intermediate languages for emerging modularization mechanisms. OOPSLA Companion 2008: 865-868
15EEYoussef Hanna, Hridesh Rajan, Wensheng Zhang: Slede: a domain-specific verification framework for sensor network security protocol implementations. WISEC 2008: 109-118
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
13EEMahantesh Hosamani, Harish Narayanappa, Hridesh Rajan: Monitoring the monitor: an approach towards trustworthiness in service oriented architecture. IW-SOSWE 2007: 42-46
12EEHridesh Rajan: A case for explicit join point models for aspect-oriented intermediate languages. VMIL 2007: 4
11EERobert Dyer, Harish Narayanappa, Hridesh Rajan: Nu: preserving design modularity in object code. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)
10EEJuri Memmert, Hridesh Rajan: Osiris: generating concern models from source code. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)
9EEYoussef Hanna, Hridesh Rajan: SLEDE: event-based specification of sensor network security protocols. ACM SIGSOFT Software Engineering Notes 31(6): 1-2 (2006)
8EEWilliam 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)
7EEHridesh Rajan, Kevin J. Sullivan: Aspect language features for concern coverage profiling. AOSD 2005: 181-191
6EEKevin 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
5EEHridesh Rajan, Kevin J. Sullivan: Classpects: unifying aspect- and object-oriented language design. ICSE 2005: 59-68
4EEJia Xu, Hridesh Rajan, Kevin J. Sullivan: Understanding Aspects via Implicit Invocation. ASE 2004: 332-335
3EEHridesh Rajan: One More Step in the Direction of Modularized Integration Concerns. ICSE 2004: 36-38
2EEHridesh Rajan, Kevin J. Sullivan: Eos: instance-level aspects for integrated system design. ESEC / SIGSOFT FSE 2003: 291-306
1EEHridesh Rajan: Effects of Applying Mobility Localization on Source Routing Algorithms for Mobile Ad Hoc Network. ISCC 2003: 39-44

Coauthor Index

1Christoph Bockisch [16]
2Yuanfang Cai [6] [8]
3Robert Dyer [11] [16] [18]
4William G. Griswold [6] [8]
5Youssef Hanna [9] [15]
6Michael Haupt [16]
7Mahantesh Hosamani [13]
8Gary T. Leavens [17] [19]
9Juri Memmert [10]
10Mira Mezini [14]
11Harish Narayanappa [11] [13]
12Steve M. Shaner [19]
13Macneil Shonle [6] [8]
14Yuanyuan Song [6] [8]
15Kevin J. Sullivan [2] [4] [5] [6] [7] [8]
16Jia Tao [19]
17Nishit Tewari [6] [8]
18Jia Xu [4]
19Wensheng Zhang [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)