| 2009 |
|---|
| 48 | | Kevin J. Sullivan:
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009
ACM 2009 |
| 2008 |
|---|
| 47 | EE | Sunny Huynh,
Yuanfang Cai,
Yuanyuan Song,
Kevin J. Sullivan:
Automatic modularity conformance checking.
ICSE 2008: 411-420 |
| 46 | EE | Richard P. Gabriel,
Kevin J. Sullivan:
Extravagaria IV: photographing conferences.
OOPSLA Companion 2008: 849-852 |
| 2006 |
|---|
| 45 | EE | Yuanfang Cai,
Kevin J. Sullivan:
Modularity Analysis of Logical Design Models.
ASE 2006: 91-102 |
| 44 | EE | William 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 |
|---|
| 43 | EE | Hridesh Rajan,
Kevin J. Sullivan:
Aspect language features for concern coverage profiling.
AOSD 2005: 181-191 |
| 42 | EE | Yuanfang Cai,
Kevin J. Sullivan:
Simon: modeling and analysis of design space structures.
ASE 2005: 329-332 |
| 41 | EE | Kevin 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 |
| 40 | EE | Kevin J. Sullivan,
Jeff Magee:
Science of design.
ICSE 2005: 46 |
| 39 | EE | Hridesh Rajan,
Kevin J. Sullivan:
Classpects: unifying aspect- and object-oriented language design.
ICSE 2005: 59-68 |
| 38 | EE | Yuanfang Cai,
Kevin J. Sullivan:
A value-oriented theory of modularity in design.
ACM SIGSOFT Software Engineering Notes 30(4): 1-4 (2005) |
| 37 | EE | David Coppit,
Jinlin Yang,
Sarfraz Khurshid,
Wei Le,
Kevin J. Sullivan:
Software Assurance by Bounded Exhaustive Testing.
IEEE Trans. Software Eng. 31(4): 328-339 (2005) |
| 2004 |
|---|
| 36 | EE | Jia Xu,
Hridesh Rajan,
Kevin J. Sullivan:
Understanding Aspects via Implicit Invocation.
ASE 2004: 332-335 |
| 35 | EE | Kevin J. Sullivan,
Jinlin Yang,
David Coppit,
Sarfraz Khurshid,
Daniel Jackson:
Software assurance by bounded exhaustive testing.
ISSTA 2004: 133-142 |
| 2003 |
|---|
| 34 | EE | John C. Knight,
Elisabeth A. Strunk,
Kevin J. Sullivan:
Towards a Rigorous Definition of Information System Survivability.
DISCEX (1) 2003: 78-89 |
| 33 | EE | Hridesh Rajan,
Kevin J. Sullivan:
Eos: instance-level aspects for integrated system design.
ESEC / SIGSOFT FSE 2003: 291-306 |
| 32 | EE | David Coppit,
Kevin J. Sullivan:
Sound Methods and Effective Tools for Engineering Modeling and Analysis.
ICSE 2003: 198-209 |
| 31 | EE | David Coppit,
Robert R. Painter,
Kevin J. Sullivan:
Shared Semantic Domains for Computational Reliability Engineering.
ISSRE 2003: 169-180 |
| 2002 |
|---|
| 30 | EE | Kevin J. Sullivan,
Lin Gu,
Yuanfang Cai:
Non-modularity in aspect-oriented languages: integration as a crosscutting concern for AspectJ.
AOSD 2002: 19-26 |
| 29 | EE | Mikio Aoyama,
Sanjiva Weerawarana,
Hiroshi Maruyama,
Clemens A. Szyperski,
Kevin J. Sullivan,
Doug Lea:
Web services engineering: promises and challenges.
ICSE 2002: 647-648 |
| 28 | EE | M. Hakan Erdogmus,
Barry W. Boehm,
Warren Harrison,
Donald J. Reifer,
Kevin J. Sullivan:
Software engineering economics: background, current practices, and future directions.
ICSE 2002: 683-684 |
| 2001 |
|---|
| 27 | EE | Kevin J. Sullivan,
William G. Griswold,
Yuanfang Cai,
Ben Hallen:
The structure and value of modularity in software design.
ESEC / SIGSOFT FSE 2001: 99-108 |
| 26 | | Kevin J. Sullivan,
Avneesh Saxena:
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry.
ICSE 2001: 485-492 |
| 25 | | Kevin J. Sullivan,
Mary M. Shaw,
Barry W. Boehm,
David Notkin,
Warren Harrison:
Third International Workshop on Economics-Driven Software Engineering Research.
ICSE 2001: 770-770 |
| 24 | EE | Gail C. Murphy,
David Notkin,
Kevin J. Sullivan:
Software Reflexion Models: Bridging the Gap between Design and Implementation.
IEEE Trans. Software Eng. 27(4): 364-380 (2001) |
| 2000 |
|---|
| 23 | EE | David Coppit,
Kevin J. Sullivan:
Multiple mass-market applications as components.
ICSE 2000: 273-282 |
| 22 | EE | David Coppit,
Kevin J. Sullivan:
Galileo: a tool built from mass-market applications.
ICSE 2000: 750-753 |
| 21 | EE | Kevin J. Sullivan:
The 2nd International Workshop on Economics-Driven Software Engineering Research.
ICSE 2000: 811 |
| 20 | EE | Barry W. Boehm,
Kevin J. Sullivan:
Software economics: a roadmap.
ICSE - Future of SE Track 2000: 319-343 |
| 19 | EE | David Coppit,
Kevin J. Sullivan,
Joanne Bechta Dugan:
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees.
ISSRE 2000: 270-282 |
| 18 | EE | Daniel Jackson,
Kevin J. Sullivan:
COM revisited: tool-assisted modelling of an architectural framework.
SIGSOFT FSE 2000: 149-158 |
| 1999 |
|---|
| 17 | EE | Michael A. Copenhafer,
Kevin J. Sullivan:
Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties.
ASE 1999: 7-14 |
| 16 | EE | Kevin J. Sullivan,
Joanne Bechta Dugan,
David Coppit:
The Galileo Fault Tree Analysis Tool.
FTCS 1999: 232-235 |
| 15 | EE | Kevin J. Sullivan,
John C. Knight,
Xing Du,
Steve Geist:
Information Survivability Control Systems.
ICSE 1999: 184-192 |
| 14 | EE | Kevin J. Sullivan,
David Notkin,
Alfonso Fuggetta,
John M. Favaro:
First Workshop on Economics-Driven Software Engineering Research.
ICSE 1999: 699-700 |
| 13 | EE | Kevin J. Sullivan,
Mark Marchukov,
John Socha:
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model.
IEEE Trans. Software Eng. 25(4): 584-599 (1999) |
| 12 | EE | Barry W. Boehm,
Kevin J. Sullivan:
Software economics: status and prospects.
Information & Software Technology 41(14): 937-946 (1999) |
| 1998 |
|---|
| 11 | EE | David Coppit,
Kevin J. Sullivan:
Formal Specification in Collaborative Design of Critical Software Tools.
HASE 1998: 13-20 |
| 10 | EE | Ragavan Manian,
Joanne Bechta Dugan,
David Coppit,
Kevin J. Sullivan:
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems.
HASE 1998: 21-28 |
| 1997 |
|---|
| 9 | EE | Kevin J. Sullivan,
John Socha,
Mark Marchukov:
Using Formal Methods to Reason about Architectural Standards.
ICSE 1997: 503-513 |
| 8 | EE | Kevin J. Sullivan,
Jake Cockrell,
Shengtong Zhang,
David Coppit:
Package-Oriented Programming of Engineering Tools.
ICSE 1997: 616-617 |
| 1996 |
|---|
| 7 | EE | Kevin J. Sullivan,
John C. Knight:
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse.
ICSE 1996: 220-229 |
| 6 | EE | Kevin J. Sullivan:
Rapid Development of Simple, Custom Program Analysis Tools.
WPC 1996: 40-44 |
| 5 | EE | Kevin J. Sullivan,
Ira Kalet,
David Notkin:
Evaluating The Mediator Method: Prism as a Case Study.
IEEE Trans. Software Eng. 22(8): 563-579 (1996) |
| 1995 |
|---|
| 4 | EE | Gail C. Murphy,
David Notkin,
Kevin J. Sullivan:
Software Reflexion Models: Bridging the Gap Between Source and High-Level Models.
SIGSOFT FSE 1995: 18-28 |
| 1993 |
|---|
| 3 | | David Notkin,
David Garlan,
William G. Griswold,
Kevin J. Sullivan:
Adding Implicit Invocation to Languages: Three Approaches.
ISOTAS 1993: 489-510 |
| 1992 |
|---|
| 2 | EE | Kevin J. Sullivan,
David Notkin:
Reconciling Environment Integration and Software Evolution.
ACM Trans. Softw. Eng. Methodol. 1(3): 229-268 (1992) |
| 1990 |
|---|
| 1 | EE | 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.
IEEE Trans. Software Eng. 16(6): 639-646 (1990) |
