Contact Us

Moscow

Contact the Department
Phone: (208) 885-6592
Toll-free: 88-88-UIDAHO
Fax: (208) 885-9052
Email: csinfo@uidaho.edu

Janssen Engineering (JEB)
Room 236

875 Perimeter Drive MS 1010
Moscow, ID 83844-1010

Idaho Falls

Contact Debbie Caudle
Phone: (208) 282-7983
Fax: (208) 282-7929
Email: debrac@uidaho.edu

1776 Science Center Drive, Suite 306
Idaho Falls, Idaho 83402

Distance Education

Engineering Outreach
Phone: (208) 885-6373
Toll-free: (800) 824-2889
Fax: (208) 885-9249
E-mail: outreach@uidaho.edu

eo.uidaho.edu

Theses And Dissertations

2011

Xiaohui He, “Security Evaluation of Virtualization Technologies in Multicore Systems”. PhD. Major Professor:  Dr. Jim Alves-Foss
 
Joel Weis, “Evaluation of Data Confidentiality Solutions for Relational Databases in the Cloud”. MS. Major Professor:  Dr. Jim Alves-Foss
 
Achala Aryal, “Benefits and Limitations of I?O Virtualization Technologies in High Assurance Operating Systems”. MS. Major Professor:  Dr. Jim Alves-Foss
 
Jia Song. “Development and Evaluation of a Security Tagging Scheme for Real-Time Zero Operating System Kernel”. MS. Major Professor:  Dr. Jim Alves-Foss


Timothy Tate, "Generating Heading Recommendations using Stereo Vision for an Autonomous Robot Navigation System. MS Thesis. Major Professor: Dr. Terence Soule.

Keith Jeffery, "The Design and Implementation of a Production-Quality Ray Tracer". MS Thesis. Major Professor: Dr. Clint Jeffery.

Brandon Morton, "An Application of Evolutionary Computation to Problems in the Field of Underwater Autonomous Vehicles". MS Thesis. Major Professor: Dr. Terry Soule.

2010
James Conrad, "Using Statistical Simulations to Analyze Uncertainty in Computer Security Investments, Mitigations and Vulnerabilities”. PhD Dissertation. Major Professor:  Dr. Paul Oman

Francis Jones, “SA-C Dataflow Graph to FPPA-Configuration Conversion Utility”. MS Thesis. Major Professor:  Dr. Robert Rinker 

Paul Mawhirter, "Performance Analysis of a Custom Reconfigurable Processor on Space-Borne Applications". MS Thesis. Major Professor: Dr. Robert Rinker.

2009
Ziad Al-Shariff, "An extensible Debugging Architecture Based on a Hybrid Debugging Framework", PhD Dissertation. Major Professor: Dr. Clinton Jeffery.

Paul Craven, "Simulating and Analyzing Wireless Railway Control Networks using NS-2", Major Professor: Dr. Paul Oman

Daniel Evans, "Parameterized Computational Imaging: Optimized Data Driven and Time-Varying Multiphysics Modeling for Image Extension, PhD Dissertation. Major Professor: Dr. Mark Manwaring.

David Manz, " Adapting Group Key Management Protocols to Wireless Ad-hoc Networks without the assumption of View Synchrony”, PhD Dissertation. Major Professor: Dr. James Alves-Foss.

Orej Linda, “Applications of Computational Intelligence in Critical Infrastructures:   Network Security, Robotics and System Modeling”. Major Professor:  Dr. Milos Manic.

Corey Thuen, “A Virtually Extensible Remotely Invokable Reconfigurable Attack-Defend Instructional Computing Laboratory”. MS Thesis. Major Professor:  Dr. Paul Oman

Kristopher Watts, “Harvard Architecture Buffer Overflows:  Exploiting Stack Based Buffer Overflows for Code Injection Attacks”. MS Thesis. Major Professor:  Dr. Paul Oman

2008
Carol Masuck, "Analysis and Categorization of Software Faults to Assist Novice Programmers." PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Paul Oman, Carol Taylor, and John Sturgul.

Zhanshan (Sam) Ma, "New Approaches to Reliability and Survivability with Survival Analysis, Dynamic Hybrid Fault Models, and Evolutionary Game Theory." PhD Dissertation. Major Professor: Axel Krings. Committee Members: Robert Hiromoto, Stephen Krone, and James Foster.

Joon W. Son, " Covert Timing Channel Analysis in MLS Real-Time Systems." PhD Dissertation. Major Professor Jim Alves-Foss. Committee Members: Scott Harrison, Axel Krings, and S. Jung.

Luay A. Wahsheh, "Security Policy Design and Implementation in High Assurance Computer Systems." PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Scott Harrison, Robert Rinker, and Camille Price.

2007
Ryan Bradetich, "Using SE-Linux Object Type Enforcement Domains to Logically Isolate SCADA Networks," MSCS Thesis. Major Professor: Paul Oman.  Committee Members: Robert Heckendorn & Brian Johnson.

Barbara Endicott-Popovsky, "A Methodology for Calibrating Forensic-Ready, Low Layer Network Devices," PhD Dissertation. Major Professor: Deborah A. Frincke. Committee Members: Jim Alves-Foss, Daniel J. Ryan, & Ivan Orton.

Stanley Phillips Gotshal, "Evolutionary Training of a Biologically Plausible Spino-Neuromuscular System Model," PhD Dissertation. Major Professor: Terence Soule. Committee Members: Richard Wall, Robert Rinker, & Michael O'Rourke.

Donna Meyers, "An Attribute Grammar for Alert Aggregation in Intrusion Detection Systems," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: Bob Rinker & Wei Li.

Russell Thomason, "Orthogonal Evolution of Teams: A New Approach to Evolving Teams of Genetic Programs," MSCS Thesis. Major Professor: Terence Soule. Committee Members: Robert Heckendorn & Celeste Brown.

2006
Armand Bankhead, "Computational Modeling of Cancer Etiology and Progression Using Neural Networks and Genetic Cellular Automata," BCB PhD Dissertation. Major Professor: Robert Heckendorn. Committee Members: .

Sandeep Butapati, "Critical Point Identification of Traffic Networks Using Simulations and Graph Based Analysis," MS Thesis.  Major Professor:  Paul Oman.  Committee Members:  Robert Rinker & Brian Johnson.

Daniel Conte DeLeon, "Completeness of Implementation Traceability for the Development of High Assurance and Critical Computing Systems," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Erol Barbut, Paul Oman & Terence Soule.

Jennifer Joy, "A Content Guard For Adobe Portable Document Format (PDF)," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: Paul Oman & Richard Wells.

Alan Piszcz, "Towards understanding the Correlation of Problem Difficulty and Parameter Sensitivity in Genetic Programming," PhD Dissertaion.  Major Professor:  Terrance Soule.  Committee Members:  Robert Heckendorn, Robert Rinker & Jim Frenzel.

Jeffery Choi Robinson, "A High Assurance Multi-Level Secure File Server," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: Terence Soule & Roger Korus.

Bei Wang, "Possibilistic Information Flow Analysis And Formal Verification of Multiple Single-Level Secure Execution Monitoring Mechanisms for High Assurance Systems," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: W. Scott Harrison & Demetrios Kazakos.

Huaqiang Wei, "Layered Decision Model for Cost Effective Network Safeguarding," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Terence Soule, Hugh Pforsich & Du Zhang.

Dong Yu, "A Novel Alert Correlation and Confidence Fusion Framework in Intrusion Detection Systems," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Roger Korus, W. Scott Harrison & Rickard Wells.

Shanyu Zheng, "A Communication-Computation Efficient Group Key Algorithm for Large and Dynamic Groups," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Sauchi Stephen Li, Paul Oman & Terence Soule.

2005

Barry Ahrens, "Genetic Algorithm Optimization of Supperresolution Paramters," MSCS Thesis.  Major Professor:  James Foster.  Committee Members:  Robert Hiromoto & Raymond Dacey.

Matthew Wayne Benke, "On the Survivability of Transportation Systems," MSCS Thesis. Major Professor: Paul Oman. Committee Members: Ahmed Abdel-Rahim & Robert Rinker.

Sergio Paul Caltagirone, "Active Response," MSCS Thesis. Major Professor: Deborah Frincke. Committee Members: Paul Oman & Steffen Werner.

Gerard Goh, "Using Computational Tools to Interpret Protein Disorder Prediction Errors in Neural Networks," MSCS Thesis.  Major Professor:  James Foster.  Committee Members: Robert Heckendorn & A. Keith Durker.

Stanley Phillips Gotshall, "Modeling and Hypothesis Testing in an Evolutionary Spino-Neuromuscular System," MSCS Thesis. Major Professor: Terence Soule. Committee Members: James A. Foster & Richard Wells.

Jonathan Graham. "Efficient Allocation in Distributed Object Oriented Databases with Capacity and Security Constraints",  PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Robert B. Heckendorn, Terence Soule, & Atsushi Inoue.

Martin Hash, "High-quality, Interactive, 3D Character Animation for the Internet," PhD Dissertation.  Major Professor: Robert Hiromoto.  Committee:  Paul Oman, Scott Harrison & Edwin Catmull.

Smitha Kara, "Using Classic Optimization to Speed Up Burn In and Mixing in Markov Chain Monte Carlo Methods for Phylogenetic Inference," BCB MS Thesis. Major Professor: Robert Heckendorn. Committee: Jack Sullivan, Paul Joyce & Robert Hiromoto.

Xian Liu, "A Representation-Less Model for Analyzing Bloat in Artificial Evolutionary Systems," MSCS Thesis. Major Professor: Terence Soule. Committee Members: Robert B. Heckendorn & Kirk Steinhorst.

David Manz, "A Network Simulator For Group Key Management Algorithms", MSCS Thesis,  Major Professor: Jim Alves-Foss. Committee Members: Terence Soule & Norman Pendegraft.

Paul Ortman, "Designing and Building a Rapidly Reconfigurable Attack-Defend Instructional Computing Laboratory,"  MSCS Thesis.  Major Professor:  Paul Oman.  Committee Members:  Jim Alves-Foss & Brian Johnson.

Matthew Phillips, "Event Monitoring and Intrusion Detection in SCADA Systems,"  MSCS Thesis.  Major Professor:  Paul Oman.  Committee Members:  Scott Harrison & Brian Johnson.

Matthew Settles, "Breeding Swarms: A GA/PSO Hybrid for Real Parameter Optimization," MSCS Thesis. Major Professor: Terence Soule. Committee Members: James A. Foster, Robert B. Heckendorn & James F. Frenzel.

John Waite, "A Testbed for SCADA Security and Survivability Research and Instruction,"  MSCS Thesis.  Major Professor:  Paul Oman.  Committee Members: Scott Harrison & Brian Johnson.

F. Nathan Webber, "Communication Issues Involved in Implementing High-Level Behaviors in Unmanned Aerial Vehicles," MSCS Thesis. Major Professor: Robert Hiromoto. Committee Members: Jim Alves-Foss & Murali Medidi.

Donghui Yang, "A Threat-Scenario-Driven Modeling Approach to the MMR", MSCS Thesis,  Major Professor: Jim Alves-Foss. Committee Members: Terence Soule & Raymond Dacey.

2004

Wayne F. Boyer, "Efficient Scheduling Techniques and Performance Evaluation Methods for Heterogeneous Distributed Computer Systems," PhD Dissertation. Major Professor: Gurdeep S. Hura. Committee Members: Jim Alves-Foss, Axel W. Krings & John C. Crepeau.

Edward Harris Flowers, "Diversity in Coevolving Populations" MSCS Thesis. Major Professor: Terence Soule. Committee Members: William S. Junk & Mark Nielsen.

James A. Galbraith, "A Portable Open Source Framework for a Real-Time Data Acquisition System," MSCS Thesis. Major Professor: Gurdeep S. Hura. Committee Members: William S. Junk & Vivek Utgikar.

Nadine Hanebutte, "Analysis of Security and Survivability As Software Quality Attributes," PhD Dissertation. Major Professor: Paul W. Oman. Committee Members: Axel W. Krings, John Dickinson & Reiner R. Dumke.

Michael Harrison, "Using Co-evolution to Improve the Fault Tolerance of Sorting Networks," MSCS Thesis.  Major Professor:  James Foster.  Committee Members:  Terrence Soule & Richard Wells.

Jayasankar Kelath, "A Lightweight Survivability Architecture Implementing Real-Time Recovery," MSCS Thesis. Major Professor: Axel W. Krings. Committee Members: Robert Hiromoto & Curtis Dyreson.

Marc Laude, "Middleware Guard: A Security Component in the MILS Architecture with CORBA/GIOP," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: W. Scott Harrison & James Frenzel.

Ryan Leigland, "Formal Model for Computer Forensics Procedures," MSCS Thesis.  Major Professor:  Axel Krings.  Committee Members:  Gurdeep Hura & John Crepeau.

Sreekanth Malladi, "Formal Analysis and Verification of Password Protocols," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Terence Soule, John Dickinson  & Brian Johnson.

David E. Mohs, "Problem Transformation and Adaptation Based on Infrastructure Mapping," MSCS Thesis. Major Professor: Axel W. Krings. Committee Members: W. Scott Harrison & Richard B. Wells.

Tracy Mark Olaveson, "Group Based Access Controls", MSCS Thesis,  Major Professor: Jim Alves-Foss. Committee Members: Gurdeep Hura & John Crepeau.

Jian Shen, "A New Representation Scheme for Genetic Algorithms for Solving the Phylogenetic Inference Problem," MSCS Thesis. Major Professor: Robert Heckendorn. Committee: Terrence Soule & Paul Joyce.

Kevin Steffenson, "Crew Vehicle Interface Requirements: Development and Maintenance for Military Aircraft," MSCS Thesis. Major Professor: William S. Junk. Committee Members: Robert Hiromoto & Barry Willis.

Carol Taylor, "Techniques for the Survivability of Critical Computer Systems," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Axel W. Krings, Paul Oman & John McHugh.

Christopher Willis-Ford, "Non-Stationary Subtasks and Their Effect on Stationary-Task Genetic Algorithms," MSCS Thesis. Major Professor: Terence Soule. Committee Members: Robert B. Heckendorn & James F. Frenzel.

2003

Abdullah Al-Qahtani, "Formal Approaches for Specifying, Enforcing, and Verifying Security Policies," PhD Dissertation.  Major Professor:  John Dickinson.  Committee Members: Robert Rinker, Terry Soule & Keith Prisbrey.

YingYin Chen, "Application of Neutral Networks to Character Recognition," MSCS Thesis. Major Professor: Terence Soule. Committee Members: John Dickinson & Richard B. Wells.

Greg Corbett, "JMX Enabled Mobile Agents for Fault Management," MSCS Thesis, Major Professor: Gurdeep Hura.  Committee Members: Scott Matthews & John Crepeu.

John M. Hall, "An Investigation into Immune-Based Intrusion Detection," MSCS Thesis. Major Professor: Deborah A. Frincke. Committee Members: Terence Soule & Carolyn Bohack.

Timothy M. Hill, "Exploring Scalability and Load Testing in the Lotus Domino Environment," MSCS Thesis. Major Professor: Gurdeep Hura. Committee Members: John Dickinson & Maxine Dakins.

Milos Manic, "Techniques in Neural Network Training with an Enhanced Robustness," PhD Dissertation. Major Professor: Bogan Wilamowski. Committee Members: James A. Foster, Axel W. Krings & Peter Goodwin.

Robert Morris, "Attribute Classification and Reduction for a Real-time Misuse Intrusion Detection System,"  MSCS Thesis.  Major Professor:  Axel Krings.  Committee Members: Scott Harrison & Richard Wells.

Patrick O'Connell, "The Idaho Partitioning Machine: A MILS Partitioning Kernel Model in ACL2," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: Robert Rinker & Annette Folwell.

Joseph P. Richards, "Using Very Small Population Sizes in Genetic Algorithms to Achieve Acceptable Results Using Minimal Resources," MSCS Thesis. Major Professor: Terence Soule. Committee Members: Robert B. Heckendorn & James F. Frenzel.

Vamshi Venapally, "Kernel Level Anomaly Detection System," MSCS Thesis.  Major Professor:  Scott Harrison.  Committee Members: Axel Krings & Richard Wells.

2002

Abdullah Al-Muhaitheef, "The Firewall Mobile Customs Agent: A Distributed Firewall Architecture," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: John Dickinson, Terence Soule & Keith Prisbrey.

Daniel Conte de Leon, "Formalizing Traceability Among Software Work Products," MSCS Thesis. Major Professor: Jim Alves-Foss. Committee Members: William Junk & Erol Barbut.

Chung-Tong Hu, "Policy Machine for Universal Access Control," PhD Dissertation.  Major Professor:  Deborah Frincke.  Committee Members: Scott Harrison, Jim Alves-Foss & Norman Pendegraft.

Kosuke Imamura, "N-Version Genetic Programming: A Probabilistically Optimal Ensemble Approach," PhD Dissertation. Major Professor: James A. Foster. Committee Members: John Dickinson, Terrence Soule & James F. Frenzel.

Hyungjick Lee, "Securing Mobile Agents through Evaluation of Encrypted Functions,"  PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Karen Van Houten, W. Scott Harrison, Axel Krings & Jin Park.

Sreekanth Malladi, "A General Scheme to Prevent Replay Attacks on Security Protocols," MSCS Thesis.  Major Professor: Jim Alves-Foss. Committee Members: Robert Heckendorn, John Dickinson & Richard Wells.

Mark Matthew Meysenburg, "How Random Number Generator Quality Affects Simple Genetic Algorithm Performance," PhD Dissertation. Major Professor: James A. Foster. Committee Members: John Dickinson, James F. Frenzel & Robert B. Heckendorn.

Rob Shepherd, "Fault Tolerance in Evolved Sorting Networks: The Search for Inherent Robustness," MSCS Thesis. Major Professor: James A. Foster. Committee Members: Robert B. Heckendorn & James F. Frenzel.

Gang Wang, "How to Choose Appropriate Function Sets for Genetic Programming," MSCS Thesis.  Major Professor:  Terrence Soule.  Committee Members:  John Dickinson & Chris Williams.

2001

Jung Pil Choi, "Aspect-oriented Programming with Enterprise JavaBeans," MSCS Thesis.  Major Professor: Arthur Lee. Committee Members: Amit Jain & Larry Stauffer.

Jie Dai, "Logic Based Policy Engineering in Distributed Authorization," PhD Dissertation. Major Professor: Jim Alves-Foss. Committee Members: Paul Oman, John Dickinson & Richard Wells.

Bill Hallinan, "Improving Software Engineering Practice through Competency Based Personnel Reviews," MSCS Thesis, Major Professor:  William S. Junk.  Committee Members:  Scott Matthews & Barry Willis.

Xiaodi Lu, "Interoperability Issues Between Policy Domains in a Distributed Environment," MSCS Thesis.  Major Professor:  Deborah Frincke.  Committee Members:  Axel Krings & James Frenzel.

Bart Rylander, "Computational Complexity and the Genetic Algorithm," PhD Dissertation. Major Professor: James A. Foster. Committee Members: Jim Alves-Foss, Terence Soule & Erol Barbut.

Carol Taylor, "NATE: Network Analysis of Anomalous Traffic Events, A Low-Cost Approach," MSCS Thesis.  Major Professor: Jim Alves-Foss. Committee Members: Axel Krings & Christopher Williams.

Yanping Zhang, quot;Web-based Instructional System,quot; MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen VanHouten & Barry Willis.

2000

Michael Chapple, "Network Intrusion Detection Utilizing Classification Trees," MSCS Thesis. Major Professor: Deborah A. Frincke. Committee Members: Jim Alves-Foss & James F. Frenzel.

John Determan, "Automatic Expert System Rule Generation On Non Destructive Waste Assay Data," MSCS Thesis. Major Professor: James A. Foster. Committee Members: Robert Heckendorn, Scott D. Matthews & Richard Wells.

Patricia Loo, "A Comparison Study of Rapid Application Development," MSCS Thesis.  Major Professor:  William S. Junk. Committee Members: Scott Matthews & Earl Marwil

Jason Edward Masner, "Impact of Size, Representation and Robustness in Evolved Sorting Networks," MSCS Thesis. Major Professor: James A. Foster. Committee Members: John Dickinson & James F. Frenzel.

Gregory Vert, "Fuzzy Object Relational Model for the Management of Spatial Data," PhD Dissertation.  Major Professor:  Molly Stock.  Committee Members: Ashley Morris, Paul Gessler & Piotr Jankowski.

Gang Xiao, "Early Stopping Byzantine Agreement in LAN Based Network Environments," MSCS Thesis.  Major Professor: Axel Krings. Committee Members: John Dickinson & Richard Wells.

Yanping Zhang, "Web-based Instructional System," MSCS Thesis.  Major Professor:  John Dickinson.  Committee Members: Karen Van Houten & Barry Willis.

Hyun Sik Yoon, "Towards Evolvable Objects Using a Metalevel Architecture," MSCS Thesis. Major Professor: Arthur Lee. Committee Members: James Buffenbarger & Jacob Baker.

1999

Ambika Baburaj, "Tactical Software Project Management Using Metrics Signatures," MSCS Thesis.  Major Professor:  Paul Oman.  Committee Members:  John Dickinson & Touraj Assafi.

Sebastian G. Elbaum, "Conceptual Framework for a Software Black Box," PhD Dissertation. Major Professor: John C. Munson. Committee Members: Paul Oman, Axel Krings, Deborah Frincke & John Sturgul.

Brad Harvey, "Byte Code Genetic Programming and Its Application to Data Mining," MSCS Thesis. Major Professor: Deborah A. Frincke & James A. Foster. Committee Member:  James F. Frenzel.

Shankar Kundala "Formal Verification of Authentication Protocols Using the Watson Theorem Prover," MSCS Thesis,  Major Professor: Jim Alves-Foss. Committee Members: John Dickinson & Randall Holmes.

Miles Penner, "The Conceptual Source Code Module: An Approach to Processing C and C++ Source Code Files," MSCS Thesis.  Major Professor:  Paul Oman.  Committee Members:  Jim Alves-Foss & Erol Barbut.

Xiaohui Wang, "Cluster Approach to Distributed Byzantine Agreement," MSCS Thesis.  Major Professor:  Axel Krings.  Committee Members: John Munson & Richard Wells.

1998

Mark A. Pokorny, "Direct Encodings for Genetic Neural Network Design," MSCS Thesis. Major Professor: James A. Foster. Committee Members: John Dickinson & James F. Frenzel.

Jacqueline S. Shoaf, "Indirect Solution Representation in Genetic Algorithms with an Application to the Efficient Set Problem," MSCS Thesis. Major Professor: James A. Foster. Committee Members: Deborah A. Frincke & Mario G. Reyes.

Terence Soule, "Code Growth In Genetic Programming," PhD Dissertation. Major Professor: James A. Foster. Committee Members: Jim Alves-Foss, James F. Frenzel & Deborah A. Frincke.

Ruinian Zhong, "Syntactic Approach to Audit Data Reduction and Management," MSCS Thesis.  Major Professor: Deborah Frincke.  Committee Members: Karen Van Houten & Erol Barbut.

1997

William Danielson, "Evolving the Two-stroke Internal Combustion Engine Via Genetic Algorithms," MSCS Thesis.  Major Professor:  Deborah Frincke.  Committee Members:  James Foster & Dean Edwards.

Govind Deshpande, "Statistical Modeling of Software Quality Measures to Uncover Missing Metrics and Measurement Domains," MSCS Thesis.  Major Professor:  Paul Oman.  Committee Members:  Deborah Frincke & Eugene Saghi.

Surekha Ghantasala, "Multilevel Data Security for an Embedded Real-Time Operating System," MSCS Thesis,  Major Professors: Jim Alves-Foss & Deborah A. Frincke. Committee Members: James Frenzel.

Yuan He, "Partial Order State Transition Analysis for an Intrusion Detection System," MSCS Thesis.  Major Professor: Deborah Frincke.  Committee Members: Jim Alves-Foss & Richard Wells.

Fong Shing Lam, "Dynamic Denotational Semantics of Java," MSCS Thesis, Major Professor: Jim Alves-Foss. Committee Members: James Foster, Randall Holmes & Gene Saghi.

Mark M. Meysenburg, "The Effect of Pseudo-Random Number Generator Quality on the Performance of a Simple Genetic Algorithm," MSCS Thesis. Major Professor: James A. Foster. Committee Members: John Dickinson & Gene Saghi.

Riyaz Sadiq, "Expert System for an Indoor Tree Seeding Nursery," MSCS Thesis. Major Professor:  Molly Stock.  Committee Members: John Dickinson, James Moore & David Wenney.

Jianqiang Zhuo, "Using Relative Complexity to Allocate Resources in Gray Box Testing of Object-Oriented Code," PhD Dissertation.  Major Professor:  Paul Oman.  Committee Members:  John Dickinson, John Munson & Dean Edwards.

1996

Charles P. Cavaiani, "Mutual Authenticating Protocol in a Client/Server Environment," MSCS Thesis,  Major Professor: Jim Alves-Foss. Committee Members: Deborah Frincke, Earl Marwell & Mark Oliver.

Glen Hansen, "Scalability of Preconditioners as a Strategy for Parallel Computation of Compressible Fluid Flow, quot; PhD Dissertation. Major Professors: John Dickinson & Eugene Saghi. Committee Members: Rod Douglass, Dana Knoll, & Michael Barnett.

Toni Hempstead, "Software Maintainability Index for SQL," MSCS Thesis. Major Professor:  William S. Junk. Committee Members: Scott Matthews & Brad Eldredge.

Jon Scott Jensen, "Quantitative Measurement of Software Reusability," MSCS Thesis. Major Professor: William S. Junk. Committee Members: Scott D. Matthews & H. Bradley Eldredge.

Stephen Kram, "A Case Study: Implementing Software Metrics at the U. S. Air Force's Standard Systems Center," MSCS Thesis.  Major Professor:  William S. Junk.  Committee Members: Deborah Frincke & Barry Willis.

Troy Pearse, "A Study of Software Portability to Identify Tangible Characteristics of Portable Programs," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk & Dean Edwards.

Regi John Zachariah, "Implementing and Validating a Metrics Set for Static Code Reusability Assessment," MSCS Thesis. Major Professor: Paul Oman. Committee Members: John Munson, Deborah Frincke & Erol Barbut.

1995

Darwin Anderson, "Designing and Implementing a Network Security Protocol for Secure Network Communications," MSCS Thesis,  Major Professor: Jim Alves-Foss. Committee Members: Deborah A. Frincke & James Frenzel.

Zhijian Chen, "Static Techniques for Measuring Software Reusability," MSCS Thesis.  Major Professor:  Paul Oman.  Committee Members: William Junk & Erol Barbut.

Luis A. Guillen, "A Study of the Effectiveness if Selected Software Testing Techniques in dBase Programs," MSCS Thesis. Major Professor: William S. Junk. Committee Members: John Dickinson & James H. Hardcastle.

Munna, "Mechanical Verification of Authentication Protocols for Distributed Systems", MSCS Thesis,  Major Professor: Jim Alves-Foss. Committee Members: Deborah A. Frincke, James Foster & James Frenzel.

Dale Swanson, "Developing Solutions for Time-Constrained Robot Path-Planning," MSCS Thesis. Major Professor: Paul Oman. Committee Members: John Dickinson & Erol Barbut.

Andrew Tompkins, "SIMPLAN: Finding Software Faults Through Program Simulation," MSCS Thesis. Major Professor: Deborah Frincke. Committee Members: Jim Alves-Foss & Norman Pendegraft.

Bradley Zheng, "A Study on Monotonicity and the Use of Halstead's Metrics," MSCS Thesis. Major Professor: Paul Oman. 

1994

Zhijian Chen, "Static Techniques for Measuring Software Reusability," MSCS Thesis. Major Professor: Paul Oman.

Michael Coe, "Results from Verifying a Pipelined Microprocessor," MSCS Thesis.  Major Professor: Phillip Windley.  Committee Members: Michael Barnett & James Frenzel.

Michael W. Cohn, "Empirical Evaluation of a Proposed Set of Complexity Metrics for Identifying Defect Prone Classes in Object–Oriented Programs," MSCS Thesis. Major Professor: William S. Junk. Committee Members: James A. Foster & Erol Barbut.

Karattup Narendran, "Efficient Implementations of Communication Library Routines in Mesh Architectures," MSCS Thesis.  Major Professor: Michael Barnett.  Committee Members: James Foster & James Frenzel.

Derreck Walters, "Empirical Evaluation of a Proposed Set of Complexity Metrics for Identifying Defect Prone Classes in Object-oriented Programs," MSCS Thesis.  Major Professor: Phillip Windley.  Committee Members: Michael Barnett & John Purviance.

Kurt D. Welker, "Application of Software Metrics to Object Based, Re-engineered Code Implementation in Ada," MSCS Thesis. Major Professor: William S. Junk, Committee Members: Paul Oman, Scott D. Matthews & Alan G. Stephens.

Jianqiang Zhuo, "Constructing and Testing C-MAT: A C Source Code Maintainability Assessment Tool," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk & Dean Edwards.

1993

Salvador Barbosa, "The Security Confidence Index: Measuring the Security of your System," MSCS Thesis,  Major Professor: Jim Alves-Foss. Committee Members: James Foster, Jack Kulas & Erol Barbut.

Karen C. Harris, "A Critical Evaluation of Grant Management in Elected Academic Medical Centers," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Thomas Miller & Randell Byers.

Shifeng Li, "Formal Specification of a Secure Distributed Operating Systems Kernel", MSCS Thesis,  Major Professor: Jim Alves-Foss. Committee Members: Phillip Windley & Erol Barbut.

Bruce Lowther, "The Application of Software Maintainability Metric Models to Industrial Software Systems," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk & Doug Gillan.

Kimberlyn Mousseau, "Three Software Testing Techniques and Their Effectiveness for Oracle – A Fourth Generation Language," MSCS Thesis. Major Professor: William S. Junk. Committee Members: David M. Barber, Scott D. Matthews & Earl S. Marwil.

Xin Yang, "Spiral Prototyping: Definition, Application, and Comparison to Specifying," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk & Erol Barbut.

1992

Linda Corder, "The Legal Protection of Software: An Examination of Alternatives to the Existing Protection Schemes," MSCS Thesis. Major Professor: Jack Kulas. Committee Members: Paul Oman & Barbara Hannan.

Jack Hagemeister," A Metric Approach to Assessing the Maintainability of Software," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk & Willy Brandal.

Atef Suleiman, "A Procedural Perspective on the Warren Abstract Machine for Executing Compiled Prolog," MSCS Thesis. Major Professor: Jack Kulas. Committee Members: John Dickinson & Erol Barbut.

Mengjin Su, "Customization of Operators for Genetic Algorithms," MSCS Thesis. Major Professor: John Dickinson. 

Kevin Twitchell, "Independent Verification and Validation of Large Software Requirement Specification Databases," MSCS Thesis. Major Professor: William S. Junk. Committee Members: David M. Barber & Donald Sales.

Weiguo Zhu, "Algorithms for Binary String Tree Manipulation," MSCS Thesis. Major Professor: Paul Oman. Committee Members: Karen Van Houten, James Foster & James Calvert.

Fang Zhuo, "A Comparison of Software Maintainability Indices," MSCS Thesis. Major Professor: Karen VanHouten & Paul Oman. Committee Members: John Dickinson & Sterling Whitaker.

1991

Phyllis Crandall, "Computer Noun-Noun Interpretation," MSCS Thesis. Majaor Professor: Jack Kulas. Committee Members: John Dickinson & Gary Carden.

Leonard Hermens, "A Software Specification Tool for Increased Requirements Traceability," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk, Jack Kulas, Erol Barbut & Steve Chandler.

David Mann, "A Parallel Distributed Processing Solution to the N-Queens Problem," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen Van Houten & Molly Stock.

Don Moreaux, "A Formalism for the Detection and Prevention of Illicit Program Derivations," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk, Charles Nelson & William Voxman.

Grant Spencer, "Prototyping vs. Specifying: An Experimental Comparison of Complexity, Effort, and Quality," MSCS Thesis. Major Professor: Paul Oman. Committee Members: William Junk, John Dickinson & .


1990

Earl Capps, "The Evolution of a Training Program into the Implementation of an Automated Office System," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Fenton Tyler & Alving Nelson.

David Sherman, "Image Classification and the Relationship Between Network Architectures and Learning," MSCS Thesis. Major Professor: Jack Kulas. Committee Members: John Dickinson & Sallie Gordon.

1989

Scott Matthews, "A Comparison of Complexity Metrics for FORTRAN 77 and Modula-2 Programs," MSCS Thesis. Major Professor: William S. Junk. Committee Members: Neldon Marshall, Fenton Tyler & Fred Tingy.

Rodney Rigby, "Using and Developing Augmented Transition Networks: Psycholinguistic Considerations and an Editor / Compiler Environment, " MSCS Thesis. Major Professor: Jack Kulas. Committee Members: John Dickinson & Steve Chandler.

1988

John Adams, "A Study of Business Data Processing from 1950 through 1987 Encompassing Both Mainframe and PC Environments with a Special Section Evaluating Computer-Aided Software Engineering (CASE) Tools Using the Questionnaire Method," MSCS Thesis. Major Professor: William S. Junk. Committee Members: Neldon Marshall & Alan Nelson.

1987

Roger Barga, "Variations on Cooperative Computation and Learning in Boltzmann Machines," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen Van Houten & Sallie Gordon.

Ilonka Evans," TLR II: An Extended Theory of Character Recognition," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Ya Yen Wang & Sallie Gordon.

1986

Lowell Campbell, "Expert System for the iPSC Hypercube," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Ya Yen Wang & Willy Brandal.

Craig Fujiki, "An Evaluation of Holland’s Genetic Operators Applied to a Program Generator," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen VanHouten & Arie Bialostocki.

Joseph Hicklin, "Application of the Genetic Algorithm to Automatic Program Generation," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Terry Cline & Robert Gregory.

Fausto Pasmay, "Expert Systems Using Time," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen VanHouten & Paul Dierker.

1985

Stephanie August, "Analogy Recognition and Comprehension In Editorials," MSCS Thesis. 

Peter Ohler, "Implementation of Expert Systems on Microcomputers," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen Van Houten & Robert Gregory.

1984
Jim Conrad, "A Comparison of the Computer Programming Languages Ada and Modula-2," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Terry Cline, Martin Young.

Lyle Dolven, "Structured Design Approach for Specifying Security Controls in Computer Applications," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Fenton Tyler & James Smiley.

Wayne Schorzman, "A Conceptual Design of a Three-layered Distributed Computer System to Provide Automated Control in a Liquid Metal Fast Breeding Reactor System,", MSCS Thesis. Major Professor: John Dickinson. Committee Members: Karen Van Houten & Bruce Peterson.

Jerry Tifft, "An Implementation of a Knowledge Representation Language," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Terry Cline & Gary Maki.

1983

Edward Gleason, "GP2: A Second Generation Computer Aided Graphics System," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Robert Rinker & Terry Precht.

Tung Huei Ku, "Software Science: Measurement and Evaluation of LISP and Pascal Programs," Major Professor: John Dickinson. Committee Members: Ya Yen Wang & William Junk.

1982

Ramin Neshati, "Software Science: Measurement and Evaluation of PASCAL Programs," MSCS Thesis. Major Professor: John Dickinson. Committee Members: Charles Nelson, Karen Van Houten & Charles Nelson.

1981

N. Julian & L. Lux, "Business terminal sequrity system," MSCS Thesis. Major Professor: Charles Aquilina. Committee Members: Joe Thomas & John Dickinson.

1980

Valeriu Hulubei, "Dynamic Memory Allocation Using First-fit and Best-fit Algorithms Under FIFO Release Process," MSCS Thesis. Major Professor: John Dickinson. Committee Members: James Calvert & Donald Haber.