CS 780 | Projects | Homework | Grading | FAQ |
Schedule will be updated
as soon as possible.
Day | Date | Topic |
Homework | Documents |
Project |
---|---|---|---|---|---|
0 | Jan 17 | -- no class -- |
|||
1 | Jan 22 | Introduction |
Slides |
||
2 | Jan 24 | Multiparadim Modeling with Mobius |
HW1 |
[1],
Mobius
slides by W.H.Sanders, Tutorial on Fault trees by J. Bechta |
|
3 | Jan 29 | Analysis of DES Models with Mobius |
|||
4 | Jan 31 | Analysis of DES Models with Mobius |
Deadline HW 1: Feb 1 |
||
5 | Feb 5 | State Space Exploration Basics, Hashing |
[2,3] |
||
6 | Feb 7 | -- no class -- |
|||
7 | Feb 12 | State Space Exploration Structured, Kronecker |
[4,5] |
||
8 | Feb 14 | State Space Exploration Symbolic |
[6,7,8] |
||
9 | Feb 19 | State Space Exploration Symbolic |
ICATPN talk by Ciardo |
doc, [9-12] |
|
10 | Feb 21 | Introduction to Weighted Automata and Semirings |
[10], slides |
||
11 | Feb 26 | Weighted Automata, Project |
[10] |
||
12/13 | Mar 4, 6 | no class (spring break) |
|||
14 | Mar 11 | Process Algebra, Equivalence |
[15] slides |
||
15 | Mar 13 | Strong/Weak Bsimulation |
[15] |
||
16 | Mar 18 | Some Example Bisimulations |
[5,10,15,17] slides |
||
17 | Mar 20 | Partition Refinement Algorithms |
[16,18] |
||
18 | Mar 25 | Partition Refinement with Symbolic Data Structures |
[19,20,21] |
||
19 | Mar 27 | Model Checking Basics |
MOVEP98
slides by McMillan, LTL, CTL slides by Artale Handout: Clarke et al: Chap 2-4 |
||
20 | Apr 1 | no class |
|||
21 | Apr 3 | no class |
|||
22 | April 8 | Symbolic Model Checking |
Handout: Clarke et al: Chap 5-6 |
||
22 | April 11 <-MAKE-UP | Model Checking Of Stochastic Models |
[23] |
Deadline, Results of Phase 1doc | |
22 | April 15 | Model Checking For Weighted Automata |
Deadline, Results of Phase 2doc | ||
22 | April 17 | Project Presentations |
Deadline, Results of Phase 3doc | ||
22 | April 22 | Project Presentations |
Deadline, Results of Phase 4doc | ||
22 | April 24 | Wrap up |
Deadline, Results of Phase 5doc |