Fall 2002 SERC Showcase
Agenda
Ball State University Alumni Center
Muncie, IN 47306
December 3 - 5, 2002
| Tuesday, December 3, 2002 | ||
| 6:00 p.m. | Policy Board Dinner Meeting | Benjamin's |
|
Wednesday, December 4, 2002
|
||
| 8:00 a.m. | Registration & Continental Breakfast | Conservatory |
| 8:30 - 10:00 a.m. | Poster Sessions & Software Demos | Pre-Assembly Hall |
| 10:00 - 10:20 a.m |
Welcome 10:00 - 10:05 a.m. Blaine A. Brownell, President, Ball State University 10:05 - 10:20 a.m. Wayne Zage, SERC Director, Ball State University |
Assembly Hall
|
|
10:20 - 11:35 a.m.
|
Research Presentations 10:20 - 10:45 a.m. Warren Harrison, Portland State, "Optimal Allocation of Verification and Validation Resources" Sponsor: Motorola 10:45 - 11:10 a.m. Jay Bagga, BSU, "Formal Specification and Verification of PLC Programs using SMV" Sponsor: City Machine Tool 11:10 - 11:35 a.m. Dolores Zage, BSU, "Stress-Point Resolution System Based on Modules Signatures" Sponsor: Motorola |
Assembly Hall |
|
11:35 - Noon
|
Discussion/ Break | Meeting Room/Conservatory |
| Noon - 1:30 p.m. |
Lunch
|
Conservatory |
| 1:30 - 1:55 p.m. |
Invited Presentation
Myles Duffy, Vice-President, IDA Ireland, "SERC Ireland" |
Assembly Hall |
| 1:55 - 3:10 p.m. |
Research Presentations 1:55 - 2:20 p.m. Hany Ammar, WVU, "A Framework for Error Propagation Analysis of Software Architecture Specifications" Sponsor: NASA
2:20 - 2:45 p.m.
Vinayak Tanksale, BSU, "Mapping Caché Artifacts to Design Metrics Primitives"
Sponsor: Ontario Systems
|
Assembly Hall |
| 3:10 - 3:30 p.m. | Discussion/Break | Assembly Hall |
| 3:30 - 4:45 p.m. |
Research Presentations
3:30 - 3:55 p.m. Kirsten Smith BSU, "Integrating Usability into Software Design" Sponsor: Baker Hill 3:55 - 4:20 p.m. David Raffo, Portland State, "Rapidly Deployable Software Process Models" Sponsor: Northrop Grumman 4:20 - 4:45 p.m. Rabih Kraidli, WVU, "Moving from Interactive Electronic Technical Manuals to Expert Adaptive Interactive Electronic Technical Manuals (IETMs)" Sponsor: ManTech |
Assembly Hall |
| 4:45 - 5:00 p.m. |
Discussion/Break
|
Meeting Room/Conservatory |
| 5:45 - 6:45 p.m. |
Wine, Cheese & Conversation
Gerald Thomas, BSU physics professor , on piano |
E. B. and Bertha C. Ball Center |
| 6:45 p.m. |
Evening Banquet
Jim Davis, The Creator of Garfield, Honored Guest and Speaker, "Garfield, Not Just for the Newspaper Anymore" |
E. B. and Bertha C. Ball Center |
| Thursday, December 5, 2002 | ||
| 8:00 - 9:00 a.m. |
Continental Breakfast Poster Sessions |
Conservatory |
| 9:00 - 9:15 a.m. | State of SERC: Wayne Zage, SERC Director | Assembly Hall |
| 9:15 - 9:35 a.m. |
Annual SERC Survey Results Report Vida Scarpella, NSF Evaluator |
Assembly Hall |
| 9:35 - 10:50 a.m. |
Research Presentations 9:35 - 10:00 a.m. Don McLaughlin, WVU, "Overview of Research at the WV Virtual Environments Lab" Sponsor: NETL 10:00 - 10:25 a.m. Natasha Gupta, Girish Brahnmath, IUPUI, "UniFrame and Component Quality of Service" Sponsor: ONR and Dept. of Defense 10:25 - 10:50 a.m. Mikhail Atallah, Purdue, "Protecting Software from Unauthorized Modification" Sponsor: CERIAS |
Assembly Hall |
| 10:50 - 11:10 a.m. | Discussion/Break | Meeting Room/Conservatory |
| 11:10 a.m. - Noon |
Research Presentations
11:10 -11:35 a.m.
Jason Brotherton, BSU, "Notetaking Classrooms, Cameras in Cars, and Your Life in Music: An Overview of Research in the CHIC Lab"
|
Assembly Hall |
| 12:00 - 12:30 p.m. | IAB Closed Meeting | Board Room |
| 12:30 - 1:30 p.m. | Lunch | Conservatory |
| Formal Methods Workshop | ||
| 1:30 - 2:15 p.m. | Jay Bagga , BSU, "Formal Methods, Tools, and Applications to Industrial Software Engineering" | Assembly Hall |
| 2:15 - 2:30 p.m. | Discussion/Break | Assembly Hall |
| 2:30 - 3:15 p.m. | Chris George , UNU/IIST, "RAISE - Rigorous Approach to Industrial Software Engineering" | Assembly Hall |
| 3:15 - 3:30 p.m. | Discussion/Break | Assembly Hall |
| 3:30 - 4:15 p.m. | Chris George , UNU/IIST, "Industry Projects with RAISE" | Assembly Hall |
| 4:15 - 4:30 p.m. | Discussion/Break | Assembly Hall |
| 4:30 - 5:00 p.m. | Jan de Nijs , City Machine Tool and Die Co, Inc., Jay Bagga , BSU, Elizabeth VandenBerg , BSU, "Industrial Experience - Formal Methods Project at City Machine" | Assembly Hall |
| 5:00 - 5:15 p.m. | Discussion/Break | Assembly Hall |
| 5:30 p.m. | Survivors Dinner |
Puerto Vallarta Restaurant Muncie's Margaritaville |
Copyright 2002, Software Engineering Research Center. All Rights Reserved
Email to serc@cs.bsu.edu
. Last updated: