Kevin J. Sullivan - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Kevin J. Sullivan' as author, editor, or advisor:

Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault TreesDavid Coppit, Kevin J. Sullivan, Joanne Bechta Dugan. issre 2000: 270-282 [doi]
The 2nd International Workshop on Economics-Driven Software Engineering ResearchKevin J. Sullivan. ICSE 2000: 811 [doi]
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010Gruia-Catalin Roman, Kevin J. Sullivan, editors, ACM, 2010.
Towards a Rigorous Definition of Information System SurvivabilityJohn C. Knight, Elisabeth A. Strunk, Kevin J. Sullivan. discex 2003: 78-89 [doi]
Information Survivability Control SystemsKevin J. Sullivan, John C. Knight, Xing Du, Steve Geist. ICSE 1999: 184-192 [doi]
Architecture as an Independent Variable for Aspect-Oriented Application DescriptionsHamid Bagheri, Kevin J. Sullivan. asm 2010: 395 [doi]
Automated Synthesis and Dynamic Analysis of Tradeoff Spaces for Object-Relational MappingHamid Bagheri, Chong Tang 0001, Kevin J. Sullivan. TSE, 43(2):145-163, 2017. [doi]
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009Kevin J. Sullivan, editor, ACM, 2009.
Towards designing effective data persistence through tradeoff space analysisChong Tang 0001, Hamid Bagheri, Sarun Paisarnsrisomsuk, Kevin J. Sullivan. ICSE 2017: 353-355 [doi]
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft s Component Object ModelKevin J. Sullivan, Mark Marchukov, John Socha. TSE, 25(4):584-599, 1999. [doi]
Rapid Development of Simple, Custom Program Analysis ToolsKevin J. Sullivan. IWPC 1996: 40-44 [doi]
Adaptation architectures cross levelsYuanyuan Song, Devendra Rai, Kevin J. Sullivan. ICSE 2008: 27-28 [doi]
Bottom-up model-driven developmentHamid Bagheri, Kevin J. Sullivan. ICSE 2013: 1221-1224 [doi]
Extravagaria V: photographing conferences (advanced)Richard P. Gabriel, Kevin J. Sullivan. OOPSLA 2009: 727-728 [doi]
Reconciling Environment Integration and Software EvolutionKevin J. Sullivan, David Notkin. TOSEM, 1(3):229-268, 1992. [doi]
Developing a low-cost high-quality software tool for dynamic fault-tree analysisJoanne Bechta Dugan, Kevin J. Sullivan, David Coppit. tr, 49(1):49-59, 2000. [doi]
Sound Methods and Effective Tools for Engineering Modeling and AnalysisDavid Coppit, Kevin J. Sullivan. ICSE 2003: 198-209 [doi]
Monarch: Model-Based Development of Software ArchitecturesHamid Bagheri, Kevin J. Sullivan. MoDELS 2010: 376-390 [doi]
TradeMaker: automated dynamic analysis of synthesized tradespacesHamid Bagheri, Chong Tang, Kevin J. Sullivan. ICSE 2014: 106-116 [doi]
Developing a high-quality software tool for fault tree analysisJoanne Bechta Dugan, Kevin J. Sullivan, David Coppit. issre 1999: 222-231 [doi]
The structure and value of modularity in software designKevin J. Sullivan, William G. Griswold, Yuanfang Cai, Ben Hallen. ESEC/FSE 2001: 99-108 [doi]
The past, present, and future of MOOCs and their relevance to software engineeringBalakrishnan Dasarathy, Kevin J. Sullivan, Douglas C. Schmidt, Douglas H. Fisher, Adam A. Porter. ICSE 2014: 212-224 [doi]
Software Assurance by Bounded Exhaustive TestingDavid Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan. TSE, 31(4):328-339, 2005. [doi]
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems, ULSSIS@ICSE 2008, Leipzig, Germany, May 10-11, 2008Kevin J. Sullivan, Rick Kazman, editors, ACM, 2008. [doi]
Adding Implicit Invocation to Languages: Three ApproachesDavid Notkin, David Garlan, William G. Griswold, Kevin J. Sullivan. isotas 1993: 489-510
Better science through artRichard P. Gabriel, Kevin J. Sullivan. OOPSLA 2010: 885-900 [doi]
Information hiding interfaces for aspect-oriented designKevin J. Sullivan, William G. Griswold, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari, Hridesh Rajan. ESEC/FSE 2005: 166-175 [doi]
Pol: specification-driven synthesis of architectural code frameworks for platform-based applicationsHamid Bagheri, Kevin J. Sullivan. GPCE 2012: 93-102 [doi]
Software design: the options approachKevin J. Sullivan. FSE 1996: 15-18 [doi]
ConEx: Efficient Exploration of Big-Data System Configurations for Better PerformanceRahul Krishna, Chong Tang 0001, Kevin J. Sullivan, Baishakhi Ray. TSE, 48(3):893-909, 2022. [doi]
Software Reflexion Models: Bridging the Gap between Design and ImplementationGail C. Murphy, David Notkin, Kevin J. Sullivan. TSE, 27(4):364-380, 2001. [doi]
Extravagaria IV: photographing conferencesRichard P. Gabriel, Kevin J. Sullivan. OOPSLA 2008: 849-852 [doi]
3rd workshop on assessment of contemporary modularization techniques (ACoM 2009)Phil Greenwood, Alessandro Garcia, Yuanfang Cai, ClÃ¡udio Sant Anna, Kevin J. Sullivan, Thomas Cottenier, James Noble. OOPSLA 2009: 715-716 [doi]
Understanding Aspects via Implicit InvocationJia Xu, Hridesh Rajan, Kevin J. Sullivan. jckbse 2004: 332-335 [doi]
Third International Workshop on Economics-Driven Software Engineering ResearchKevin J. Sullivan, Mary M. Shaw, Barry W. Boehm, David Notkin, Warren Harrison. ICSE 2001: 770-770
A value-oriented theory of modularity in designYuanfang Cai, Kevin J. Sullivan. sigsoft, 30(4):1-4, 2005. [doi]
Non-modularity in aspect-oriented languages: integration as a crosscutting concern for ::::AspectJ::::Kevin J. Sullivan, Lin Gu, Yuanfang Cai. AOSD 2002: 19-26 [doi]
Model-driven synthesis of formally precise, stylized software architecturesHamid Bagheri, Kevin J. Sullivan. fac, 28(3):441-467, 2016. [doi]
Real-World Types and Their ApplicationJian Xiang, John C. Knight, Kevin J. Sullivan. safecomp 2015: 471-484 [doi]
Formal Specification in Collaborative Design of Critical Software ToolsDavid Coppit, Kevin J. Sullivan. hase 1998: 13-20 [doi]
Software engineering economics: background, current practices, and future directionsM. Hakan Erdogmus, Barry W. Boehm, Warren Harrison, Donald J. Reifer, Kevin J. Sullivan. ICSE 2002: 683-684 [doi]
Automatic modularity conformance checkingSunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J. Sullivan. ICSE 2008: 411-420 [doi]
Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational MappingHamid Bagheri, Kevin J. Sullivan, Sang H. Son. seke 2012: 688-693
Using Formal Methods to Reason about Architectural StandardsKevin J. Sullivan, John Socha, Mark Marchukov. ICSE 1997: 503-513 [doi]
Galileo: a tool built from mass-market applicationsDavid Coppit, Kevin J. Sullivan. ICSE 2000: 750-753 [doi]
Classpects: unifying aspect- and object-oriented language designHridesh Rajan, Kevin J. Sullivan. ICSE 2005: 59-68 [doi]
Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component PropertiesMichael A. Copenhafer, Kevin J. Sullivan. ASE 1999: 7-14 [doi]
Architectural style as an independent variableHamid Bagheri, Yuanyuan Song, Kevin J. Sullivan. ASE 2010: 159-162 [doi]
Privacy and security in a networked worldSteven D. Fraser, Djenana Campara, Michael C. Fanning, Gary McGraw, Kevin J. Sullivan. OOPSLA 2014: 43-45 [doi]
A Formal Approach for Incorporating Architectural Tactics into the Software ArchitectureHamid Bagheri, Kevin J. Sullivan. seke 2011: 770-775
Aspect language features for concern coverage profilingHridesh Rajan, Kevin J. Sullivan. AOSD 2005: 181-191 [doi]
Package-Oriented Programming of Engineering ToolsKevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit. ICSE 1997: 616-617 [doi]
A Web-Oriented Architectural Aspect for the Emerging Computational TapestryKevin J. Sullivan, Avneesh Saxena. ICSE 2001: 485-492
Reconciling environment integration and component independenceKevin J. Sullivan, David Notkin. SDE 1990: 22-33 [doi]
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer SystemsRagavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan. hase 1998: 21-28 [doi]
COM revisited: tool-assisted modelling of an architectural frameworkDaniel Jackson, Kevin J. Sullivan. ESEC/FSE 2000: 149-158 [doi]
Mediators in infrastructure survivability enhancementKevin J. Sullivan, Steve Geist, Paul Shaw. FSE 1998: 141-144 [doi]
Modular aspect-oriented design with XPIsKevin J. Sullivan, William G. Griswold, Hridesh Rajan, Yuanyuan Song, Yuanfang Cai, Macneil Shonle, Nishit Tewari. TOSEM, 20(2), 2010. [doi]
Science of designKevin J. Sullivan, Jeff Magee. ICSE 2005: 46 [doi]
Experience Assessing an Architectural Approach to Large-Scale Systematic ReuseKevin J. Sullivan, John C. Knight. ICSE 1996: 220-229 [doi]
Software Reflexion Models: Bridging the Gap Between Source and High-Level ModelsGail C. Murphy, David Notkin, Kevin J. Sullivan. ESEC/FSE 1995: 18-28 [doi]
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, 2010Gruia-Catalin Roman, Kevin J. Sullivan, editors, ACM, 2010.
Is My Software Consistent with the Real World?Jian Xiang, John C. Knight, Kevin J. Sullivan. hase 2017: 1-4 [doi]
Web services engineering: promises and challengesMikio Aoyama, Sanjiva Weerawarana, Hiroshi Maruyama, Clemens A. Szyperski, Kevin J. Sullivan, Doug Lea. ICSE 2002: 647-648 [doi]
Companion Volume of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, Richard P. Gabriel, editors, ACM, 2012. [doi]
Modular Software Design with Crosscutting InterfacesWilliam G. Griswold, Kevin J. Sullivan, Yuanyuan Song, Macneil Shonle, Nishit Tewari, Yuanfang Cai, Hridesh Rajan. IEEE Software, 23(1):51-60, 2006. [doi]
Software economics: status and prospectsBarry W. Boehm, Kevin J. Sullivan. INFSOF, 41(14):937-946, 1999. [doi]
Proceedings of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, Richard P. Gabriel, editors, ACM, 2012. [doi]
First Workshop on Economics-Driven Software Engineering ResearchKevin J. Sullivan, David Notkin, Alfonso Fuggetta, John M. Favaro. ICSE 1999: 699-700 [doi]
A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler SystemSoklei Leong, Stephen M. Jodis, Kevin J. Sullivan, Oliver Jiang, Paul A. D. de Maine. TSE, 16(6):639-646, 1990. [doi]
Searching for high-performing software configurations with metaheuristic algorithmsChong Tang 0001, Kevin J. Sullivan, Baishakhi Ray. ICSE 2018: 354-355 [doi]
Multiple mass-market applications as componentsDavid Coppit, Kevin J. Sullivan. ICSE 2000: 273-282 [doi]
Evaluating The Mediator Method: Prism as a Case StudyKevin J. Sullivan, Ira Kalet, David Notkin. TSE, 22(8):563-579, 1996. [doi]
Unifying aspect- and object-oriented designHridesh Rajan, Kevin J. Sullivan. TOSEM, 19(1), 2009. [doi]
Simon: modeling and analysis of design space structuresYuanfang Cai, Kevin J. Sullivan. ASE 2005: 329-332 [doi]
Modularity Analysis of Logical Design ModelsYuanfang Cai, Kevin J. Sullivan. ASE 2006: 91-102 [doi]
Shared Semantic Domains for Computational Reliability EngineeringDavid Coppit, Robert R. Painter, Kevin J. Sullivan. issre 2003: 169-180 [doi]
Software assurance by bounded exhaustive testingKevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson. ISSTA 2004: 133-142 [doi]
Managing technical debt in software-reliant systemsNanette 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. FSE 2010: 47-52 [doi]
The Galileo Fault Tree Analysis ToolKevin J. Sullivan, Joanne Bechta Dugan, David Coppit. ftcs 1999: 232-235 [doi]
A formal model for automated software modularity and evolvability analysisYuanfang Cai, Kevin J. Sullivan. TOSEM, 21(4):21, 2012. [doi]
::::Eos::::: instance-level aspects for integrated system designHridesh Rajan, Kevin J. Sullivan. ESEC/FSE 2003: 291-306 [doi]
Software economics: a roadmapBarry W. Boehm, Kevin J. Sullivan. ICSE 2000: 319-343 [doi]
Synthesis of Logic InterpretationsJian Xiang, John C. Knight, Kevin J. Sullivan. hase 2016: 114-121 [doi]
Panel: An Overview of Terascale ComputingEsther Filderman, Kevin Sullivan, Victor Hazlewood. lisa 2001:
Aspects and/versus modularity the grand debateRichard P. Gabriel, Guy L. Steele Jr., Friedrich Steimann, Jim Waldo, Gregor Kiczales, Kevin Sullivan. OOPSLA 2006: 935-936 [doi]
Proceedings of the 3rd Workshop on Software Engineering in Health Care, SEHC 2011, Waikiki, Honolulu, HI, USA, May 22-23, 2011Eleni Stroulia, Kevin Sullivan, editors, ACM, 2011. [doi]
The 8th international workshop on economics-driven software engineering researchRick Kazman, Kevin Sullivan. ICSE 2006: 1038 [doi]
Semantic Image Fuzzing of AI Perception SystemsTrey Woodlief, Sebastian G. Elbaum, Kevin Sullivan. ICSE 2022: 1958-1969 [doi]
Learning Circles: A Collaborative Technology-Mediated Peer-Teaching WorkshopKevin Sullivan, Kevin Marshall, Brendan Tangney. jiteiip, 14:63-83, 2015. [doi]
The ultra challenge: software systems beyond bigSteven Fraser, Gregor Kiczales, Ricardo Lopez, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, Kevin Sullivan. OOPSLA 2006: 929-933 [doi]
An IoT and Wearable Technology Hackathon for Promoting Careers in Computer ScienceJake Rowan Byrne, Katriona O'Sullivan, Kevin Sullivan. te, 60(1):50-58, 2017. [doi]
Introduction to Learning Health Systems MinitrackKevin Sullivan, Alon Y. Ben-Ari, Thomas A. Horan, William G. Chismar. hicss 2016: 3297 [doi]
Workshop on Software Technologies for Ultra-Large Scale SystemsRichard P. Gabriel, Rick Kazman, Linda M. Northrop, Douglas C. Schmidt, Kevin Sullivan. ICSE 2007: 140-141 [doi]
Applying machine learning to automated segmentation of head and neck tumour volumes and organs at risk on radiotherapy planning CT and MRI scansCarlton Chu, Jeffrey De Fauw, Nenad Tomasev, Bernardino Romera-Paredes, Cían Hughes, Joseph R. Ledsam, Trevor Back, Hugh Montgomery, Geraint Rees 0001, Rosalind Raine, Kevin Sullivan, Syed Ali Moinuddin, Derek D'Souza, Olaf Ronneberger, Ruheena Mendes, Julien Cornebise. f1000research, 5:2104, 2016. [doi]
Fuzzing Mobile Robot Environments for Fast Automated Crash DetectionTrey Woodlief, Sebastian Elbaum, Kevin Sullivan. icra 2021: 5417-5423 [doi]
An ultra-large-scale systems approach to national-scale health information systemsKevin Sullivan, William Knaus, Richard Marks. FSE 2010: 365-368 [doi]
Third international workshop on software engineering in healthcare: (SEHC 2011)Eleni Stroulia, Kevin Sullivan. ICSE 2011: 1206-1207 [doi]
Noninvasive functional MRI in alert monkeysKrishna Srihasam, Kevin Sullivan, Tristram Savage, Margaret S. Livingstone. neuroimage, 51(1):267-273, 2010. [doi]
Wide-field ethnography: studying software engineering in 2025 and beyondDavid Socha, Robin Adams, Kelly Franznick, Wolff-Michael Roth, Kevin Sullivan, Josh Tenenberg, Skip Walter. ICSE 2016: 797-802 [doi]
First Workshop on the Economics of Software and ComputationKevin Sullivan. ICSE 2007: 125-126 [doi]
Toward a science of learning systems: a research agenda for the high-functioning Learning Health SystemCharles P. Friedman, Joshua Rubin, Jeffrey S. Brown, Melinda Buntin, Milton Corn, Lynn Etheredge, Carl A. Gunter, Mark A. Musen, Richard Platt, William W. Stead, Kevin Sullivan, Douglas Van Houweling. jamia, 22(1):43-50, 2015. [doi]
Kerberized Lustre 2.0 over the WANJosephine Palencia, Robert Budden, Kevin Sullivan. tg 2010: [doi]
Opportunity-centered software developmentKevin Sullivan. FSE 2010: 369-374 [doi]
Using a real-time operating system for multitasking in Remote Patient MonitoringMichael Rockwood, Vilas Joshi, Kevin Sullivan, Rafik A. Goubran. memea 2014: 475-479 [doi]
Second international workshop on ultra-large-scale software-intensive systems (ULSSIS 2008)Kevin Sullivan, Rick Kazman. ICSE 2008: 1041-1042 [doi]
Creatıng Infographics Based on the Bridge21 Model for Team-based and Technology-mediated LearningPinar Nuhoglu Kibar, Kevin Sullivan, Buket Akkoyunlu. jiteiip, 18:87-111, 2019. [doi]
Introduction to the Learning Health Systems, Big Data, and Socio-technical Change MinitrackCharles P. Friedman, Kevin Sullivan. hicss 2015: 3104 [doi]
Bounded deviation trajectory interpolation for robot manipulatorsBrad Paden, Kevin Sullivan. icra 1988: 56-61 [doi]
Wrap-Up and Q & AEsther Filderman, Kevin Sullivan, Victor Hazlewood. lisa 2001:
Video compression - from concepts to the H.264/AVC standardSullivan, G. J., & Wiegand, T.. Proc. of the IEEE, 93(1):18-31, 2005.
Monarch: Model-based Development of Software ArchitecturesBagheri, Sullivan. MoDELS 2010:
CodePlus - Designing an after school computing programme for girlsK. Sullivan, Jake Rowan Byrne, N. Bresnihan, K. O'Sullivan, Brendan Tangney. mcs 2015: 1-5 [doi]
The president's page - ComSoc~s professional staffNim Cheung, Jack Howell, John Pape, Ting Qian, K. Sullivan. cm, 44(8):6-9, 2006. [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Kevin J. Sullivan's Profile

Unidentified Publications