Safety Verification in Murphy Using Fault Tree Analysis. - Stephen S. Cha; Nancy G. Leveson; Timothy J. Shimeall (ICSE, 1988)

The Use of Self Checks and Voting in Software Error Detection: An Empirical Study. - Nancy G. Leveson; Stephen S. Cha; John C. Knight; Timothy J. Shimeall (IEEE Trans. Software Eng., 1990)

Safety Verification of Ada Programs Using Software Fault Trees. - Nancy G. Leveson; Stephen S. Cha; Timothy J. Shimeall (IEEE Softw., 1991)

An Empirical Comparison of Software Fault Tolerance and Fault Elimination. - Timothy J. Shimeall; Nancy G. Leveson (IEEE Trans. Software Eng., 1991)

Views on Software Testability (Panel Abstract). - Timothy J. Shimeall; Michael Friedman; John Chilenski; Jeffrey M. Voas (ISSTA, 1994)

Software Security in an Internet World: An Executive Summary. - Timothy J. Shimeall; John J. McDermott (IEEE Softw., 1999)

Roundtable on Information Security Policy. - Ross J. Anderson; Terry Bollinger; Doug Brown; Enrique Draier; Philip Machanick; Gary McGraw; Nancy R. Mead; Arthur B. Pyster; Howard Schmidt; Timothy J. Shimeall (IEEE Softw., 2000)

An empirical evaluation of six methods to detect faults in software. - Sun Sup So; Sung Deok Cha; Timothy J. Shimeall; Yong Rae Kwon (Softw. Test. Verification Reliab., 2002)

Using uncleanliness to predict future botnet addresses. - M. Patrick Collins; Timothy J. Shimeall; Sidney Faber; Jeff Janies; Rhiannon Weaver; Markus De Shon; Joseph B. Kadane (Internet Measurement Conference, 2007)

Towards Network Science Enhanced Cyber Situational Awareness. - Geoffrey B. Dobson; Timothy J. Shimeall; Kathleen M. Carley (Int. J. Cyber Situational Aware., 2017)

Introduction: On the Nature of Situational Awareness. - Josiah Dykstra; Neil C. Rowe; Timothy J. Shimeall; Angela Horneman; Marisa Midler (DTRAP, 2021)

Introduction to the Special Issue on Information Sharing. - Angel Hueca; Sharon Mudd; Timothy J. Shimeall (DTRAP, 2023)