The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hridesh Rajan" ( http://dblp.L3S.de/Authors/Hridesh_Rajan )

URL (Homepage):  http://www.cs.iastate.edu/~hridesh/  Author page on DBLP  Author page in RDF  Community of Hridesh Rajan in ASPL-2

Publication years (Num. hits)
2003-2008 (19) 2009-2010 (19) 2011-2012 (9)
Publication types (Num. hits)
article(8) inproceedings(37) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 43 occurrences of 33 keywords

Results
Found 47 publication records. Showing 47 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Robert Dyer 0001, Hridesh Rajan, Yuanfang Cai An exploratory study of the design impact of language features for aspect-oriented interfaces. Search on Bibsonomy AOSD The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rex D. Fernando, Robert Dyer 0001, Hridesh Rajan Event type polymorphism. Search on Bibsonomy FOAL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tyler Sondag, Hridesh Rajan Phase-based tuning for better utilization of performance-asymmetric multicore processors. Search on Bibsonomy CGO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces. Search on Bibsonomy AOSD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan, Gary T. Leavens, Robert Dyer 0001, Mehdi Bagherzadeh Modularizing crosscutting concerns with Ptolemy. Search on Bibsonomy AOSD (Companion) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Bashar Gharaibeh, Hridesh Rajan, J. Morris Chang Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure? Search on Bibsonomy FASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan (eds.) Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011 Search on Bibsonomy FOAL The full citation details ... 2011 DBLP  BibTeX  RDF
1Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 VMIL 2011: the 5th workshop on virtual machines and intermediate languages. Search on Bibsonomy OOPSLA Companion The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer 0001, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter Modularizing crosscutting concerns with ptolemy. Search on Bibsonomy OOPSLA Companion The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kevin J. Sullivan, William G. Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari Modular aspect-oriented design with XPIs. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert Dyer 0001, Hridesh Rajan Supporting dynamic aspect-oriented features. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan Automating Cut-off for Multi-parameterized Systems. Search on Bibsonomy ICFEM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Warren Baelen, Yuanfang Cai, Robert Dyer 0001, Hridesh Rajan Feature Volatility Assessment. Search on Bibsonomy SPLC Workshops The full citation details ... 2010 DBLP  BibTeX  RDF
1Yuheng Long, Sean L. Mooney, Tyler Sondag, Hridesh Rajan Implicit invocation meets safe, implicit concurrency. Search on Bibsonomy GPCE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Harish Narayanappa, Mukul S. Bansal, Hridesh Rajan Property-aware program sampling. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF property-aware monitoring, slice fragments, static analysis, sampling, profiling, program slicing, instrumentation
1Tyler Sondag, Hridesh Rajan A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis. Search on Bibsonomy RTSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yuheng Long, Hridesh Rajan, Sean L. Mooney Reconciling concurrency and modularity with Panini's asynchronous typed events. Search on Bibsonomy SPLASH/OOPSLA Companion The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sean L. Mooney, Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe Almost free concurrency! (using GOF patterns). Search on Bibsonomy SPLASH/OOPSLA Companion The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe Concurrency by modularity: design patterns, a case in point. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean L. Mooney Translucid contracts for modular reasoning about aspect-oriented programs. Search on Bibsonomy SPLASH/OOPSLA Companion The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 VMIL 2010: 4th workshop on virtual machines and intermediate languages. Search on Bibsonomy SPLASH/OOPSLA Companion The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tyler Sondag, Kian L. Pokorny, Hridesh Rajan Frances: a tool for understanding code generation. Search on Bibsonomy SIGCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF frances, visualization, compilers, code generation
1Hridesh Rajan Building scalable software systems in the multicore era. Search on Bibsonomy FoSER The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan, Kevin J. Sullivan Unifying aspect- and object-oriented design. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Classpect, Eos, first class aspect instances, instance-level advising, unified aspect language model, aspect-oriented programming, binding
1Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 VMIL: workshop on virtual machines and intermediate languages. Search on Bibsonomy OOPSLA Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF optimization, compilation, virtual machine, interpretation, dynamic dispatch, intermediate language
1Youssef Hanna, Hridesh Rajan Slede: Framework for automatic verification of sensor network security protocol implementations. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Youssef Hanna, Samik Basu, Hridesh Rajan Behavioral automata composition for automatic topology independent verification of parameterized systems. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parameterized model checking
1Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan, Mahantesh Hosamani Tisa: Toward Trustworthy Services in a Service-Oriented Architecture. Search on Bibsonomy IEEE T. Services Computing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Robert Dyer 0001, Hridesh Rajan Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation. Search on Bibsonomy AOSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Nu, aspect-oriented intermediate languages, aspect-oriented virtual machines, invocation, weaving
1Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 Virtual machines and intermediate languages for emerging modularization mechanisms. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF optimization, compilation, virtual machine, interpretation, separation of concerns, dynamic dispatch, intermediate language
1Hridesh Rajan, Gary T. Leavens Ptolemy: A Language with Quantified, Typed Events. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Youssef Hanna, Hridesh Rajan, Wensheng Zhang 0001 Slede: a domain-specific verification framework for sensor network security protocol implementations. Search on Bibsonomy WISEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF intruder generation, sensor networks, model checking, security protocols
1Hridesh Rajan A case for explicit join point models for aspect-oriented intermediate languages. Search on Bibsonomy VMIL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Nu AO intermediate language, aspect-oriented intermediate languages, explicit join point models, implicit join point models
1Hridesh Rajan, Mira Mezini (eds.) 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 Search on Bibsonomy VMIL The full citation details ... 2007 DBLP  BibTeX  RDF
1Mahantesh Hosamani, Harish Narayanappa, Hridesh Rajan Monitoring the monitor: an approach towards trustworthiness in service oriented architecture. Search on Bibsonomy IW-SOSWE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF client-side data privacy, service oriented architecture, trust
1William G. Griswold, Kevin J. Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan Modular Software Design with Crosscutting Interfaces. Search on Bibsonomy IEEE Software The full citation details ... 2006 DBLP  DOI  BibTeX  RDF preconditions, aspect-oriented, postconditions
1Robert Dyer 0001, Harish Narayanappa, Hridesh Rajan Nu: preserving design modularity in object code. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Juri Memmert, Hridesh Rajan Osiris: generating concern models from source code. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Youssef Hanna, Hridesh Rajan SLEDE: event-based specification of sensor network security protocols. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan, Kevin J. Sullivan Aspect language features for concern coverage profiling. Search on Bibsonomy AOSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Eos, concern coverage, coverage adequacy criteria, generalized advice, generalized join point models, C#
1Hridesh Rajan, Kevin J. Sullivan Classpects: unifying aspect- and object-oriented language design. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF classpect, join point-method binding, aspect-oriented
1Kevin J. Sullivan, William G. Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari, Hridesh Rajan Information hiding interfaces for aspect-oriented design. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF aspect-oriented programming, design rules, options
1Jia Xu, Hridesh Rajan, Kevin J. Sullivan Understanding Aspects via Implicit Invocation. Search on Bibsonomy ASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan One More Step in the Direction of Modularized Integration Concerns. Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan Effects of Applying Mobility Localization on Source Routing Algorithms for Mobile Ad Hoc Network. Search on Bibsonomy ISCC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hridesh Rajan, Kevin J. Sullivan Eos: instance-level aspects for integrated system design. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF design, integration, mediators, aspects, C#, instances
Displaying result #1 - #47 of 47 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.