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
Last revision Both sides next revision
vv-lab:people [2015/02/18 16:04]
egm [Undergraduate Students]
vv-lab:people [2015/09/01 09:51]
egm [M.S. 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===
  
Line 15: Line 16:
 * Kristopher Miles, ''​JPF Verification Library for Habanero Java.''​ * Kristopher Miles, ''​JPF Verification Library for Habanero Java.''​
 ===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