Spring 2002 Project Information

Group Projects

CSE470 Project

• Realtime Commercial Bidding System

Client - Auctioneer User supplied state diagrams to be Model Checked
Questions/Answers
• Team 1 Mike Buchanon*, Bianka Iliev, Jack Daoud, James Dennig
• Team 2 Jason Venema*, Brian DeZeeuw, Steve Beckman, David Korthuis
• Team 3 Derek Huffman*, Shaun Brennan, Dan Knauf, Brian Nett
• Team 4 Joel Diana*, Korrie Weisenberger, Jennifer Fassett, Guangming He
• Team 5 Firas Obeid*, Amy Allen, Jung-eun Lee, Jesse Lafer
• Team 6 John Johnston*, Brenda Harvey, Jason LaBumbard, Peter Tirrell
• Team 7 Edward Glowacki*, Cheryl Carlson, Kristina Johnson, Paul Wiles
• Team 8 Andrew Stafford*, Kevin Southworth, Paul Heyniger, Chris Kondos
• Team 9 Lauren Palmer*, Neil Sanborn, Robert Banta, Michael Prince
• Team 10 Gonzalo Mogollon*, Frank Tuma, David Poe, Eric Blackwell