Timothy J. Shimeall

According to our database, Timothy J. Shimeall authored at least 10 papers between 1988 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

Towards Network Science Enhanced Cyber Situational Awareness.

Geoffrey B. Dobson, Timothy J. Shimeall, Kathleen M. Carley

Int. J. Cyber Situational Aware., 2017

2007

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

Proceedings of the 7th ACM SIGCOMM Internet Measurement Conference, 2007

2002

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

2000

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

1999

Software Security in an Internet World: An Executive Summary.

Timothy J. Shimeall, John J. McDermott

IEEE Softw., 1999

1994

Views on Software Testability (Panel Abstract).

Timothy J. Shimeall, Michael Friedman, John Chilenski, Jeffrey M. Voas

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

1991

An Empirical Comparison of Software Fault Tolerance and Fault Elimination.

Timothy J. Shimeall, Nancy G. Leveson

IEEE Trans. Software Eng., 1991

Safety Verification of Ada Programs Using Software Fault Trees.

Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall

IEEE Softw., 1991

1990

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

1988

Safety Verification in Murphy Using Fault Tree Analysis.

Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall

Proceedings of the Proceedings, 1988