Project Presentations

Location: 540 Cory Hall

  1. 8:00-8:30: Amit Mahajan, Xuanming Dong, "Modeling Routers Using Ptolemy"
  2. 8:30-9:00: Winthrop Williams, "Interface Automata"
  3. 9:00-9:30: Shawn Schaffert and Bruno Sinopoli, "Comparing Models of Computation for real time distributed control systems"
  4. 9:30-10:00: Kaushik Ravindran, "A Clock Calculus for the Ptolemy SR domain" (not free between 11:00 and 1:00)
  5. 10:00-10:30: Eylon Caspi, "Statically Bounding Memory Usage for SCORE Process Networks"
  6. 10:30-10:45: Adam Cataldo, "Discrete-Event Money Models"
  7. 11:00-11:30: Alessandro Pinto, "Use Trace Algebra to formalize the YAPI model"
  8. 11:30-12:00: Elaine Cheong, "Visual Debugging Tools for Concurrent Models of Computation"
  9. 1:00-1:30: Jay Barton, "Modelling an Internal Combustion Engine Under Sliding Mode Control as a Hybrid System"
  10. 1:30-2:00: Trevor Meyerowitz, "Using different models of computation to model microprocessors"
  11. 2:00-2:30: Xiaojun Liu and Yang Zhao, "A Prototype Ptolemy II Domain for Studying Component Interactions in Distributed Systems"
  12. 2:30-3:00: Arindam Chakrabarti, "Behavioral Types for Software Modules"
  13. 3:00-3:30: Haiyang Zheng, "Integration of Ptolemy II and Verification Tools"
  14. Other: Steve Neuendorffer, "Modeling and controlling the Caltech Ducted Fan Vehicle"
  15. Other: Chris Chang, "No title provided"