Search the dblp DataBase

Publications of Author

1. Stephen S. Cha, Nancy G. Leveson, Timothy J. Shimeall
   Safety Verification in Murphy Using Fault Tree Analysis. [Citation Graph (0, 0)][DBLP]
   ICSE, 1988, pp:377-387 [Conf]
   
2. Timothy J. Shimeall, Michael Friedman, John Chilenski, Jeffrey M. Voas
   Views on Software Testability (Panel Abstract). [Citation Graph (0, 0)][DBLP]
   ISSTA, 1994, pp:240- [Conf]
   
3. Ross J. Anderson, Terry Bollinger, Doug Brown, Enrique Draier, Philip Machanick, Gary McGraw, Nancy R. Mead, Arthur B. Pyster, Howard Schmidt, Timothy J. Shimeall
   Roundtable on Information Security Policy. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 2000, v:17, n:5, pp:- [Journal]
   
4. Nancy G. Leveson, Stephen S. Cha, Timothy J. Shimeall
   Safety Verification of Ada Programs Using Software Fault Trees. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 1991, v:8, n:4, pp:48-59 [Journal]
   
5. Timothy J. Shimeall, John J. McDermott
   Software Security in an Internet World: An Executive Summary. [Citation Graph (0, 0)][DBLP]
   IEEE Software, 1999, v:16, n:4, pp:58-61 [Journal]
   
6. Sun Sup So, Sung Deok Cha, Timothy J. Shimeall, Yong Rae Kwon
   An empirical evaluation of six methods to detect faults in software. [Citation Graph (0, 0)][DBLP]
   Softw. Test., Verif. Reliab., 2002, v:12, n:3, pp:155-171 [Journal]
   
7. Nancy G. Leveson, Stephen S. Cha, John C. Knight, Timothy J. Shimeall
   The Use of Self Checks and Voting in Software Error Detection: An Empirical Study. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1990, v:16, n:4, pp:432-443 [Journal]
   
8. Timothy J. Shimeall, Nancy G. Leveson
   An Empirical Comparison of Software Fault Tolerance and Fault Elimination. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1991, v:17, n:2, pp:173-182 [Journal]
   
9. 
   Using uncleanliness to predict future botnet addresses. [Citation Graph (, )][DBLP]