Timothy J. Shimeall - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 10 from 10

2017

Towards Network Science Enhanced Cyber Situational AwarenessGeoffrey B. Dobson, Timothy J. Shimeall, Kathleen M. Carley. ijcysa, 2(1):11-30, 2017. [doi]

2007

Using uncleanliness to predict future botnet addressesM. Patrick Collins, Timothy J. Shimeall, Sidney Faber, Jeff Janies, Rhiannon Weaver, Markus De Shon, Joseph B. Kadane. imc 2007: 93-104 [doi]

2002

An empirical evaluation of six methods to detect faults in softwareSun Sup So, Sung Deok Cha, Timothy J. Shimeall, Yong Rae Kwon. stvr, 12(3):155-171, 2002.

2000

Roundtable on Information Security PolicyRoss J. Anderson, Terry Bollinger, Doug Brown, Enrique Draier, Philip Machanick, Gary McGraw, Nancy R. Mead, Arthur B. Pyster, Howard Schmidt, Timothy J. Shimeall. IEEE Software, 17(5):26-32, 2000. [doi]

1999

Software Security in an Internet World: An Executive SummaryTimothy J. Shimeall, John J. McDermott. IEEE Software, 16(4):58-61, 1999. [doi]

1994

Views on Software Testability (Panel Abstract)Timothy J. Shimeall, Michael Friedman, John Chilenski, Jeffrey M. Voas. ISSTA 1994: 240 [doi]

1991

Safety Verification of Ada Programs Using Software Fault TreesNancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall. IEEE Software, 8(4):48-59, 1991.

An Empirical Comparison of Software Fault Tolerance and Fault EliminationTimothy J. Shimeall, Nancy G. Leveson. TSE, 17(2):173-182, 1991. [doi]

1990

The Use of Self Checks and Voting in Software Error Detection: An Empirical StudyNancy G. Leveson, Stephen S. Cha, John C. Knight, Timothy J. Shimeall. TSE, 16(4):432-443, 1990. [doi]

1988

Safety Verification in Murphy Using Fault Tree AnalysisStephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall. ICSE 1988: 377-387

Sign in or sign up to see more results.

runs on WebDSL