Reconciling environment integration and component independence. - Kevin J. Sullivan; David Notkin (SDE, 1990)

A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System. - Soklei Leong; Stephen M. Jodis; Kevin J. Sullivan; Oliver Jiang; Paul A. D. de Maine (IEEE Trans. Software Eng., 1990)

Reconciling Environment Integration and Software Evolution. - Kevin J. Sullivan; David Notkin (ACM Trans. Softw. Eng. Methodol., 1992)

Adding Implicit Invocation to Languages: Three Approaches. - David Notkin; David Garlan; William G. Griswold; Kevin J. Sullivan (ISOTAS, 1993)

Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. - Gail C. Murphy; David Notkin; Kevin J. Sullivan (SIGSOFT FSE, 1995)

Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. - Kevin J. Sullivan; John C. Knight (ICSE, 1996)

Rapid Development of Simple, Custom Program Analysis Tools. - Kevin J. Sullivan (WPC, 1996)

Software design: the options approach. - Kevin J. Sullivan (ISAW/Viewpoints@FSE, 1996)

Evaluating The Mediator Method: Prism as a Case Study. - Kevin J. Sullivan; Ira Kalet; David Notkin (IEEE Trans. Software Eng., 1996)

Package-Oriented Programming of Engineering Tools. - Kevin J. Sullivan; Jake Cockrell; Shengtong Zhang; David Coppit (ICSE, 1997)

Using Formal Methods to Reason about Architectural Standards. - Kevin J. Sullivan; John Socha; Mark Marchukov (ICSE, 1997)

Formal Specification in Collaborative Design of Critical Software Tools. - David Coppit; Kevin J. Sullivan (HASE, 1998)

Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. - Ragavan Manian; Joanne Bechta Dugan; David Coppit; Kevin J. Sullivan (HASE, 1998)

Mediators in infrastructure survivability enhancement. - Kevin J. Sullivan; Steve Geist; Paul Shaw (ISAW@FSE, 1998)

The Galileo Fault Tree Analysis Tool. - Kevin J. Sullivan; Joanne Bechta Dugan; David Coppit (FTCS, 1999)

Information Survivability Control Systems. - Kevin J. Sullivan; John C. Knight; Xing Du; Steve Geist (ICSE, 1999)

First Workshop on Economics-Driven Software Engineering Research. - Kevin J. Sullivan; David Notkin; Alfonso Fuggetta; John M. Favaro (ICSE, 1999)

Developing a high-quality software tool for fault tree analysis. - Joanne Bechta Dugan; Kevin J. Sullivan; David Coppit (ISSRE, 1999)

Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties. - Michael A. Copenhafer; Kevin J. Sullivan (ASE, 1999)

Software economics: status and prospects. - Barry W. Boehm; Kevin J. Sullivan (Inf. Softw. Technol., 1999)

Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model. - Kevin J. Sullivan; Mark Marchukov; John Socha (IEEE Trans. Software Eng., 1999)

Software economics: a roadmap. - Barry W. Boehm; Kevin J. Sullivan (ICSE - Future of SE Track, 2000)

Multiple mass-market applications as components. - David Coppit; Kevin J. Sullivan (ICSE, 2000)

Galileo: a tool built from mass-market applications. - David Coppit; Kevin J. Sullivan (ICSE, 2000)

The 2nd International Workshop on Economics-Driven Software Engineering Research. - Kevin J. Sullivan (ICSE, 2000)

Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. - David Coppit; Kevin J. Sullivan; Joanne Bechta Dugan (ISSRE, 2000)

COM revisited: tool-assisted modelling of an architectural framework. - Daniel Jackson 001; Kevin J. Sullivan (SIGSOFT FSE, 2000)

Developing a low-cost high-quality software tool for dynamic fault-tree analysis. - Joanne Bechta Dugan; Kevin J. Sullivan; David Coppit (IEEE Trans. Reliab., 2000)

A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry. - Kevin J. Sullivan; Avneesh Saxena (ICSE, 2001)

Third International Workshop on Economics-Driven Software Engineering Research. - Kevin J. Sullivan; Mary Shaw; Barry W. Boehm; David Notkin; Warren Harrison (ICSE, 2001)

The structure and value of modularity in software design. - Kevin J. Sullivan; William G. Griswold; Yuanfang Cai; Ben Hallen (ESEC / SIGSOFT FSE, 2001)

Software Reflexion Models: Bridging the Gap between Design and Implementation. - Gail C. Murphy; David Notkin; Kevin J. Sullivan (IEEE Trans. Software Eng., 2001)

Non-modularity in aspect-oriented languages: integration as a crosscutting concern for AspectJ. - Kevin J. Sullivan; Lin Gu 001; Yuanfang Cai (AOSD, 2002)

Web services engineering: promises and challenges. - Mikio Aoyama; Sanjiva Weerawarana; Hiroshi Maruyama; Clemens A. Szyperski; Kevin J. Sullivan; Doug Lea (ICSE, 2002)

Software engineering economics: background, current practices, and future directions. - M. Hakan Erdogmus; Barry W. Boehm; Warren Harrison; Donald J. Reifer; Kevin J. Sullivan (ICSE, 2002)

Towards a Rigorous Definition of Information System Survivability. - John C. Knight; Elisabeth A. Strunk; Kevin J. Sullivan (DISCEX (1), 2003)

Sound Methods and Effective Tools for Engineering Modeling and Analysis. - David Coppit; Kevin J. Sullivan (ICSE, 2003)

Shared Semantic Domains for Computational Reliability Engineering. - David Coppit; Robert R. Painter; Kevin J. Sullivan (ISSRE, 2003)

Eos: instance-level aspects for integrated system design. - Hridesh Rajan; Kevin J. Sullivan (ESEC / SIGSOFT FSE, 2003)

Software assurance by bounded exhaustive testing. - Kevin J. Sullivan; Jinlin Yang; David Coppit; Sarfraz Khurshid; Daniel Jackson 001 (ISSTA, 2004)

Understanding Aspects via Implicit Invocation. - Jia Xu; Hridesh Rajan; Kevin J. Sullivan (ASE, 2004)

Aspect language features for concern coverage profiling. - Hridesh Rajan; Kevin J. Sullivan (AOSD, 2005)

Classpects: unifying aspect- and object-oriented language design. - Hridesh Rajan; Kevin J. Sullivan (ICSE, 2005)

7th international workshop on economics-driven software engineering research. - Kevin J. Sullivan (ICSE, 2005)

Science of design. - Kevin J. Sullivan; Jeff Magee (ICSE, 2005)

Simon: modeling and analysis of design space structures. - Yuanfang Cai; Kevin J. Sullivan (ASE, 2005)

Information hiding interfaces for aspect-oriented design. - Kevin J. Sullivan; William G. Griswold; Yuanyuan Song; Yuanfang Cai; Macneil Shonle; Nishit Tewari; Hridesh Rajan (ESEC/SIGSOFT FSE, 2005)

A value-oriented theory of modularity in design. - Yuanfang Cai; Kevin J. Sullivan (ACM SIGSOFT Softw. Eng. Notes, 2005)

Software Assurance by Bounded Exhaustive Testing. - David Coppit; Jinlin Yang; Sarfraz Khurshid; Wei Le; Kevin J. Sullivan (IEEE Trans. Software Eng., 2005)

The 8th international workshop on economics-driven software engineering research. - Rick Kazman; Kevin J. Sullivan (ICSE, 2006)

Modularity Analysis of Logical Design Models. - Yuanfang Cai; Kevin J. Sullivan (ASE, 2006)

The ultra challenge: software systems beyond big. - Steven Fraser 001; Gregor Kiczales; Ricardo López; Peter G. Neumann; Linda M. Northrop; Martin C. Rinard; Douglas C. Schmidt; Kevin J. Sullivan (OOPSLA Companion, 2006)

Ultra-large-scale systems. - Richard P. Gabriel; Linda M. Northrop; Douglas C. Schmidt; Kevin J. Sullivan (OOPSLA Companion, 2006)

Aspects and/versus modularity the grand debate. - Richard P. Gabriel; Guy L. Steele Jr.; Friedrich Steimann; Jim Waldo; Gregor Kiczales; Kevin J. Sullivan (OOPSLA Companion, 2006)

Modular Software Design with Crosscutting Interfaces. - William G. Griswold; Kevin J. Sullivan; Yuanyuan Song; Macneil Shonle; Nishit Tewari; Yuanfang Cai; Hridesh Rajan (IEEE Softw., 2006)

Workshop on Software Technologies for Ultra-Large Scale Systems. - Richard P. Gabriel; Rick Kazman; Linda M. Northrop; Douglas C. Schmidt; Kevin J. Sullivan (ICSE Companion, 2007)

First Workshop on the Economics of Software and Computation. - Kevin J. Sullivan (ICSE Companion, 2007)

Automatic modularity conformance checking. - Sunny Huynh; Yuanfang Cai; Yuanyuan Song; Kevin J. Sullivan (ICSE, 2008)

Adaptation architectures cross levels. - Yuanyuan Song; Devendra Rai; Kevin J. Sullivan (ULSSIS@ICSE, 2008)

Second international workshop on ultra-large-scale software-intensive systems (ULSSIS 2008). - Kevin J. Sullivan; Rick Kazman (ICSE Companion, 2008)

Collaboration and communication: growing and sustaining ultra large scale (ULS) systems. - Steven Fraser 001; Ricardo López; Pradeep Kathail; Douglas C. Schmidt; Mary Shaw; Kevin J. Sullivan; Dave A. Thomas (OOPSLA Companion, 2008)

Extravagaria IV: photographing conferences. - Richard P. Gabriel; Kevin J. Sullivan (OOPSLA Companion, 2008)

2nd workshop on assessment of contemporary modularization techniques (ACoM 2008). - Phil Greenwood; Alessandro Garcia 001; Elisa L. A. Baniassad; Kevin J. Sullivan; Yuanfang Cai; Alan MacCormack (OOPSLA Companion, 2008)

Extravagaria V: photographing conferences (advanced). - Richard P. Gabriel; Kevin J. Sullivan (OOPSLA Companion, 2009)

3rd workshop on assessment of contemporary modularization techniques (ACoM 2009). - Phil Greenwood; Alessandro Garcia 001; Yuanfang Cai; Cláudio Sant'Anna; Kevin J. Sullivan; Thomas Cottenier; James Noble 001 (OOPSLA Companion, 2009)

Unifying aspect- and object-oriented design. - Hridesh Rajan; Kevin J. Sullivan (ACM Trans. Softw. Eng. Methodol., 2009)

Architecture as an Independent Variable for Aspect-Oriented Application Descriptions. - Hamid Bagheri; Kevin J. Sullivan (ASM, 2010)

Architectural style as an independent variable. - Hamid Bagheri; Yuanyuan Song; Kevin J. Sullivan (ASE, 2010)

Monarch: Model-Based Development of Software Architectures. - Hamid Bagheri; Kevin J. Sullivan (MoDELS (2), 2010)

Better science through art. - Richard P. Gabriel; Kevin J. Sullivan (OOPSLA, 2010)

Managing technical debt in software-reliant systems. - Nanette Brown; Yuanfang Cai; Yuepu Guo; Rick Kazman; Miryung Kim; Philippe Kruchten; Erin Lim; Alan MacCormack; Robert L. Nord; Ipek Ozkaya; Raghvinder S. Sangwan; Carolyn B. Seaman; et al. (FoSER, 2010)

Modular aspect-oriented design with XPIs. - Kevin J. Sullivan; William G. Griswold; Hridesh Rajan; Yuanyuan Song; Yuanfang Cai; Macneil Shonle; Nishit Tewari (ACM Trans. Softw. Eng. Methodol., 2010)

A Formal Approach for Incorporating Architectural Tactics into the Software Architecture. - Hamid Bagheri; Kevin J. Sullivan (SEKE, 2011)

Pol: specification-driven synthesis of architectural code frameworks for platform-based applications. - Hamid Bagheri; Kevin J. Sullivan (GPCE, 2012)

Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping. - Hamid Bagheri; Kevin J. Sullivan; Sang H. Son 001 (SEKE, 2012)

A formal model for automated software modularity and evolvability analysis. - Yuanfang Cai; Kevin J. Sullivan (ACM Trans. Softw. Eng. Methodol., 2012)

Bottom-up model-driven development. - Hamid Bagheri; Kevin J. Sullivan (ICSE, 2013)

TradeMaker: automated dynamic analysis of synthesized tradespaces. - Hamid Bagheri; Chong Tang 001; Kevin J. Sullivan (ICSE, 2014)

The past, present, and future of MOOCs and their relevance to software engineering. - Balakrishnan Dasarathy; Kevin J. Sullivan; Douglas C. Schmidt; Douglas H. Fisher; Adam A. Porter (FOSE, 2014)

Privacy and security in a networked world. - Steven D. Fraser; Djenana Campara; Michael C. Fanning; Gary McGraw; Kevin J. Sullivan (SPLASH (Companion Volume), 2014)

Real-World Types and Their Application. - Jian Xiang; John C. Knight; Kevin J. Sullivan (SAFECOMP, 2015)

Toward a science of learning systems: a research agenda for the high-functioning Learning Health System. - Charles P. Friedman; Joshua C. Rubin; Jeffrey S. Brown; Melinda Buntin; Milton Corn; Lynn Etheredge; Carl A. Gunter; Mark A. Musen; Richard Platt; William W. Stead; Kevin J. Sullivan; Douglas Van Houweling (J. Am. Medical Informatics Assoc., 2015)

Synthesis of Logic Interpretations. - Jian Xiang; John C. Knight; Kevin J. Sullivan (HASE, 2016)

Model-driven synthesis of formally precise, stylized software architectures. - Hamid Bagheri; Kevin J. Sullivan (Formal Aspects Comput., 2016)

Is My Software Consistent with the Real World? - Jian Xiang; John C. Knight; Kevin J. Sullivan (HASE, 2017)

Towards designing effective data persistence through tradeoff space analysis. - Chong Tang 001; Hamid Bagheri; Sarun Paisarnsrisomsuk; Kevin J. Sullivan (ICSE (Companion Volume), 2017)

Interpreted Formalisms for Configurations. - Chong Tang 001; Kevin J. Sullivan; Jian Xiang; Trent Weiss; Baishakhi Ray (CoRR, 2017)

Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping. - Hamid Bagheri; Chong Tang 001; Kevin J. Sullivan (IEEE Trans. Software Eng., 2017)

Searching for high-performing software configurations with metaheuristic algorithms. - Chong Tang 001; Kevin J. Sullivan; Baishakhi Ray (ICSE (Companion Volume), 2018)

ConEx: Efficient Exploration of Big-Data System Configurations for Better Performance. - Rahul Krishna; Chong Tang 001; Kevin J. Sullivan; Baishakhi Ray (IEEE Trans. Software Eng., 2022)