• CS Home
• Department
  • Know CS
    • About Cs
    • Mission
  • Research Seminar
  • Acad Honesty Policy
  • ABET and SACS Reports
  • Intl Student Info
  • Computing Facilities
  • Gallery
  • Gifts & Donations
• Academics
  • Course Schedule
  • Textbooks
  • Course Rotation Schedule
    • Graduate
    • Undergraduate
  • Grants
  • Financial Aid
  • MSDNAA
• People
  • Faculty
    • List
    • Assessment
    • Tenure Guidelines
    • Promotion Guidelines
  • Staff
    • current
    • Former
  • Employer
  • Message Board
  • Student Orgs
  • Ind. Advisory Board
• Undergraduate
  • Program of Study
    • CS
    • CIS
    • CS & EE
  • Course Description
  • Freshmen Curriculum
  • CS4Hire
  • Mentoring Program
  • Entrance Requirements
  • Academic Policy
  • Outcomes and Objectives
  • 5 Year CIS/MBA Track
• Graduate
  • Overview
  • Mission
  • Vision
  • Objectives
  • Degree Reqs
  • Course Description
  • Application Process
  • Admissions
  • CS4Hire
  • Faculty
  • Courses
  • Thesis/Non-Thesis Option
  • Internships
  • Research
  • Graduation
• Alumni
• Certifications
  • SCP
• Hall of Honor
• Tech Reports
• TeraGrid

Presentation

Verification, Debuggine, Decomposition, and Optimization of Real-Time Systems Specifications Based on Incremental Counting SAT

Presented By

Dr. Stefan Andrei

(Candidate for Assistant Professor-Computer Science Department)

Monday, October 30, 2006

2:20 PM ~ Maes 106

Faculty and Students are Encouraged to Attend