Search the dblp DataBase
Kevin J. Sullivan :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Hridesh Rajan , Kevin J. Sullivan Aspect language features for concern coverage profiling. [Citation Graph (0, 0)][DBLP ] AOSD, 2005, pp:181-191 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] David Coppit , Kevin J. Sullivan Multiple mass-market applications as components. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:273-282 [Conf ] David Coppit , Kevin J. Sullivan Galileo: a tool built from mass-market applications. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:750-753 [Conf ] 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 ] 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 ] Rick Kazman , Kevin Sullivan The 8th international workshop on economics-driven software engineering research. [Citation Graph (0, 0)][DBLP ] ICSE, 2006, pp:1038- [Conf ] Hridesh Rajan , Kevin J. Sullivan Classpects: unifying aspect- and object-oriented language design. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:59-68 [Conf ] Kevin J. Sullivan The 2nd International Workshop on Economics-Driven Software Engineering Research. [Citation Graph (0, 0)][DBLP ] ICSE, 2000, pp:811- [Conf ] Kevin Sullivan 7th international workshop on economics-driven software engineering research. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:684- [Conf ] 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 ] 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 ] 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 ] Kevin J. Sullivan , Jeff Magee Science of design. [Citation Graph (0, 0)][DBLP ] ICSE, 2005, pp:46- [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Kevin J. Sullivan Rapid Development of Simple, Custom Program Analysis Tools. [Citation Graph (0, 0)][DBLP ] WPC, 1996, pp:40-44 [Conf ] Yuanfang Cai , Kevin J. Sullivan Simon: modeling and analysis of design space structures. [Citation Graph (0, 0)][DBLP ] ASE, 2005, pp:329-332 [Conf ] Yuanfang Cai , Kevin J. Sullivan Modularity Analysis of Logical Design Models. [Citation Graph (0, 0)][DBLP ] ASE, 2006, pp:91-102 [Conf ] 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 ] Jia Xu , Hridesh Rajan , Kevin J. Sullivan Understanding Aspects via Implicit Invocation. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:332-335 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Kevin Sullivan First Workshop on the Economics of Software and Computation. [Citation Graph (0, 0)][DBLP ] ICSE Companion, 2007, pp:125-126 [Conf ] 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 ] Architecture as an Independent Variable for Aspect-Oriented Application Descriptions. [Citation Graph (, )][DBLP ] Automatic modularity conformance checking. [Citation Graph (, )][DBLP ] Second international workshop on ultra-large-scale software-intensive systems (ULSSIS 2008). [Citation Graph (, )][DBLP ] Architectural style as an independent variable. [Citation Graph (, )][DBLP ] Monarch: Model-Based Development of Software Architectures. [Citation Graph (, )][DBLP ] Extravagaria IV: photographing conferences. [Citation Graph (, )][DBLP ] 2nd workshop on assessment of contemporary modularization techniques (ACoM 2008). [Citation Graph (, )][DBLP ] Collaboration and communication: growing and sustaining ultra large scale (ULS) systems. [Citation Graph (, )][DBLP ] Extravagaria V: photographing conferences (advanced). [Citation Graph (, )][DBLP ] 3rd workshop on assessment of contemporary modularization techniques (ACoM 2009). [Citation Graph (, )][DBLP ] Search in 0.008secs, Finished in 0.013secs