Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
vv-lab:people [2015/02/18 16:04]
egm [Undergraduate Students]
vv-lab:people [2015/09/01 09:51]
egm [Undergraduate Students]
Line 10: Line 10:
 * Peter Anderson, ''​Graduate Permission in JPF.''​ * Peter Anderson, ''​Graduate Permission in JPF.''​
 * Radha Nakade, ''​Model checking with Computation Graphs.''​ * Radha Nakade, ''​Model checking with Computation Graphs.''​
 +* Jane Ostegar
 ===Undergraduate Students=== ===Undergraduate Students===
  
 * Andrew Wallace, ''​Modeling User Workload in Human Machine Teaming.''​ * Andrew Wallace, ''​Modeling User Workload in Human Machine Teaming.''​
 * Kristopher Miles, ''​JPF Verification Library for Habanero Java.''​ * Kristopher Miles, ''​JPF Verification Library for Habanero Java.''​
 +* Josh Asplund
 ===Alumni=== ===Alumni===
 +* Robert Ivie, ''​[[Modeling Operator Workload | Modeling UASs for Role Fusion and Human Machine Interface Optimization]].''​
 +
 +* Jared Joseph Moore, ''​[[Modeling Operator Workload | Modeling UASs for Role Fusion and Human Machine Interface Optimization]].''​
 +
 +* Brandon Chase, ''​[[Verifying Habanero Java with the Java Pathfinder Model Checker|Modeling Checking Habanero Java Programs using Java Pathfinder]].''​
 +
 +* Peter Anderson, ''​[[Verifying Habanero Java with the Java Pathfinder Model Checker|Modeling Checking Habanero Java Programs using Java Pathfinder]].''​
 +
 * Eric Noonan, M.S. 2014, ''​Slice-n-Dice Algorithm Implementation in JPF.''​ * Eric Noonan, M.S. 2014, ''​Slice-n-Dice Algorithm Implementation in JPF.''​
  
vv-lab/people.txt ยท Last modified: 2015/09/01 09:51 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0