S-1
Full OCM model for the ATC:Paper 1 |
Paper 2 |
Paper 3 Friday 13 April, 10:00-12:00 -
Andrea Lorenzani
(Slides)
and
Thaizel Fuentes Martinez
(Slides)
R-1
Formal model for the full OCM model for the ATC:Paper 1 |
Paper 2 |
Paper 3 provided by the lecturer
(using CSP or other formalism, possibly running simulation using a tool)
still available
R-2
Formal analysis of cooperative task models:Paper 1 |
Paper 2 |
Paper 3
(discussion of the papers' differences and limitations and
proposals for possible extensions)
still available
R-3
CSP model of the PUMA cognitive architecture:Paper 1 |
Paper 2 |
Paper 3
(build a case study and formally analyse it with a tool,
e.g., CWB-NC)
assigned toThomas Anung Basuki
R-4
Different approaches to security in human-computer interaction:Paper 1 |
Paper 2 |
Paper 3
(compare and discuss the 3 approaches to security)
assigned toAliaksandr Lazouski