Arellano, Andres Program: Master of Science in Systems Engineering (MSSE) Project: Automated Validation of Textual Requirements through Natural Language Processing |
|
Barnes, Xenia Program: Master of Science in Systems Engineering (MSSE) Project: Sensor-Driven Airport Taxiway and Runway Control |
|
Block, Peter Program: Master of Science in Systems Engineering (MSSE) Project: Verification and Validation Methods for a Tactile Sensing Skin System |
|
Dadfarnia, Mehdi Program: Master of Science in Systems Engineering (MSSE) Project: TBD ... |
|
Daily, David Program: Master of Science in Systems Engineering (MSSE) Project: Co-Simulation of Smart Grid Compatible Residential Facilities |
|
He, Yuyao Program: Master of Science in Systems Engineering (MSSE) Project: Verification and Validation of a Five-Axis CNC Milling Center |
|
Linnehan, Peter Joseph Program: Master of Science in Systems Engineering (MSSE) Project: Formal Model of a Healthcare Information Exchange |
|
Moschler, Jacob Program: Advanced Special Student Project: Air Traffic Collision Avoidance System (TCAS) for Unmanned Aircraft operating |
|
Mu, Ruiqi Program: Master of Science in Systems Engineering (MSSE) Project: Validation and Verification of a Railway Temporary Speed Restriction System |
|
Nguyen, Alan Program: Master of Science in Systems Engineering (MSSE) Project: Ontology and Rule-Based Modeling of City Connectedness |
|
Vaughn, James Program: Master of Science in Systems Engineering (MSSE) Project: Ontology and Rule-Based Modeling of City Connectedness |
|
Zhang, Baozhu Program: Master of Science in Systems Engineering (MSSE) Project: Reliability Analysis of Electric Power Systems for More-Electric Aircraft |
|
Chezick, Travis Roy Program: Engineering Professional Masters Program (ENPM) Project: Single Tool for Small Systems Engineering Teams |
|
Johnson, Troy Ricardo Program: Reliability Engineering Program (ENPM) Project: Platform Design for Commercial Distribution of Rail Vehicle Generated Power |
|
O'Brien, David Matthew Program: Engineering Professional Masters Program (ENPM) Project: Formal Verification of Wastewater Treatment Processes |
|
Ohanyerenwa, Chiedo Raymon Program: Engineering Professional Masters Program (ENPM) Project: Formal Verification of Wastewater Treatment Processes |
|
Ramadurai, Premalatha Program: Engineering Professional Masters Program (ENPM) Project: Verification and Validation of RS232 Standard |
|
Weay, Christopher Garsamba Program: Engineering Professional Masters Program (ENPM) Project: Platform Design for Commercial Distribution of Rail Vehicle Generated Power |
|
Mattern, Lydia Marie Program: Engineering Professional Masters Program (ENPM) Project: Assessment of Task Completion for Robots Playing Soccer |
|
Brien, Calvin Michael Program: Engineering Professional Masters Program (ENPM) Project: Using UPPAAL to Verify Behavior of a Hypernetwork and Hypergraph Model of Baseball |
|
Tucker, Amber Program: Engineering Professional Masters Program (ENPM) Project: Using UPPAAL to Verify Behavior of a Hypernetwork and Hypergraph Model of Baseball |
Last Modified: September 2, 2013,
Copyright © 2013, Institute for Systems Research, University of Maryland