Kevin J. Sullivan

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 9

Top Topics

Dynamic Analysis

Metaheuristic Algorithms

Top Venues

ICSE (Companion Volume)

IEEE Trans. Software Eng.

Publications

Rahul Krishna, Chong Tang, Kevin J. Sullivan, Baishakhi Ray
ConEx: Efficient Exploration of Big-Data System Configurations for Better Performance. IEEE Trans. Software Eng. 48 (3) (2022)
Rahul Krishna, Chong Tang, Kevin J. Sullivan, Baishakhi Ray
ConEx: Efficient Exploration of Big-Data System Configurations for Better Performance. CoRR (2019)
Chong Tang, Kevin J. Sullivan, Baishakhi Ray
Searching for high-performing software configurations with metaheuristic algorithms. ICSE (Companion Volume) (2018)
Chong Tang, Hamid Bagheri, Sarun Paisarnsrisomsuk, Kevin J. Sullivan
Towards designing effective data persistence through tradeoff space analysis. ICSE (Companion Volume) (2017)
Hamid Bagheri, Chong Tang, Kevin J. Sullivan
Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational Mapping. IEEE Trans. Software Eng. 43 (2) (2017)
Chong Tang, Kevin J. Sullivan, Jian Xiang, Trent Weiss, Baishakhi Ray
Interpreted Formalisms for Configurations. CoRR (2017)
Jian Xiang, John C. Knight, Kevin J. Sullivan
Is My Software Consistent with the Real World? HASE (2017)
Jian Xiang, John C. Knight, Kevin J. Sullivan
Synthesis of Logic Interpretations. HASE (2016)
Hamid Bagheri, Kevin J. Sullivan
Model-driven synthesis of formally precise, stylized software architectures. Formal Aspects Comput. 28 (3) (2016)
Jian Xiang, John C. Knight, Kevin J. Sullivan
Real-World Types and Their Application. SAFECOMP (2015)
Steven D. Fraser, Djenana Campara, Michael C. Fanning, Gary McGraw, Kevin J. Sullivan
Privacy and security in a networked world. SPLASH (Companion Volume) (2014)
Balakrishnan Dasarathy, Kevin J. Sullivan, Douglas C. Schmidt, Douglas H. Fisher, Adam A. Porter
The past, present, and future of MOOCs and their relevance to software engineering. FOSE (2014)
Hamid Bagheri, Chong Tang, Kevin J. Sullivan
TradeMaker: automated dynamic analysis of synthesized tradespaces. ICSE (2014)
Hamid Bagheri, Kevin J. Sullivan
Bottom-up model-driven development. ICSE (2013)
Hamid Bagheri, Kevin J. Sullivan, Sang H. Son
Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping. SEKE (2012)
Hamid Bagheri, Kevin J. Sullivan
Pol: specification-driven synthesis of architectural code frameworks for platform-based applications. GPCE (2012)
Yuanfang Cai, Kevin J. Sullivan
A formal model for automated software modularity and evolvability analysis. ACM Trans. Softw. Eng. Methodol. 21 (4) (2012)
Hamid Bagheri, Kevin J. Sullivan
A Formal Approach for Incorporating Architectural Tactics into the Software Architecture. SEKE (2011)
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, Kevin J. Sullivan, Nico Zazworka
Managing technical debt in software-reliant systems. FoSER (2010)
Hamid Bagheri, Kevin J. Sullivan
Monarch: Model-Based Development of Software Architectures. MoDELS (2) (2010)
Hamid Bagheri, Yuanyuan Song, Kevin J. Sullivan
Architectural style as an independent variable. ASE (2010)
Hamid Bagheri, Kevin J. Sullivan
Architecture as an Independent Variable for Aspect-Oriented Application Descriptions. ASM (2010)
Richard P. Gabriel, Kevin J. Sullivan
Better science through art. OOPSLA (2010)
Kevin J. Sullivan, William G. Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari
Modular aspect-oriented design with XPIs. ACM Trans. Softw. Eng. Methodol. 20 (2) (2010)
Hridesh Rajan, Kevin J. Sullivan
Unifying aspect- and object-oriented design. ACM Trans. Softw. Eng. Methodol. 19 (1) (2009)
Phil Greenwood, Alessandro Garcia, Yuanfang Cai, Cláudio Sant'Anna, Kevin J. Sullivan, Thomas Cottenier, James Noble
3rd workshop on assessment of contemporary modularization techniques (ACoM 2009). OOPSLA Companion (2009)
Richard P. Gabriel, Kevin J. Sullivan
Extravagaria V: photographing conferences (advanced). OOPSLA Companion (2009)
Richard P. Gabriel, Kevin J. Sullivan
Extravagaria IV: photographing conferences. OOPSLA Companion (2008)
Yuanyuan Song, Devendra Rai, Kevin J. Sullivan
Adaptation architectures cross levels. ULSSIS@ICSE (2008)
Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J. Sullivan
Automatic modularity conformance checking. ICSE (2008)
Steven Fraser, Ricardo López, Pradeep Kathail, Douglas C. Schmidt, Mary Shaw, Kevin J. Sullivan, Dave A. Thomas
Collaboration and communication: growing and sustaining ultra large scale (ULS) systems. OOPSLA Companion (2008)
Kevin J. Sullivan, Rick Kazman
Second international workshop on ultra-large-scale software-intensive systems (ULSSIS 2008). ICSE Companion (2008)
Phil Greenwood, Alessandro Garcia, Elisa L. A. Baniassad, Kevin J. Sullivan, Yuanfang Cai, Alan MacCormack
2nd workshop on assessment of contemporary modularization techniques (ACoM 2008). OOPSLA Companion (2008)
Kevin J. Sullivan
First Workshop on the Economics of Software and Computation. ICSE Companion (2007)
Richard P. Gabriel, Rick Kazman, Linda M. Northrop, Douglas C. Schmidt, Kevin J. Sullivan
Workshop on Software Technologies for Ultra-Large Scale Systems. ICSE Companion (2007)
Richard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin J. Sullivan
Aspects and/versus modularity the grand debate. OOPSLA Companion (2006)
Rick Kazman, Kevin J. Sullivan
The 8th international workshop on economics-driven software engineering research. ICSE (2006)
William G. Griswold, Kevin J. Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan
Modular Software Design with Crosscutting Interfaces. IEEE Softw. 23 (1) (2006)
Richard P. Gabriel, Linda M. Northrop, Douglas C. Schmidt, Kevin J. Sullivan
Ultra-large-scale systems. OOPSLA Companion (2006)
Yuanfang Cai, Kevin J. Sullivan
Modularity Analysis of Logical Design Models. ASE (2006)
Steven Fraser, Gregor Kiczales, Ricardo López, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, Kevin J. Sullivan
The ultra challenge: software systems beyond big. OOPSLA Companion (2006)
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)
David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan
Software Assurance by Bounded Exhaustive Testing. IEEE Trans. Software Eng. 31 (4) (2005)
Yuanfang Cai, Kevin J. Sullivan
Simon: modeling and analysis of design space structures. ASE (2005)
Yuanfang Cai, Kevin J. Sullivan
A value-oriented theory of modularity in design. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Hridesh Rajan, Kevin J. Sullivan
Aspect language features for concern coverage profiling. AOSD (2005)
Kevin J. Sullivan, Jeff Magee
Science of design. ICSE (2005)
Kevin J. Sullivan
7th international workshop on economics-driven software engineering research. ICSE (2005)
Hridesh Rajan, Kevin J. Sullivan
Classpects: unifying aspect- and object-oriented language design. ICSE (2005)
Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson
Software assurance by bounded exhaustive testing. ISSTA (2004)
Jia Xu, Hridesh Rajan, Kevin J. Sullivan
Understanding Aspects via Implicit Invocation. ASE (2004)
John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan
Towards a Rigorous Definition of Information System Survivability. DISCEX (1) (2003)
David Coppit, Robert R. Painter, Kevin J. Sullivan
Shared Semantic Domains for Computational Reliability Engineering. ISSRE (2003)
David Coppit, Kevin J. Sullivan
Sound Methods and Effective Tools for Engineering Modeling and Analysis. ICSE (2003)
Hridesh Rajan, Kevin J. Sullivan
: instance-level aspects for integrated system design. ESEC / SIGSOFT FSE (2003)
Kevin J. Sullivan, Lin Gu, Yuanfang Cai
. AOSD (2002)
Mikio Aoyama, Sanjiva Weerawarana, Hiroshi Maruyama, Clemens A. Szyperski, Kevin J. Sullivan, Doug Lea
Web services engineering: promises and challenges. ICSE (2002)
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)
Kevin J. Sullivan, Mary Shaw, Barry W. Boehm, David Notkin, Warren Harrison
Third International Workshop on Economics-Driven Software Engineering Research. ICSE (2001)
Kevin J. Sullivan, William G. Griswold, Yuanfang Cai, Ben Hallen
The structure and value of modularity in software design. ESEC / SIGSOFT FSE (2001)
Gail C. Murphy, David Notkin, Kevin J. Sullivan
Software Reflexion Models: Bridging the Gap between Design and Implementation. IEEE Trans. Software Eng. 27 (4) (2001)
Kevin J. Sullivan, Avneesh Saxena
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry. ICSE (2001)
David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. ISSRE (2000)
David Coppit, Kevin J. Sullivan
Multiple mass-market applications as components. ICSE (2000)
Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit
Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Trans. Reliab. 49 (1) (2000)
Barry W. Boehm, Kevin J. Sullivan
Software economics: a roadmap. ICSE - Future of SE Track (2000)
Daniel Jackson, Kevin J. Sullivan
COM revisited: tool-assisted modelling of an architectural framework. SIGSOFT FSE (2000)
Kevin J. Sullivan
The 2nd International Workshop on Economics-Driven Software Engineering Research. ICSE (2000)
David Coppit, Kevin J. Sullivan
Galileo: a tool built from mass-market applications. ICSE (2000)
Barry W. Boehm, Kevin J. Sullivan
Software economics: status and prospects. Inf. Softw. Technol. 41 (14) (1999)
Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit
The Galileo Fault Tree Analysis Tool. FTCS (1999)
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) (1999)
Kevin J. Sullivan, John C. Knight, Xing Du, Steve Geist
Information Survivability Control Systems. ICSE (1999)
Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro
First Workshop on Economics-Driven Software Engineering Research. ICSE (1999)
Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit
Developing a high-quality software tool for fault tree analysis. ISSRE (1999)
Michael A. Copenhafer, Kevin J. Sullivan
Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties. ASE (1999)
Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. HASE (1998)
Kevin J. Sullivan, Steve Geist, Paul Shaw
Mediators in infrastructure survivability enhancement. ISAW@FSE (1998)
David Coppit, Kevin J. Sullivan
Formal Specification in Collaborative Design of Critical Software Tools. HASE (1998)
Kevin J. Sullivan, John Socha, Mark Marchukov
Using Formal Methods to Reason about Architectural Standards. ICSE (1997)
Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit
Package-Oriented Programming of Engineering Tools. ICSE (1997)
Kevin J. Sullivan
Rapid Development of Simple, Custom Program Analysis Tools. WPC (1996)
Kevin J. Sullivan, John C. Knight
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. ICSE (1996)
Kevin J. Sullivan
Software design: the options approach. ISAW/Viewpoints@FSE (1996)
Kevin J. Sullivan, Ira Kalet, David Notkin
Evaluating The Mediator Method: Prism as a Case Study. IEEE Trans. Software Eng. 22 (8) (1996)
Gail C. Murphy, David Notkin, Kevin J. Sullivan
Software Reflexion Models: Bridging the Gap Between Source and High-Level Models. SIGSOFT FSE (1995)
David Notkin, David Garlan, William G. Griswold, Kevin J. Sullivan
Adding Implicit Invocation to Languages: Three Approaches. ISOTAS (1993)
Kevin J. Sullivan, David Notkin
Reconciling Environment Integration and Software Evolution. ACM Trans. Softw. Eng. Methodol. 1 (3) (1992)
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) (1990)
Kevin J. Sullivan, David Notkin
Reconciling environment integration and component independence. SDE (1990)