Mladen A. Vouk


Students

[Back to Main Page] [Electronic Theses, Dissertations] [Catalog - Non-Electronic Theses, Dissertations]
  1. Ajay Athavale (M.S. 1990, "Performance evaluation of hybrid voting schemes") [LIB]
  2. Amit Paradkar (M.S.1990, "Performance analysis of multistage N-version fault tolerant software") [LIB]
  3. Garrison Kenney (M.S. 1991, "Estimating defects in commercial software during operational use") [LIB]
  4. Dana Borger (M.S.1991, "Modeling the behavior of large software projects") [Postscript] [PDF]
  5. Jack R. Waters (M.S.1993, "Rapid prototyping of software process models") [LIB]
  6. Garrison Kenney (Ph.D. 1993 "The Next-Release Effect in the Field Defect Model for Commercial Software") [Abstract] [LIB]
  7. Havish Koorapaty, (M.S. 1993, "Table-driven decoding of binary half rate convolutional codes with soft decisions") [LIB]
  8. Ajay Dholakia, (Ph.D., 1993, "Locally Invertible Convolutional Encoders, Table-Based Decoding, and Their Applications to High-Speed Communications") [Abstract]
  9. Patrick W. Brewer (M.S. 1996, "Methods for concept mapping in computer based education") [LIB]
  10. Tom Potok (Ph.D. 1996, "Development of a quantitative process model for object-oriented software development") [Abstract] [Thesis (Postscript)]
  11. Amit Paradkar (Ph.D. 1996, "Specification-based testing using cause-effect graphs") [Abstract] [Dissertation (PDF)] [LIB]
  12. Havish Koorapaty, (Ph.D. 1996, "Structural Analysis of and Decoding Algorithms for Convolutional Codes") [Abstract]
  13. Wayne J. Staats (Ph.D. 1997, "A formal analysis of the temporal behavior of parallel object oriented applications") [Abstract]
  14. Kalhee Kim (Ph.D., 1997, "Reliability of new fault-tolerant software strategies") [Abstract]
  15. Paritosh Dixit (Ph.D., 1998, "Quality of Service Modeling for Wide Area Network Based Systems") [Abstract] [Thesis (PDF)] [Thesis (Postscript)]
  16. Rajini I. Balay (Ph.D., 1998, "A lightweight middleware architecture and evaluation of middleware performance) [Abstract] [Thesis (PDF)]
  17. Fonda Daniels (Ph.D., 1998, "Producing Dependable Object-Oriented Software Using Testing and Design Patterns") [Abstract]
  18. Anthony Rivers (Ph.D., 1998, "Modeling Software Reliability During Non-Operational Testing") [Abstract] [Thesis (PDF)]
  19. Jennifer Sellers (M.S. 1998, "Fault-Tolerant Teaching of Discrete Math Concepts") [Thesis (PDF)]
  20. Eleboba Eni May (M.S. 1999, "Information Model for Translation in E- Coli")
  21. Bengi Karacali (Ph.D., 2000, "Simultaneous Reachability Analysis of Concurrent Systems") [Thesis (PS)] [Thesis (PDF)]
  22. Kesava Prasad Narasimhan (M.S., 2000, "An Implementation of Differentiated Services in A Linux Environment") [Abstract] [Thesis (PDF)]
  23. Hemang Lavana (Ph.D., 2001, "Distributed Collaborative Computing Environment") [Thesis (PDF)] [Thesis (PS.GZ)]
  24. Zyad Dwekat, (M.S., 2001, "Construction and Evaluation of a Service Level Agreement Test-Bed") [Abstract] [Thesis (PDF)]
  25. David Rosnick (Ph.D., 2001, "Free Energy Periodicity and Memory Model for Genetic Coding") [Abstract] [Dissertation (PDF)] [Dissertation (PS)]
  26. Brian Goff, (M.S., 2002, "Distributed Resource Monitoring Tool and its Use in Security and Quality of Service Evaluation") [Abstract] [Thesis (PDF)]
  27. Eleboba Eni May (Ph.D., 2002, "Analysis of Coding Theory Based Models for Initiating Protein Translation in Prokaryotic Organisms") [Dissertation (PDF)]
  28. Chidambaram Arunachalam (M.S., 2002, "Implementation and Validation of Network Policy Services") [Abstract] [Thesis (PDF)]
  29. Sandeep Chandra (M.S., 2002, "Service-based Support for Scientific Workflows") [Abstract] [Thesis (PDF)]
  30. Mukul Madan Senapati (M.S., 2002, "A Simulation Study of Expedited Forwarding in Differentiated Services Networks") [Abstract] [Thesis (PDF)]
  31. Amit Kulkarni (M.S., 2002, "An Investigation of Forwarding in the MPLS support for Differentiated Services") [Abstract] [Thesis (PDF)] [Thesis (PDF)]
  32. Yatin Dattaram Chalke (M.S., 2003, "Automatic Generation and Execution of Specification-Based Test Cases in a Network Based Environment") [Thesis (PDF)]
  33. Mrugendra Singhai (M.S., 2003, "An All-Optical Broadcast Local Area Network") [Thesis (PDF)]
  34. Vinay Chanrdasekhar (M.S., 2003, "Framework for Quality of Service Analysis of IP Based Video Networks") [Thesis (PDF)]
  35. Tiffany Michelle Barnes (Ph.D., 2003, "The Q-matrix Method of Fault-Tolerant Teaching in Knowledge Assessment and Data Mining") [Abstract] [Dissertation (PDF)]
  36. Erkang Zheng (M.S., 2004, "Interactive Assistance for Anomaly-Based Intrusion Detection") [Abstract] [Thesis (PDF)]
  37. Joseph C. Sremack (M.S., 2004, "Formalizing Computer Forensic Analysis: A Proof-Based Methodology.") [Abstract] [Thesis (PDF)]
  38. Madhup Mishra (M.S., 2004, "The Role of Free Energy Synchronization Signal in Translation of Prokaryotes") [Abstract] [Thesis (PDF)]
  39. Phoemphun Oothongsap, (Ph.D, 2004, "Analysis of High-Speed Data Transfer Protocol Algorithms") [Abstract] [Dissertation (PDF)]
  40. Daniel Colonnese (M.S., 2004, "Grid Service Data Needed for Estimation of Reliability in Scientific Workflow Systems") [Abstract] [Thesis (PDF)]
  41. Sangeeta Ramesh Bhagwanani, (M.S, 2005, "An Evaluation of End-User Interfaces of Scientific Workflow Management Systems") [Abstract] [Thesis (PDF)]
  42. Pierre Mouallem, (M.S, 2005, "Fault Tolerance and Reliability in Scientific Workflows") [Abstract] [Thesis (PDF)]
  43. Kera Bell, (Ph.D, 2006, "Optimizing Effectiveness and Efficiency of Software Testing: A Hybrid Approach") [Abstract] [Dissertation (PDF)]
  44. Zhengang Cheng, (Ph.D, 2006, "Verifying Commitment Based Business Protocols and their Compositions: Model Checking using Promela and Spin") [Abstract] [Dissertation (PDF)]
  45. Ruben Lobo, (Ph.D, 2006, "On Locally Invertible Encoders and Multidimensional Convolutional Codes") [Abstract] [Dissertation (PDF)]
  46. Joshua Starmer, (Ph.D, 2006, "What can RNA hybrids tell us about translation?") [Abstract] [Dissertation (PDF)]
  47. Jim Yuill (Ph.D, 2006, "Defensive Computer-Security Deception Operations: Processes, Principles and Techniques," [Abstract] [Dissertation (PDF)]
  48. Lalit Ponnala (Ph.D, 2007, "Analysis of Genetic Translation using Signal processing," [Abstract] [Dissertation (PDF)]
  49. Zyad Dwekat, (Ph.D, 2009, "Practical Fair Queuing Schedulers: Simpli¯cation through Quantization") - co-Chair with G. Rouskas [Abstract] [Dissertation (PDF)]
  50. Jeff Ligon (Ph.D., in progress, topic: "Encryption") - co-Chair with D. Bitzer
  51. Kristy Boyer (Ph.D., in progress, topic: "Bayesian Intelligent Tutoring Systems") - co-Chair with J. Lester
  52. Pierre Mouallem, (Ph.D., in progress "Scientific Workflows Dependability")
  53. Meiyappan Nagappan, (Ph.D., in progress "Provenance in Scientific Workflows and Logfile Analytics")
  54. Prasanth Anbalagan, (Ph.D., in progress "Security of Open Source Software")
  55. Harini Iyer, (M.S., in progress "Workflows and Web Services")

[Top of This Page]

Version: (1.5/Last Modified 06/30/09 )