Travelled to:1 × Belgium
1 × Canada
1 × Finland
1 × India
1 × Japan
1 × Norway
1 × Portugal
11 × USA
2 × Austria
2 × Ireland
4 × Germany
Collaborated with:H.Bagheri D.Coppit Y.Cai H.Rajan J.C.Knight Y.Song B.W.Boehm R.P.Gabriel J.Magee A.Saxena D.Jackson M.A.Copenhafer ∅ W.G.Griswold C.Tang S.H.Son J.Xu J.Socha M.Marchukov G.C.Murphy D.Notkin S.Huynh B.Hallen X.Du S.Geist J.Cockrell S.Zhang M.H.Erdogmus W.Harrison D.J.Reifer M.Aoyama S.Weerawarana H.Maruyama C.A.Szyperski D.Lea M.Shonle N.Tewari
Talks about:architectur (9) model (8) design (7) softwar (6) tool (6) analysi (5) aspect (5) orient (4) engin (4) modular (3)
♂ Person: Kevin J. Sullivan
DBLP: Sullivan:Kevin_J=
Facilitated 2 volumes:
PrCo
EdContributed to:
20142013
2012
20122011
20102010
2010200820062005
200520052004200320032002200120012000200020001999199919971996
19961995Wrote 32 papers:
- ICSE-2014-BagheriTS #automation #dynamic analysis #named
- TradeMaker: automated dynamic analysis of synthesized tradespaces (HB, CT, KJS), pp. 106–116.
- ICSE-2013-BagheriS #bottom-up #development #modelling
- Bottom-up model-driven development (HB, KJS), pp. 1221–1224.
- GPCE-2012-BagheriS #architecture #framework #named #platform #synthesis
- Pol: specification-driven synthesis of architectural code frameworks for platform-based applications (HB, KJS), pp. 93–102.
- SEKE-2012-BagheriSS #named #synthesis #trade-off
- Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping (HB, KJS, SHS), pp. 688–693.
- SEKE-2011-BagheriS #approach #architecture #formal method
- A Formal Approach for Incorporating Architectural Tactics into the Software Architecture (HB, KJS), pp. 770–775.
- ASE-2010-BagheriSS #architecture #independence
- Architectural style as an independent variable (HB, YS, KJS), pp. 159–162.
- MoDELS-v2-2010-BagheriS #architecture #development #modelling #named
- Monarch: Model-Based Development of Software Architectures (HB, KJS), pp. 376–390.
- OOPSLA-2010-GabrielS
- Better science through art (RPG, KJS), pp. 885–900.
- ICSE-2008-HuynhCSS #automation #composition #consistency
- Automatic modularity conformance checking (SH, YC, YS, KJS), pp. 411–420.
- ASE-2006-CaiS #analysis #composition #design #logic #modelling
- Modularity Analysis of Logical Design Models (YC, KJS), pp. 91–102.
- ASE-2005-CaiS #analysis #design #modelling #named
- Simon: modeling and analysis of design space structures (YC, KJS), pp. 329–332.
- ESEC-FSE-2005-SullivanGSCSTR #aspect-oriented #design #information management #interface
- Information hiding interfaces for aspect-oriented design (KJS, WGG, YS, YC, MS, NT, HR), pp. 166–175.
- ICSE-2005-RajanS #design #named #object-oriented
- Classpects: unifying aspect- and object-oriented language design (HR, KJS), pp. 59–68.
- ICSE-2005-SullivanM #design
- Science of design (KJS, JM), p. 46.
- ASE-2004-XuRS #aspect-oriented #comprehension
- Understanding Aspects via Implicit Invocation (JX, HR, KJS), pp. 332–335.
- ESEC-FSE-2003-RajanS #aspect-oriented #design #named
- Eos: instance-level aspects for integrated system design (HR, KJS), pp. 291–306.
- ICSE-2003-CoppitS #analysis #effectiveness #modelling #tool support
- Sound Methods and Effective Tools for Engineering Modeling and Analysis (DC, KJS), pp. 198–209.
- ICSE-2002-AoyamaWMSSL #challenge #web #web service
- Web services engineering: promises and challenges (MA, SW, HM, CAS, KJS, DL), pp. 647–648.
- ICSE-2002-ErdogmusBHRS #re-engineering
- Software engineering economics: background, current practices, and future directions (MHE, BWB, WH, DJR, KJS), pp. 683–684.
- ESEC-FSE-2001-SullivanGCH #composition #design
- The structure and value of modularity in software design (KJS, WGG, YC, BH), pp. 99–108.
- ICSE-2001-SullivanS #architecture
- A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry (KJS, AS), pp. 485–492.
- FSE-2000-JacksonS #architecture #framework #modelling
- COM revisited: tool-assisted modelling of an architectural framework (DJ, KJS), pp. 149–158.
- FoSE-2000-BoehmS #roadmap
- Software economics: a roadmap (BWB, KJS), pp. 319–343.
- ICSE-2000-CoppitS #component #multi
- Multiple mass-market applications as components (DC, KJS), pp. 273–282.
- ICSE-2000-CoppitS00a #named
- Galileo: a tool built from mass-market applications (DC, KJS), pp. 750–753.
- ASE-1999-CopenhaferS #component #interactive
- Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties (MAC, KJS), pp. 7–14.
- ICSE-1999-SullivanKDG #information management
- Information Survivability Control Systems (KJS, JCK, XD, SG), pp. 184–192.
- ICSE-1997-SullivanCZC #programming #tool support
- Package-Oriented Programming of Engineering Tools (KJS, JC, SZ, DC), pp. 616–617.
- ICSE-1997-SullivanSM #architecture #formal method #standard #using
- Using Formal Methods to Reason about Architectural Standards (KJS, JS, MM), pp. 503–513.
- ICSE-1996-SullivanK #approach #architecture #experience #reuse #scalability
- Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse (KJS, JCK), pp. 220–229.
- WPC-1996-Sullivan #agile #development #program analysis #tool support
- Rapid Development of Simple, Custom Program Analysis Tools (KJS), pp. 40–44.
- FSE-1995-MurphyNS #modelling
- Software Reflexion Models: Bridging the Gap Between Source and High-Level Models (GCM, DN, KJS), pp. 18–28.