Kevin J. Sullivan

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with David Coppit

> Home > Persons > Kevin J. Sullivan

Publications

2005
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/CoppitYKLS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/CoppitYKLS05
David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan:
Software Assurance by Bounded Exhaustive Testing. IEEE Trans. Software Eng. 31(4): 328-339 (2005)
2004
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/SullivanYCKJ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/SullivanYCKJ04
Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson:
Software assurance by bounded exhaustive testing. ISSTA 2004: 133-142
2003
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CoppitS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CoppitS03
David Coppit, Kevin J. Sullivan:
Sound Methods and Effective Tools for Engineering Modeling and Analysis. ICSE 2003: 198-209
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/CoppitPS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/CoppitPS03
David Coppit, Robert R. Painter, Kevin J. Sullivan:
Shared Semantic Domains for Computational Reliability Engineering. ISSRE 2003: 169-180
2000
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tr/DuganSC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tr/DuganSC00
Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit:
Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Trans. Reliab. 49(1): 49-59 (2000)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CoppitS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CoppitS00
David Coppit, Kevin J. Sullivan:
Multiple mass-market applications as components. ICSE 2000: 273-282
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CoppitS00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CoppitS00a
David Coppit, Kevin J. Sullivan:
Galileo: a tool built from mass-market applications. ICSE 2000: 750-753
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/CoppitSD00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/CoppitSD00
David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan:
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. ISSRE 2000: 270-282
1999
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/ftcs/SullivanDC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftcs/SullivanDC99
Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit:
The Galileo Fault Tree Analysis Tool. FTCS 1999: 232-235
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/DuganSC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/DuganSC99
Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit:
Developing a high-quality software tool for fault tree analysis. ISSRE 1999: 222-231
1998
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/CoppitS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/CoppitS98
David Coppit, Kevin J. Sullivan:
Formal Specification in Collaborative Design of Critical Software Tools. HASE 1998: 13-20
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/ManianDCS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/ManianDCS98
Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan:
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. HASE 1998: 21-28
1997
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/SullivanCZC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/SullivanCZC97
Kevin J. Sullivan, Jake Cockrell, Shengtong Zhang, David Coppit:
Package-Oriented Programming of Engineering Tools. ICSE 1997: 616-617

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.