The SCEAS System
Navigation Menu

Search the dblp DataBase


Murali Sitaraman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden
    A Data Abstraction Alternative to Data Structure/Algorithm Modularization. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 1998, pp:102-113 [Conf]
  2. Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump
    Roadmap for enhanced languages and methods to aid verification. [Citation Graph (0, 0)][DBLP]
    GPCE, 2006, pp:221-236 [Conf]
  3. Murali Sitaraman
    A class of programming language mechanisms to facilitate multiple implementations of the same specification. [Citation Graph (0, 0)][DBLP]
    ICCL, 1992, pp:272-281 [Conf]
  4. Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang
    A Formal Approach to Component-Based Software Engineering: Education and Evaluation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:601-609 [Conf]
  5. John M. Hunt, Murali Sitaraman
    Enhancements - Enabling Flexible Feature and Implementation Selection. [Citation Graph (0, 0)][DBLP]
    ICSR, 2004, pp:86-100 [Conf]
  6. Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth
    Reasoning about Software-Component Behavior. [Citation Graph (0, 0)][DBLP]
    ICSR, 2000, pp:266-283 [Conf]
  7. Tao Fang, A. L. Narasimha Reddy, George Rinard, Murali Sitaraman
    Distributed Execution of Object-Based Software. [Citation Graph (0, 0)][DBLP]
    Parallel and Distributed Computing and Systems, 1995, pp:521-524 [Conf]
  8. Murali Sitaraman, Michael B. Feldman, Gary A. Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide
    What Changes Are Needed For Undergraduate CS Curricula to Educate ``Software Engineers''? [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1994, pp:220- [Conf]
  9. Murali Sitaraman, Jeff Gray
    Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1993, pp:137-146 [Conf]
  10. Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Steven Edwards
    Providing intellectual focus to CS1/CS2. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1998, pp:252-256 [Conf]
  11. Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman
    Client view first: an exodus from implementation-biased teaching. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1999, pp:136-140 [Conf]
  12. Edward A. Addy, Murali Sitaraman
    Formal Specification of COTS-Based Software: A Case Study. [Citation Graph (0, 0)][DBLP]
    SSR, 1999, pp:83-91 [Conf]
  13. Murali Sitaraman, Maggie Davis, Premkumar T. Devanbu, Jeffrey S. Poulin, Alexander Ran, Bruce W. Weide
    Reuse Research: Contributions, Problems and Non-Problems. [Citation Graph (0, 0)][DBLP]
    SSR, 1999, pp:178-180 [Conf]
  14. Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy
    Performance specification of software components. [Citation Graph (0, 0)][DBLP]
    SSR, 2001, pp:3-10 [Conf]
  15. Murali Sitaraman
    Impact of Performance Considerations on Formal Specification Design. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1996, v:8, n:6, pp:716-736 [Journal]
  16. David Fleming, Murali Sitaraman, Sethu Sreerama
    A Practical Performance Criterion for Object Interface Design. [Citation Graph (0, 0)][DBLP]
    JOOP, 1997, v:10, n:4, pp:52-63 [Journal]
  17. Bruce W. Weide, William F. Ogden, Murali Sitaraman
    Recasting Algorithms to Encourage Reuse. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1994, v:11, n:5, pp:80-88 [Journal]
  18. Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen Edwards
    Model variables: cleanly supporting abstraction in design by contract. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2005, v:35, n:6, pp:583-599 [Journal]
  19. Sethu Sreerama, David Fleming, Murali Sitaraman
    Graceful Object-Based Performance Evolution. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1997, v:27, n:1, pp:111-122 [Journal]
  20. Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth
    Contract-Checking Wrappers for C++ Classes. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:11, pp:794-810 [Journal]
  21. Murali Sitaraman, Bruce W. Weide, William F. Ogden
    On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:3, pp:157-170 [Journal]

  22. Compositional performance prediction exemplified using generic object finalization analysis. [Citation Graph (, )][DBLP]

  23. Courseware for teaching analytical reasoning principles: a hands-on laboratory. [Citation Graph (, )][DBLP]

  24. Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? [Citation Graph (, )][DBLP]

  25. Generating Verified Java Components through RESOLVE. [Citation Graph (, )][DBLP]

  26. Injecting rapid feedback and collaborative reasoning in teaching specifications. [Citation Graph (, )][DBLP]

  27. Some developments in mathematical thinking for computer science education since computing curricula 2001. [Citation Graph (, )][DBLP]

  28. Abstracting Pointers for a Verifying Compiler. [Citation Graph (, )][DBLP]

  29. Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. [Citation Graph (, )][DBLP]

  30. Incremental Benchmarks for Software Verification Tools and Techniques. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002