CIS 700-3: Advanced Topics in Embedded Systems


Home | Reading List | Lectures | Projects

Lecture Schedule

Date Lectures Presenters
Sept 8  • Course Outline [ ppt | pdf ]
Insup Lee
Sept 13  • Process Algebra: Calculus of Communicating Systems (CCS) Insup Lee
Sept 15 • Process Algebra: Communicating Sequential Processes (CSP) Insup Lee
Sept 20 • Process Algebra: Communicating Sequential Processes (CSP) Insup Lee
Sept 22 • Formal Test Generation [ ppt | pdf ]
• Reading List: [TB99], [Tre96], [HLSU02], [Hen97]
Oleg Sokolsky
Sept 27 • Model Checking
• Reading List: [BCM+90], [CES86]
Colin Blundell
Sept 29 • Runtime Verification [ ppt | pdf ]
• Reading List:
[HR01], [LBW03], [SVB+03], [NST04]
Usa Sammapun
Oct 4 No Class
Oct 6 No Class
Oct 11 • Using Statistical Analysis for Bug Finding [ ppt | pdf ]
• Reading List: [ECH+01], [KE03]
Baohua Wu
Oct 13 No Class
Oct 18 • Hierarchical Finite State Machines with Multiple Concurrency Models
• Reading List: [GLL99]
Arun Chandrashekharapuram
Oct 20 • Runtime Verification of Atomicity in Multi-Threaded Programs [ ppt | pdf ]
• Required:
[FF04], Optional: [WS04], [SBN+97], [AHB03], [Lip75]
Sebastian Burckhardt
Oct 25 No Class: Fall Break
Oct 27 • Merging Partial Behavioural Models [ pdf ]
• Required:
[UC04], Optional: [UKM03], [SDV95]
Arvind Easwaran
Nov 1 • Test Generation From Hybrid Models
• Required: [HPPS03], Optional: [SPHP02], [LP00]
Dave Arney
Nov 3 No Class
Nov 8 • Model Carrying Code [ ppt | pdf ]
• Required:
[SVB+03]
Madhukar Anand
Nov 10 • Attack Analysis and Detection for Ad Hoc Routing Protocols [ ppt | pdf ]
• Required:
[HL04]
Michael May
Nov 15 • A Program Supervision Framework [ pdf ]
• Required:
[NS04]
Aaron Evans
Nov 17 No Class
Nov 22 • Application of Control Theory to Software System
• Required: [CEBA02], [LSTS02], Optional: [ASL+03], [Cer03], [Eke99]
Hakan Yazarel
Nov 24 No Class: Thanksgiving Break
Nov 29 • Mimicry Attacks on Host-Based Intrusion Detection Systems
• Required: [WS02]
Pongsak Wonglertkunakorn
Dec 1 • Monitoring Temporal Properties of Continuous Signals
• Required: [MN04]
Georgios Fainekos
Dec 6 No Class
Dec 8 No Class