Kevin Sullivan

发表

Ultra-Large-Scale Systems: The Software Challenge of the Future

Douglas C. Schmidt, Mark Klein, Rick Kazman, 2006 .

Proceedings of the 2nd Workshop on Assessment of Contemporary Modularization Techniques (ACoM.08)

Yuanfang Cai, Alessandro F. Garcia, Alan MacCormack, 2008 .

A Web-Based Survivability Control Architecture

Kevin Sullivan, Avneesh Saxena, 2000 .

Need for Instance Level Aspect Language with Rich Pointcut Language

Hridesh Rajan, Kevin Sullivan, 2003 .

A General Algebraic Theory and Derived Software Framework for Automated Tradeoff Analysis Tools

Hamid Bagheri, Kevin Sullivan, Chong Tang, 2015 .

Modularity in design: formal modeling and automated analysis

Yuanfang Cai, Kevin Sullivan, K. Sullivan, 2006 .

Extending and Managing Software Reflexion Models

David Notkin, Gail C. Murphy, Kevin Sullivan, 1997 .

RT 128: New Project Incubator

LiGuo Huang, Gary Witus, Azad M. Madni, 2015 .

Understanding aspects via implicit invocation

Hridesh Rajan, Jia Xu, Kevin Sullivan, 2004 .

Reconciling environment integration and component independence

David Notkin, Kevin Sullivan, 1990 .

Automated detection, tracking, and counting of gray whales

Kevin Sullivan, Wayne L. Perryman, Mark Fennell, 2020, Defense + Commercial Sensing.

Exploring the Relationship between Systems Engineering and Software Engineering

Art Pyster, Devanandham Henry, Linda M. Laird, 2015 .

Interface Negotiation and Efficient Reuse: A Relaxed Theory of the Component Object Model

Kevin Sullivan, Mark Marchukov, 1997 .

An Evolutionary Theory-systems Approach to a Science of the Ilities

Adam Ross, Xi Wang, Kevin Sullivan, 2015 .

Architectural Approaches to Information Survivability

John McHugh, John C. Knight, Kevin Sullivan, 1997 .

Generalizing AOP for Aspect-Oriented Testing

Hridesh Rajan, Kevin Sullivan, K. Sullivan, 2012 .

On the Expressive Power of Classpects

Hridesh Rajan, Kevin Sullivan, K. Sullivan, 2005 .

Software Design as an Investment Activity: A Real Options Perspective

Somesh Jha, Vibha Sazawal, Prasad Chalasani, 1998 .

Unifying aspect- and object-oriented program design

Hridesh Rajan, Kevin Sullivan, 2005 .

TOWARDS A DEFINITION OF SURVIVABILITY

John C. Knight, Kevin Sullivan, J. Knight, 2000 .

A Formal Semantics for Dynamic Fault Trees

David Coppit, Kevin Sullivan, Joanne Bechta Dugan, 2012 .

A Rigorous Definition of Cyber-Physical Systems

Jian Xiang, John C. Knight, Kevin Sullivan, 2016 .

A Framework for Experimental Systems Research in; Distributed Survivability Architectures

John McHugh, Steve Geist, Xing Du, 2012 .

Survivability architectures: issues and approaches

Matthew C. Elder, John C. Knight, Chenxi Wang, 2000, Proceedings DARPA Information Survivability Conference and Exposition. DISCEX'00.

2015 Conference on Systems Engineering Research Exploring the Relationship between Systems Engineering and Software Engineering

Robert Cloutier, Devanandham Henry, Linda Laird, 2015 .

Classpects in Practice: A Test of the Unified Aspect Model

Hridesh Rajan, Kevin Sullivan, 2005 .

Aspect Reasoning by Reduction to Implicit Invocation

Hridesh Rajan, Jia Xu, Kevin Sullivan, 2004 .

A System for Experimental Research in Distributed Survivability Architectures

John C. Knight, Kevin Sullivan, Robert C. Schutt, 2012 .

Engineering modeling and analysis: sound methods and effective tools

David Coppit, Kevin Sullivan, K. Sullivan, 2003 .

Assessment of an Architectural Approach to Large-Scale Systematic Reuse

John C. Knight, Kevin Sullivan, 2012 .

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Martin Rinard, William R. Cook, Kevin Sullivan, 2010 .

PRODUCT DEVELOPMENT WITH MASSIVE COMPONENTS

John C. Knight, Kevin Sullivan, Jake Cockrell, 1999 .

Microcosms: A Web Server in Every Software Component

Kevin Sullivan, Avneesh Saxena, 2012 .

Towards a Systematic Approach for Software Synthesis

Hamid Bagheri, Kevin Sullivan, K. Sullivan, 2010 .

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009

Ana Moreira, Christa Schwanninger, Jeff Gray, 2009, AOSD.

Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion

Michael Haupt, Robert Hirschfeld, Richard P. Gabriel, 2012 .

The Options Approach to Software Prototyping Decisions.

Somesh Jha, Prasad Chalasani, Kevin Sullivan, 1997 .

Mediators: easing the design and evolution of integrated systems

Kevin Sullivan, K. Sullivan, 1994 .

Architecture as an Independent Variable

Hamid Bagheri, Kevin Sullivan, K. Sullivan, 2012 .

Mediators in a Radiation Treatment Planning Environment

David Notkin, Ira J. Kalet, Kevin Sullivan, 1995 .

Reconciling behavioral mismatch through component restriction

Kevin Sullivan, Mark Marchukov, 1999 .

Fuzzing Mobile Robot Environments for Fast Automated Crash Detection

Sebastian Elbaum, Kevin Sullivan, Trey Woodlief, 2021, 2021 IEEE International Conference on Robotics and Automation (ICRA).

COM Revisited : Tool-Assisted Modelling and Analysis of Complex Software Structures

Daniel Jackson, Kevin Sullivan, .