Ph.D. and MS Thesis Reports/Presentations

PhD Dissertation: Hybrid Multiresolution Simulation & Model Checking: Network-On-Chip Systems

by Gholami, S., December 2017, Computer Science & Engineering, Arizona State University, Tempe, AZ, USA

M.S. Thesis: Eclipse BIRT Plug-ins for Dynamic Piecewise Constant and Event Time Series

by Sundaramoorthi, S., December 2014, Computer Science & Engineering, Arizona State University, Tempe, AZ, USA, USA

M.S. Thesis: Visual and Persistence Modeling for Parallel DEVS Atomic Models in CoSMoS

by Derakhshandeh Fard, M., August 2014, School of Electrical and Computer Engineering, The University of Tehran, Tehran, Iran

MEng M&S Project: Modeling & Simulation of a Turbojet Engine for Future Commercial Supersonic Transport Utilizing the DEVS-Suite Framework

by Blazewicz, R., May 2013, Computer Science & Engineering, Arizona State University, Tempe, AZ, USA

MEng M&S Project: Modeling & Simulation of a Turbojet Engine for Future Commercial Supersonic Transport Utilizing the DEVS-Suite Framework

by Ortiz, L.A., May 2013, Computer Science & Engineering, Arizona State University, ASU, USA

MEng M&S Project: FEDC FAB Simulation Using Discrete Event and Bayesian Networks

by Trujillo, J., May 2013, Computer Science & Engineering, Arizona State University, Tempe, AZ, USA

M.S. Thesis: Scalable Knowledge Interchange Broker: Design and Implementation for Semiconductor Supply Chain Systems

by Smith, J.M., December 2012, Computer Science & Engineering, Arizona State University, Tempe, AZ, USA

MEng M&S Project: Exploring Composability within Simulations-as-a-Service Paradigm

by Montague, C. and Sexton, R., December 2012, Computer Science & Engineering, ASU, Tempe, AZ, USA

MEng SE Project: DEVS Hardware In The Loop (HIL) Mixed Mode Simulation with Bi-Directional Support

by Jackson, T., December 2012, Computer Science & Engineering, Arizona State University, Tempe, AZ, USA

MEng SE Project: A Prototype Software Tool for Recording and Playback of API-level Function Calls in a Cycle-Accurate Simulator

by Guerra, M., May 2012, Computer Science & Engineering, Arizona State University, Tempe, AZ

Ph.D. Dissertation: Co-Design Modeling Methodology for Simulation of Service Oriented Computing Systems

by Muqsith, M., December 2011, Computer Science & Engineering, Arizona State University, Tempe, AZ, USA

M.S Thesis:  Simulation-based Framework for Automated Testing of Tactical Message Systems

by Jarboe, S., Winter 2009, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph.D. Dissertation :  Composing Hybrid Discrete Event System and Cellular Automata Models

by Mayer, G.R., June 2009, Computer Science & Engineering, Arizona State University, Tempe, AZ, USA

M.S. Thesis : Design and Analysis of View Synchronization in DEVS-Suite

by Helser, E., May 2009, Computer Science & Engineering, Arizona State University, Tempe, AZ, USA

M.S. Thesis : An Approach to Evaluating Computer Network Simulation Tool Support for Verification and Validation

by Gibbs, J., July 2009, Computer Science and Engineering, Arizona State University, Tempe, AZ, USA

M.S. Thesis :  An Approach to Visual Modeling of Cellular Automata

by Sarkar, S., May 2009, Computer Science and Engineering, Arizona State University, Tempe, AZ, USA

M.S. Thesis :  Creating Specification Templates for Client-Server Families in Service-Oriented Architecture

by Bansal, J., June 2009, Computer Science and Engineering, Arizona State University, Tempe, AZ, USA

MEng M&S Project :  Animation of Warfighting Simulations with the DEVSJAVA Tracking Environment

by Emerson, Z., May 2009, Fulton School of Engineering, Arizona State University, Tempe, AZ, AZ, USA

MEng SE Project : A Spring-based Lightweight Online Shopping Application

by Yan, H., May 2009, Fulton School of Engineering, Arizona State University, Tempe, AZ, USA

PhD Dissertation : Ontology-Based Data Fusion Within a Net-Centric Information Exchange Framework

by HoJun Lee, Fall 2009, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.S Thesis :  Cell Biology Simulation Using DEVS Combined with SBML

by Zhijie Wang, Summer 2009, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

PhD Dissertation : Interoperability between DEVS Simulators using Service Oriented Architecture and DEVS namespace

by Seo, C., Spring 2009, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph.D Dissertation :  A Multi-Modeling Approach Using Simulation and Optimization for Supply-Chain Network Systems

by Godding, G., June 2008, Computer Science and Engineering, Arizona State University, Tempe, AZ, USA

M.S. Thesis: Simulator for Service-based Software System: Design and Implementation with DEVS-Suite

by Kim, S., Fall 2008, Computer Science and Engineering Dept., Arizona State University, Tempe, AZ, USA

MEng M&S Project : System Theory Based Modeling and Simulation of SOA-based Software Systems

by Ramaswamy, M., July 2008 Fulton School of Engineering, Arizona State University, Tempe, AZ, USA

MEng M&S Project : Dynamic Data Engineering for the Network Centric Environment

by Hammonds, P., May 2008, Fulton School of Engineering, Arizona State University, Tempe, AZ, USA

M.S Thesis :  Visual Component-based System Modeling with Automated Simulation Data Collection and Observation

by Elamvazhuthi, V., April 2008, Computer Science and Engineering, Arizona State University, Tempe, AZ, USA

M.S. Thesis : AutoDEVS: A Methodology for Automating Systems Development

by Manuel C. Salas, fall 2008, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph. D. Dissertation : An Automated Methodology for Negotiation Behaviors in Multi-Agent Engineering Applications

by Moath Jarrah, Summer 2008, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph. D. Dissertation : Composable Modeling and Distributed Simulation Framework for Discrete Supply-Chain Systems with Predictive Control [2.33 MB]

by Dongping Huang, Spring 2008, Computer Science and Engineering Dept., Arizona State University, AZ, USA

M.S. Thesis : DEVS/UML – A Framework for Simulatable UML Models [1 MB]

by Joseph Mooney, Spring 2008, Computer Science and Engineering Dept., Arizona State University, AZ, USA.

Ph. D. Dissertation : Ontology/Data Engineering Based Distributed Simulation over Service Oriented Architecture for Network Behavior Analysis

by Taekyu Kim, Spring 2008, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph. D. Dissertation : Multilevel Methodology for Simulation of Spatio-Temporal Systems with Heterogeneous Activity: Application to Spread of Valley Fever Fungus

by R. Jammalamadaka, Spring 2008, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.S. Thesis: Domain Driven Simulation Modeling For Software Design [1MB]

by A. Ferayorni, Fall 2007, Computer Science and Engineering Dept., Arizona State University, AZ, USA

Ph. D. Dissertation: Visual and Persistent Co-Design Modeling for Network Systems[1.5MB]

by W. Hu, Summer 2007, Computer Science and Engineering Dept., Arizona State University, AZ, USA

M.S. Thesis:Graphical User Interface Representation and Generation Using System Entity Structures [6.4MB]

by Lahiru Ariyananda, Fall 2007, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph. D. Dissertation: DEVS Unified Process for Integrated Development and Testing of Service Oriented Architectures [9MB]

by S. Mittal, Spring 2007, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph. D. Dissertation: Toward a Flexible and Reconfigurable Distributed Simulation: A New Approach to Distributed DEVS [2MB]

by M. Zhang, Spring 2007, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph. D. Dissertation: Experimental Frame Structuring for Automated Model Construction: Application to Simulated Weather Generation [2MB]

by S. Cheon, Spring 2007, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph. D. Dissertation: Multi-Layer Cellular DEVS Formalism for Faster Model Development and Simulator Efficiency [1MB]

by F.A.S.B.Shiginah, Fall 2006, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.S. Thesis: Automated Testing Using XML and DEVS [1MB]

by E. Mak, Spring 2006, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.S. Thesis: Swarm Intelligence Based Optimization of MANET Cluster Formation [.5MB]

by A. Sen, Spring 2006, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.S. Thesis: DEVS-NS2 Environment: An Integrated Tool for Efficient Networks Modeling and Simulation [2MB]

by T. Kim, Spring 2006, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.S. Thesis: Development of Experimental Frame and Abstract DEVS Models to Support SCOPE Network Expansion [1.8MB]

by M. Veena, Summer 2005, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.S. Thesis: Scalable DEVS Modeling of Quantized DSP Based Systems [4MB]

by H. Gopalakrishnan, Spring 2005, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.CS. Project: An Analysis of the Correlation between System Engineering Defect Phase Containment and System Engineering Hours at General Dynamics C4 Systems [112KB]

by Jennifer Fried, Spring 2005, Computer Science and Engineering Dept., Arizona State University, Tempe, AZ, USA

M.CS. Project: An Architectural Framework for Discrete Event Simulation Using Knowledge-Based Reasoning [646KB]

by Lisa Winkler, Spring 2005, Computer Science and Engineering Dept., Arizona State University, Tempe, AZ, USA

M.CS. Project: Development of Model Component Templates for Semiconductor Manufacturing process Simulation in DEVSJAVA [112KB]

by B. Xie, Fall 2004, Computer Science and Engineering Dept., Arizona State University, Tempe, AZ, USA

M.S. Thesis: Behavioral Model Specification Towards Simulation Validation Using Relational Databases [1.09MB]

by Shridhar Bendre, Fall 2004, Computer Science and Engineering Dept., Arizona State University, Tempe, AZ, USA

M.S. Thesis: A Flexible and Expandable Architecture for Computer Games [1.14MB]

by Jeff Plummer, Fall 2004, Computer Science and Engineering Dept., Arizona State University, Tempe, AZ, USA

M.S. Thesis: Analysis and Visualization of Time-varying data using the concept of ‘Activity Modeling’ [1MB]

by S. R. Akerkar, Summer 2004, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph. D. Dissertation: Parallel Discrete Event Simulation with Application to Continuous Systems [4MB]

by J. J. Nutaro, Fall 2003, Electrical and Computer Engineering Dept, Univerisity of Arizona, Tucson, AZ, USA

M.S. Thesis: Attention-focusing Architecture for Scalable Network-systems using DEVS Formalism [2.4MB]

by S. Mittal, Fall 2003, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph. D. Dissertation: A Simulation-based Software Development Methodology for Distributed Real-time Systems [2.1MB]

by X. Hu, Fall 2003, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.S. Thesis: Activity Characterization of Spatial Models: Application to the Discrete Event Solution of Partial Differential Equations [1MB] movie1 [0.4MB], movie2 [4MB]

by R. Jammalamadaka, Fall 2003, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph. D. Dissertation:Cost-based partitioning for Distributed Simulation of Hierarchical Modular DEVS Models

by S. Park, Spring 2003, Electrical and Computer Engineering, University of Arizona, Tucson, AZ, USA

M.S. Thesis: Measuring Structural Complexities of Modular, Hierarchical Large-scale Models (2.8MB zipped pdf)

by S. Mohan, Summer 2003, Computer Science and Engineering Dept., Arizona State University, Tempe, AZ, USA

M.S. Thesis: The DEVSJAVA Simulation Viewer: A Modular GUI that Visualizes the Structure and Behavior of Hierarchical DEVS Models   [1.3MB]

by J. Mather; Spring 2003, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.S. Thesis: Hierarchical Modeling of Large-Scale Systems Using Relational Databases   [.6MB]

by T.-S. Fu; Summer 2002, Electrical and Computer Engg. Dept., University of Arizona; Computer Science and Engg. Dept., ASU, Tempe, AS, USA

Ph.D. Dissertation: Space-Based Data Management for High Performance Distributed Simulation  [1.1MB]

by J.S. Lee; May, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph.D. Dissertation: RTDEVS/CORBA: A Distributed Object Computing Environment For Simulation-Based Design of Real-Time Discrete Event Systems  [1.5MB]

by Y.K. Cho; Dec. 2001, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.S. Thesis: Social Science Applications of Discrete Event Simulation: A DEVS Artificial Society  [2.5MB]

by G. Zaft; Fall 2001, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

M.S. Thesis: Time Management and Interoperability in Distributed Discrete Event Simulation   [249KB]

by J. Nutaro; July 2000, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Ph.D. Dissertation: Discrete Event System Specification (DEVS) / Distributed Object Computing (DOC) Modeling and Simulation [420KB]

by D.R. Hild; March 2000, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA

Also available from UMI Microfilm 996590, Bell & Howell Information and Learning Company 300 North Zeeb Road, P.O. Box 1346, Ann Arbor, MI 48106-1346

Ph.D. Dissertation: Inductive Modeling of Discrete-event Systems: A TMS-based Non-Monotonic Reasoning Approach [9.3 MB]

by H.S. Sarjoughian; April 1995, Electrical and Computer Engineering Dept., University of Arizona, Tucson, AZ, USA