default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKevin J. Sullivan
Person information
- affiliation: University of Virginia, Charlottesville, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j16]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): 893-909 (2022)
2010 – 2019
- 2019
- [i2]Rahul Krishna, Chong Tang, Kevin J. Sullivan, Baishakhi Ray:
ConEx: Efficient Exploration of Big-Data System Configurations for Better Performance. CoRR abs/1910.09644 (2019) - 2018
- [c72]Chong Tang, Kevin J. Sullivan, Baishakhi Ray:
Searching for high-performing software configurations with metaheuristic algorithms. ICSE (Companion Volume) 2018: 354-355 - 2017
- [j15]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): 145-163 (2017) - [c71]Jian Xiang, John C. Knight, Kevin J. Sullivan:
Is My Software Consistent with the Real World? HASE 2017: 1-4 - [c70]Chong Tang, Hamid Bagheri, Sarun Paisarnsrisomsuk, Kevin J. Sullivan:
Towards designing effective data persistence through tradeoff space analysis. ICSE (Companion Volume) 2017: 353-355 - [i1]Chong Tang, Kevin J. Sullivan, Jian Xiang, Trent Weiss, Baishakhi Ray:
Interpreted Formalisms for Configurations. CoRR abs/1712.04982 (2017) - 2016
- [j14]Hamid Bagheri, Kevin J. Sullivan:
Model-driven synthesis of formally precise, stylized software architectures. Formal Aspects Comput. 28(3): 441-467 (2016) - [c69]Jian Xiang, John C. Knight, Kevin J. Sullivan:
Synthesis of Logic Interpretations. HASE 2016: 114-121 - 2015
- [c68]Jian Xiang, John C. Knight, Kevin J. Sullivan:
Real-World Types and Their Application. SAFECOMP 2015: 471-484 - 2014
- [c67]Hamid Bagheri, Chong Tang, Kevin J. Sullivan:
TradeMaker: automated dynamic analysis of synthesized tradespaces. ICSE 2014: 106-116 - [c66]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: 212-224 - [c65]Steven D. Fraser, Djenana Campara, Michael C. Fanning, Gary McGraw, Kevin J. Sullivan:
Privacy and security in a networked world. SPLASH (Companion Volume) 2014: 43-45 - 2013
- [c64]Hamid Bagheri, Kevin J. Sullivan:
Bottom-up model-driven development. ICSE 2013: 1221-1224 - 2012
- [j13]Yuanfang Cai, Kevin J. Sullivan:
A formal model for automated software modularity and evolvability analysis. ACM Trans. Softw. Eng. Methodol. 21(4): 21:1-21:29 (2012) - [c63]Hamid Bagheri, Kevin J. Sullivan:
Pol: specification-driven synthesis of architectural code frameworks for platform-based applications. GPCE 2012: 93-102 - [c62]Hamid Bagheri, Kevin J. Sullivan, Sang H. Son:
Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping. SEKE 2012: 688-693 - [e5]Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, Richard P. Gabriel:
Proceedings of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012. ACM 2012, ISBN 978-1-4503-1092-5 [contents] - [e4]Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, Richard P. Gabriel:
Companion Volume of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012. ACM 2012, ISBN 978-1-4503-1222-6 [contents] - 2011
- [c61]Hamid Bagheri, Kevin J. Sullivan:
A Formal Approach for Incorporating Architectural Tactics into the Software Architecture. SEKE 2011: 770-775 - 2010
- [j12]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): 5:1-5:42 (2010) - [c60]Hamid Bagheri, Kevin J. Sullivan:
Architecture as an Independent Variable for Aspect-Oriented Application Descriptions. ASM 2010: 395 - [c59]Hamid Bagheri, Yuanyuan Song, Kevin J. Sullivan:
Architectural style as an independent variable. ASE 2010: 159-162 - [c58]Hamid Bagheri, Kevin J. Sullivan:
Monarch: Model-Based Development of Software Architectures. MoDELS (2) 2010: 376-390 - [c57]Richard P. Gabriel, Kevin J. Sullivan:
Better science through art. OOPSLA 2010: 885-900 - [c56]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: 47-52 - [e3]Gruia-Catalin Roman, Kevin J. Sullivan:
Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. ACM 2010, ISBN 978-1-4503-0427-6 [contents]
2000 – 2009
- 2009
- [j11]Hridesh Rajan, Kevin J. Sullivan:
Unifying aspect- and object-oriented design. ACM Trans. Softw. Eng. Methodol. 19(1): 3:1-3:41 (2009) - [c55]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: 715-716 - [c54]Richard P. Gabriel, Kevin J. Sullivan:
Extravagaria V: photographing conferences (advanced). OOPSLA Companion 2009: 727-728 - [e2]Kevin J. Sullivan, Ana Moreira, Christa Schwanninger, Jeff Gray:
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009. ACM 2009, ISBN 978-1-60558-442-3 [contents] - 2008
- [c53]Yuanyuan Song, Devendra Rai, Kevin J. Sullivan:
Adaptation architectures cross levels. ULSSIS@ICSE 2008: 27-28 - [c52]Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J. Sullivan:
Automatic modularity conformance checking. ICSE 2008: 411-420 - [c51]Kevin J. Sullivan, Rick Kazman:
Second international workshop on ultra-large-scale software-intensive systems (ULSSIS 2008). ICSE Companion 2008: 1041-1042 - [c50]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: 797-800 - [c49]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: 839-842 - [c48]Richard P. Gabriel, Kevin J. Sullivan:
Extravagaria IV: photographing conferences. OOPSLA Companion 2008: 849-852 - [e1]Kevin J. Sullivan, Rick Kazman:
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, ULSSIS@ICSE 2008, Leipzig, Germany, May 10-11, 2008. ACM 2008, ISBN 978-1-60558-026-5 [contents] - 2007
- [c47]Kevin J. Sullivan:
First Workshop on the Economics of Software and Computation. ICSE Companion 2007: 125-126 - [c46]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: 140-141 - 2006
- [j10]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): 51-60 (2006) - [c45]Rick Kazman, Kevin J. Sullivan:
The 8th international workshop on economics-driven software engineering research. ICSE 2006: 1038 - [c44]Yuanfang Cai, Kevin J. Sullivan:
Modularity Analysis of Logical Design Models. ASE 2006: 91-102 - [c43]Richard P. Gabriel, Linda M. Northrop, Douglas C. Schmidt, Kevin J. Sullivan:
Ultra-large-scale systems. OOPSLA Companion 2006: 632-634 - [c42]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: 929-933 - [c41]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: 935-936 - 2005
- [j9]Yuanfang Cai, Kevin J. Sullivan:
A value-oriented theory of modularity in design. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-4 (2005) - [j8]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) - [c40]Hridesh Rajan, Kevin J. Sullivan:
Aspect language features for concern coverage profiling. AOSD 2005: 181-191 - [c39]Kevin J. Sullivan, Jeff Magee:
Science of design. ICSE 2005: 46 - [c38]Hridesh Rajan, Kevin J. Sullivan:
Classpects: unifying aspect- and object-oriented language design. ICSE 2005: 59-68 - [c37]Kevin J. Sullivan:
7th international workshop on economics-driven software engineering research. ICSE 2005: 684 - [c36]Yuanfang Cai, Kevin J. Sullivan:
Simon: modeling and analysis of design space structures. ASE 2005: 329-332 - [c35]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 - 2004
- [c34]Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson:
Software assurance by bounded exhaustive testing. ISSTA 2004: 133-142 - [c33]Jia Xu, Hridesh Rajan, Kevin J. Sullivan:
Understanding Aspects via Implicit Invocation. ASE 2004: 332-335 - 2003
- [c32]John C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan:
Towards a Rigorous Definition of Information System Survivability. DISCEX (1) 2003: 78-89 - [c31]David Coppit, Kevin J. Sullivan:
Sound Methods and Effective Tools for Engineering Modeling and Analysis. ICSE 2003: 198-209 - [c30]David Coppit, Robert R. Painter, Kevin J. Sullivan:
Shared Semantic Domains for Computational Reliability Engineering. ISSRE 2003: 169-180 - [c29]Hridesh Rajan, Kevin J. Sullivan:
Eos: instance-level aspects for integrated system design. ESEC / SIGSOFT FSE 2003: 291-306 - 2002
- [c28]Kevin J. Sullivan, Lin Gu, Yuanfang Cai:
Non-modularity in aspect-oriented languages: integration as a crosscutting concern for AspectJ. AOSD 2002: 19-26 - [c27]Mikio Aoyama, Sanjiva Weerawarana, Hiroshi Maruyama, Clemens A. Szyperski, Kevin J. Sullivan, Doug Lea:
Web services engineering: promises and challenges. ICSE 2002: 647-648 - [c26]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
- [j7]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) - [c25]Kevin J. Sullivan, Avneesh Saxena:
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry. ICSE 2001: 485-492 - [c24]Kevin J. Sullivan, Mary Shaw, Barry W. Boehm, David Notkin, Warren Harrison:
Third International Workshop on Economics-Driven Software Engineering Research. ICSE 2001: 770 - [c23]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 - 2000
- [j6]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): 49-59 (2000) - [c22]David Coppit, Kevin J. Sullivan:
Multiple mass-market applications as components. ICSE 2000: 273-282 - [c21]Barry W. Boehm, Kevin J. Sullivan:
Software economics: a roadmap. ICSE - Future of SE Track 2000: 319-343 - [c20]David Coppit, Kevin J. Sullivan:
Galileo: a tool built from mass-market applications. ICSE 2000: 750-753 - [c19]Kevin J. Sullivan:
The 2nd International Workshop on Economics-Driven Software Engineering Research. ICSE 2000: 811 - [c18]David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan:
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. ISSRE 2000: 270-282 - [c17]Daniel Jackson, Kevin J. Sullivan:
COM revisited: tool-assisted modelling of an architectural framework. SIGSOFT FSE 2000: 149-158
1990 – 1999
- 1999
- [j5]Barry W. Boehm, Kevin J. Sullivan:
Software economics: status and prospects. Inf. Softw. Technol. 41(14): 937-946 (1999) - [j4]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) - [c16]Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit:
The Galileo Fault Tree Analysis Tool. FTCS 1999: 232-235 - [c15]Kevin J. Sullivan, John C. Knight, Xing Du, Steve Geist:
Information Survivability Control Systems. ICSE 1999: 184-192 - [c14]Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro:
First Workshop on Economics-Driven Software Engineering Research. ICSE 1999: 699-700 - [c13]Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit:
Developing a high-quality software tool for fault tree analysis. ISSRE 1999: 222-231 - [c12]Michael A. Copenhafer, Kevin J. Sullivan:
Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties. ASE 1999: 7-14 - 1998
- [c11]David Coppit, Kevin J. Sullivan:
Formal Specification in Collaborative Design of Critical Software Tools. HASE 1998: 13-20 - [c10]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 - [c9]Kevin J. Sullivan, Steve Geist, Paul Shaw:
Mediators in infrastructure survivability enhancement. ISAW@FSE 1998: 141-144 - 1997
- [c8]Kevin J. Sullivan, John Socha, Mark Marchukov:
Using Formal Methods to Reason about Architectural Standards. ICSE 1997: 503-513 - [c7]Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit:
Package-Oriented Programming of Engineering Tools. ICSE 1997: 616-617 - 1996
- [j3]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) - [c6]Kevin J. Sullivan, John C. Knight:
Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse. ICSE 1996: 220-229 - [c5]Kevin J. Sullivan:
Rapid Development of Simple, Custom Program Analysis Tools. WPC 1996: 40-44 - [c4]Kevin J. Sullivan:
Software design: the options approach. ISAW/Viewpoints@FSE 1996: 15-18 - 1995
- [c3]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
- [c2]David Notkin, David Garlan, William G. Griswold, Kevin J. Sullivan:
Adding Implicit Invocation to Languages: Three Approaches. ISOTAS 1993: 489-510 - 1992
- [j2]Kevin J. Sullivan, David Notkin:
Reconciling Environment Integration and Software Evolution. ACM Trans. Softw. Eng. Methodol. 1(3): 229-268 (1992) - 1990
- [j1]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) - [c1]Kevin J. Sullivan, David Notkin:
Reconciling environment integration and component independence. SDE 1990: 22-33
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
