The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kevin J. Sullivan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kevin J. Sullivan, Lin Gu, Yuanfang Cai
    Non-modularity in aspect-oriented languages: integration as a crosscutting concern for AspectJ. [Citation Graph (0, 0)][DBLP]
    AOSD, 2002, pp:19-26 [Conf]
  2. Hridesh Rajan, Kevin J. Sullivan
    Aspect language features for concern coverage profiling. [Citation Graph (0, 0)][DBLP]
    AOSD, 2005, pp:181-191 [Conf]
  3. John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan
    Towards a Rigorous Definition of Information System Survivability. [Citation Graph (0, 0)][DBLP]
    DISCEX (1), 2003, pp:78-89 [Conf]
  4. Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit
    The Galileo Fault Tree Analysis Tool. [Citation Graph (0, 0)][DBLP]
    FTCS, 1999, pp:232-235 [Conf]
  5. David Coppit, Kevin J. Sullivan
    Formal Specification in Collaborative Design of Critical Software Tools. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:13-20 [Conf]
  6. Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan
    Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1998, pp:21-28 [Conf]
  7. Mikio Aoyama, Sanjiva Weerawarana, Hiroshi Maruyama, Clemens A. Szyperski, Kevin J. Sullivan, Doug Lea
    Web services engineering: promises and challenges. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:647-648 [Conf]
  8. Barry W. Boehm, Kevin J. Sullivan
    Software economics: a roadmap. [Citation Graph (0, 0)][DBLP]
    ICSE - Future of SE Track, 2000, pp:319-343 [Conf]
  9. David Coppit, Kevin J. Sullivan
    Multiple mass-market applications as components. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:273-282 [Conf]
  10. David Coppit, Kevin J. Sullivan
    Galileo: a tool built from mass-market applications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:750-753 [Conf]
  11. David Coppit, Kevin J. Sullivan
    Sound Methods and Effective Tools for Engineering Modeling and Analysis. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:198-209 [Conf]
  12. M. Hakan Erdogmus, Barry W. Boehm, Warren Harrison, Donald J. Reifer, Kevin J. Sullivan
    Software engineering economics: background, current practices, and future directions. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:683-684 [Conf]
  13. Rick Kazman, Kevin Sullivan
    The 8th international workshop on economics-driven software engineering research. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1038- [Conf]
  14. Hridesh Rajan, Kevin J. Sullivan
    Classpects: unifying aspect- and object-oriented language design. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:59-68 [Conf]
  15. Kevin J. Sullivan
    The 2nd International Workshop on Economics-Driven Software Engineering Research. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:811- [Conf]
  16. Kevin Sullivan
    7th international workshop on economics-driven software engineering research. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:684- [Conf]
  17. Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit
    Package-Oriented Programming of Engineering Tools. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:616-617 [Conf]
  18. Kevin J. Sullivan, John C. Knight
    Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:220-229 [Conf]
  19. Kevin J. Sullivan, John C. Knight, Xing Du, Steve Geist
    Information Survivability Control Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:184-192 [Conf]
  20. Kevin J. Sullivan, Jeff Magee
    Science of design. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:46- [Conf]
  21. Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro
    First Workshop on Economics-Driven Software Engineering Research. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:699-700 [Conf]
  22. Kevin J. Sullivan, Avneesh Saxena
    A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:485-492 [Conf]
  23. Kevin J. Sullivan, Mary M. Shaw, Barry W. Boehm, David Notkin, Warren Harrison
    Third International Workshop on Economics-Driven Software Engineering Research. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:770-770 [Conf]
  24. Kevin J. Sullivan, John Socha, Mark Marchukov
    Using Formal Methods to Reason about Architectural Standards. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:503-513 [Conf]
  25. David Notkin, David Garlan, William G. Griswold, Kevin J. Sullivan
    Adding Implicit Invocation to Languages: Three Approaches. [Citation Graph (0, 0)][DBLP]
    ISOTAS, 1993, pp:489-510 [Conf]
  26. David Coppit, Robert R. Painter, Kevin J. Sullivan
    Shared Semantic Domains for Computational Reliability Engineering. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2003, pp:169-180 [Conf]
  27. David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan
    Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2000, pp:270-282 [Conf]
  28. Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson
    Software assurance by bounded exhaustive testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:133-142 [Conf]
  29. Kevin J. Sullivan
    Rapid Development of Simple, Custom Program Analysis Tools. [Citation Graph (0, 0)][DBLP]
    WPC, 1996, pp:40-44 [Conf]
  30. Yuanfang Cai, Kevin J. Sullivan
    Simon: modeling and analysis of design space structures. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:329-332 [Conf]
  31. Yuanfang Cai, Kevin J. Sullivan
    Modularity Analysis of Logical Design Models. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:91-102 [Conf]
  32. Michael A. Copenhafer, Kevin J. Sullivan
    Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:7-14 [Conf]
  33. Jia Xu, Hridesh Rajan, Kevin J. Sullivan
    Understanding Aspects via Implicit Invocation. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:332-335 [Conf]
  34. Steven Fraser, Gregor Kiczales, Ricardo Lopez, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, Kevin Sullivan
    The ultra challenge: software systems beyond big. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:929-933 [Conf]
  35. Richard P. Gabriel, Linda M. Northrop, Douglas C. Schmidt, Kevin Sullivan
    Ultra-large-scale systems. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:632-634 [Conf]
  36. Richard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin Sullivan
    Aspects and/versus modularity the grand debate. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:935-936 [Conf]
  37. Daniel Jackson, Kevin J. Sullivan
    COM revisited: tool-assisted modelling of an architectural framework. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:149-158 [Conf]
  38. Gail C. Murphy, David Notkin, Kevin J. Sullivan
    Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:18-28 [Conf]
  39. Hridesh Rajan, Kevin J. Sullivan
    Eos: instance-level aspects for integrated system design. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:291-306 [Conf]
  40. Kevin J. Sullivan, William G. Griswold, Yuanfang Cai, Ben Hallen
    The structure and value of modularity in software design. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:99-108 [Conf]
  41. Kevin J. Sullivan, William G. Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari, Hridesh Rajan
    Information hiding interfaces for aspect-oriented design. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:166-175 [Conf]
  42. Barry W. Boehm, Kevin J. Sullivan
    Software economics: status and prospects. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:14, pp:937-946 [Journal]
  43. William G. Griswold, Kevin J. Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan
    Modular Software Design with Crosscutting Interfaces. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2006, v:23, n:1, pp:51-60 [Journal]
  44. Kevin J. Sullivan, David Notkin
    Reconciling Environment Integration and Software Evolution. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1992, v:1, n:3, pp:229-268 [Journal]
  45. David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan
    Software Assurance by Bounded Exhaustive Testing. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2005, v:31, n:4, pp:328-339 [Journal]
  46. Soklei Leong, Stephen M. Jodis, Kevin J. Sullivan, Oliver Jiang, Paul A. D. de Maine
    A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:6, pp:639-646 [Journal]
  47. Gail C. Murphy, David Notkin, Kevin J. Sullivan
    Software Reflexion Models: Bridging the Gap between Design and Implementation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:4, pp:364-380 [Journal]
  48. Kevin J. Sullivan, Ira Kalet, David Notkin
    Evaluating The Mediator Method: Prism as a Case Study. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:8, pp:563-579 [Journal]
  49. Kevin J. Sullivan, Mark Marchukov, John Socha
    Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1999, v:25, n:4, pp:584-599 [Journal]
  50. Kevin Sullivan
    First Workshop on the Economics of Software and Computation. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:125-126 [Conf]
  51. Richard P. Gabriel, Rick Kazman, Linda M. Northrop, Douglas C. Schmidt, Kevin Sullivan
    Workshop on Software Technologies for Ultra-Large Scale Systems. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:140-141 [Conf]

  52. Architecture as an Independent Variable for Aspect-Oriented Application Descriptions. [Citation Graph (, )][DBLP]


  53. Automatic modularity conformance checking. [Citation Graph (, )][DBLP]


  54. Second international workshop on ultra-large-scale software-intensive systems (ULSSIS 2008). [Citation Graph (, )][DBLP]


  55. Architectural style as an independent variable. [Citation Graph (, )][DBLP]


  56. Monarch: Model-Based Development of Software Architectures. [Citation Graph (, )][DBLP]


  57. Extravagaria IV: photographing conferences. [Citation Graph (, )][DBLP]


  58. 2nd workshop on assessment of contemporary modularization techniques (ACoM 2008). [Citation Graph (, )][DBLP]


  59. Collaboration and communication: growing and sustaining ultra large scale (ULS) systems. [Citation Graph (, )][DBLP]


  60. Extravagaria V: photographing conferences (advanced). [Citation Graph (, )][DBLP]


  61. 3rd workshop on assessment of contemporary modularization techniques (ACoM 2009). [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002