Skip to content

Kevin J. Sullivan

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

47

Venues

8

Active years

1996–2018

Best venue rank

A*

Where they publish

Papers

47 indexed papers, newest first.

YearVenueTitleAuthors
2018ICSESearching for high-performing software configurations with metaheuristic algorithms.Chong Tang, Kevin J. Sullivan, Baishakhi Ray
2017ICSETowards designing effective data persistence through tradeoff space analysis.Chong Tang, Hamid Bagheri, Sarun Paisarnsrisomsuk, Kevin J. Sullivan
2015SAFECOMPReal-World Types and Their Application.Jian Xiang, John C. Knight, Kevin J. Sullivan
2014ICSETradeMaker: automated dynamic analysis of synthesized tradespaces.Hamid Bagheri, Chong Tang, Kevin J. Sullivan
2014ICSEThe 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
2014OOPSLAPrivacy and security in a networked world.Steven D. Fraser, Djenana Campara, Michael C. Fanning, Gary McGraw, Kevin J. Sullivan
2013ICSEBottom-up model-driven development.Hamid Bagheri, Kevin J. Sullivan
2012GPCEPol: specification-driven synthesis of architectural code frameworks for platform-based applications.Hamid Bagheri, Kevin J. Sullivan
2012SEKESpacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping.Hamid Bagheri, Kevin J. Sullivan, Sang H. Son
2011SEKEA Formal Approach for Incorporating Architectural Tactics into the Software Architecture.Hamid Bagheri, Kevin J. Sullivan
2010MODELSMonarch: Model-Based Development of Software Architectures.Hamid Bagheri, Kevin J. Sullivan
2010OOPSLABetter science through art.Richard P. Gabriel, Kevin J. Sullivan
2009OOPSLAExtravagaria V: photographing conferences (advanced).Richard P. Gabriel, Kevin J. Sullivan
2009OOPSLA3rd workshop on assessment of contemporary modularization techniques (ACoM 2009).Phil Greenwood, Alessandro Garcia, Yuanfang Cai, Cludio Sant'Anna, Kevin J. Sullivan, Thomas Cottenier, James Noble
2008ICSEAutomatic modularity conformance checking.Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J. Sullivan
2008ICSEAdaptation architectures cross levels.Yuanyuan Song, Devendra Rai, Kevin J. Sullivan
2008ICSESecond international workshop on ultra-large-scale software-intensive systems (ULSSIS 2008).Kevin J. Sullivan, Rick Kazman
2008OOPSLACollaboration and communication: growing and sustaining ultra large scale (ULS) systems.Steven Fraser, Ricardo Lpez, Pradeep Kathail, Douglas C. Schmidt, Mary Shaw, Kevin J. Sullivan, Dave A. Thomas
2008OOPSLAExtravagaria IV: photographing conferences.Richard P. Gabriel, Kevin J. Sullivan
2008OOPSLA2nd workshop on assessment of contemporary modularization techniques (ACoM 2008).Phil Greenwood, Alessandro Garcia, Elisa L. A. Baniassad, Kevin J. Sullivan, Yuanfang Cai, Alan MacCormack
2007ICSEWorkshop on Software Technologies for Ultra-Large Scale Systems.Richard P. Gabriel, Rick Kazman, Linda M. Northrop, Douglas C. Schmidt, Kevin J. Sullivan
2007ICSEFirst Workshop on the Economics of Software and Computation.Kevin J. Sullivan
2006ICSEThe 8th international workshop on economics-driven software engineering research.Rick Kazman, Kevin J. Sullivan
2006OOPSLAThe ultra challenge: software systems beyond big.Steven Fraser, Gregor Kiczales, Ricardo Lpez, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, Kevin J. Sullivan
2006OOPSLAUltra-large-scale systems.Richard P. Gabriel, Linda M. Northrop, Douglas C. Schmidt, Kevin J. Sullivan
2006OOPSLAAspects and/versus modularity the grand debate.Richard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin J. Sullivan
2005ICSEClasspects: unifying aspect- and object-oriented language design.Hridesh Rajan, Kevin J. Sullivan
2005ICSE7th international workshop on economics-driven software engineering research.Kevin J. Sullivan
2005ICSEScience of design.Kevin J. Sullivan, Jeff Magee
2004ISSTASoftware assurance by bounded exhaustive testing.Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson
2003ICSESound Methods and Effective Tools for Engineering Modeling and Analysis.David Coppit, Kevin J. Sullivan
2003ISSREShared Semantic Domains for Computational Reliability Engineering.David Coppit, Robert R. Painter, Kevin J. Sullivan
2002ICSEWeb services engineering: promises and challenges.Mikio Aoyama, Sanjiva Weerawarana, Hiroshi Maruyama, Clemens A. Szyperski, Kevin J. Sullivan, Doug Lea
2002ICSESoftware engineering economics: background, current practices, and future directions.M. Hakan Erdogmus, Barry W. Boehm, Warren Harrison, Donald J. Reifer, Kevin J. Sullivan
2001ICSEA Web-Oriented Architectural Aspect for the Emerging Computational Tapestry.Kevin J. Sullivan, Avneesh Saxena
2001ICSEThird International Workshop on Economics-Driven Software Engineering Research.Kevin J. Sullivan, Mary Shaw, Barry W. Boehm, David Notkin, Warren Harrison
2000ICSESoftware economics: a roadmap.Barry W. Boehm, Kevin J. Sullivan
2000ICSEMultiple mass-market applications as components.David Coppit, Kevin J. Sullivan
2000ICSEGalileo: a tool built from mass-market applications.David Coppit, Kevin J. Sullivan
2000ICSEThe 2nd International Workshop on Economics-Driven Software Engineering Research.Kevin J. Sullivan
2000ISSREFormal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees.David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan
1999ICSEInformation Survivability Control Systems.Kevin J. Sullivan, John C. Knight, Xing Du, Steve Geist
1999ICSEFirst Workshop on Economics-Driven Software Engineering Research.Kevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro
1999ISSREDeveloping a high-quality software tool for fault tree analysis.Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit
1997ICSEPackage-Oriented Programming of Engineering Tools.Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit
1997ICSEUsing Formal Methods to Reason about Architectural Standards.Kevin J. Sullivan, John Socha, Mark Marchukov
1996ICSEExperience Assessing an Architectural Approach to Large-Scale Systematic Reuse.Kevin J. Sullivan, John C. Knight