Kevin J. Sullivan

95 papers A* 25A 5B 2C 2Journal 19Unranked 37

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