Silke Kuball

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Practical Experience

Evolutionary Algorithm

Formal Specification

Top Venues

Publications

Helen Gough, Silke Kuball
Application of Statistical Testing to the Data Processing and Control System for the Dungeness B Nuclear Power Plant (Practical Experience Report). EDCC (2014)
Silke Kuball
How can Previous Component Use Contribute to Assessing the Use of COTS? HASE (2007)
Silke Kuball
Book Reviews. Softw. Test. Verification Reliab. 14 (2) (2004)
Silke Kuball, John H. R. May
Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. ISSRE (2004)
Silke Kuball, Gordon Hughes
Evidential Volume Approach for Certification. Ada-Europe (2003)
Peter T. Popov, Lorenzo Strigini, John H. R. May, Silke Kuball
Estimating Bounds on the Reliability of Diverse Systems. IEEE Trans. Software Eng. 29 (4) (2003)
Silke Kuball, Gordon Hughes
Decision-Support for Certification by Calculating the Evidential Volume of a Product. DSN (2003)
Silke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo, Andrew D. John, Roy B. Carter
The Effectiveness of Statistical Testing when Applied to Logic Systems. SAFECOMP (2001)
Silke Kuball
Scenario-Based System Assessment. Ada-Europe (2001)
Silke Kuball, John H. R. May, Gordon Hughes
Building a system failure rate estimator by identifying component failure rates. ISSRE (1999)
Silke Kuball, John H. R. May, Gordon Hughes
Structural Software Reliability Estimation. SAFECOMP (1999)