Facebook
TwitterCMACS-NSF Meeting Agenda
March 4-5, 2010
Carnegie Mellon University , Gates-Hillman Center 6501
| March 4 | |
| 9:00 | Ed Clarke (CMU) Overview (ppt) |
| Challenge Problem I Session: Automotive & Aerospace | |
| 9:30 | Patrick Cousot (NYU) Challenge Problems in Aerospace Software Verification (pdf) |
| 10:15 | Coffee Break |
| 10:30 | André Platzer (CMU) Verification of Nonlinear Models and Compositional Models (pdf) |
| 11:15 | Klaus Havelund (JPL) Static and Dynamic Analysis at JPL (ppt) |
| 12:00 | Lunch |
| 1:00 | Rance Cleaveland (U. Maryland - videoconference) Requirements Extraction from Models of Automotive Software |
| 1:45 | Bruce Krogh (CMU) Verification in the Model-Based Design Flow (pdf) |
| 2:30 | Coffee Break |
| 2:45 | Paolo Zuliani (CMU) Bayesian Statistical Model Checking (pdf) |
| Education and Outreach Session | |
| 3:30 | Nancy Griffeth (Lehman) Modeling Degradation of EGFR (pdf) Workshops on Computational Modeling of Complex Systems (pdf) |
| Networking Session | |
| 4:15 | Rockwell Collins Hybrid Control Systems Verification (pdf) |
| 5:00 | Discussion Session |
| 6:00 | Day 1 Ends |
| March 5 | |
| Challenge Problem II Session: Pancreatic Cancer | |
| 8:45 | Jim Faeder (Pitt) Navigating the Subway Map of the Cell (pdf) |
| 9:30 | Haijun Gong (CMU) Signaling Pathways and Model Checking in the Pancreatic Cancer Studies (pdf) |
| 10:15 | Coffee Break |
| 10:30 | Chris Langmead (CMU) Graphic Models for Stochastic Verification and Synthesis (pdf) |
| 11:15 | Bud Mishra (NYU - videoconference) Computational Biology of Cancer (pdf) |
| 12:00 | Lunch |
| Challenge Problem III Session: Atrial Fibrillation | |
| 1:00 | Flavio Fenton (Cornell) (pdf) |
| 1:45 | Radu Grosu (Stony Brook) Modeling and Analysis of Atrial Fibrillation (ppt) |
| 2:30 | Coffee Break |
| 2:45 | NSF Caucus and feedback to research team |
| 4:00 | Day 2 ends |
Supported by an Expeditions in Computing award from the