Hridesh Rajan Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)