Doron A. Peled: Software Reliability Methods, Springer 2001, 331
p.
The book costs 130 DM at Springer, 44.50 pound at Amazon UK.
-
Journal articles and research reports from:
- Applications and Theory of Petri Nets 2001, LNCS 2075, Springer
- TACAS 2001 Conference Proceedings
- CAV 2001 Conference Proceedings
- CONCUR 2001 Conference Proceedings
- Workshop on Modelling of Objects, Components, and Agents, Aarhus 2001
- Workshop on Practical Use of Coloured Petri Nets, Aarhus 2001
- attend the seminars
- give seminar talks
- do the home assignment
| Date | Name | Pages | Material | "Opponent" | |
| 18 Sep | Juha Seppola | p.1-62 | Peled | ||
| 18 Sep | Mikko Särelä | p.63-84 | Peled | slides | |
| 25 Sep | Emil Falck | p.85-110 | Peled | Jukka Honkola | |
| 25 Sep | Niko Cankar | p.113-138 | Peled | Annikka Aalto | |
| 2 Oct | Timo Latvala | p. | Peled | Samuli Hinneri | |
| 2 Oct | Teemu Tynjälä | p. -178 | Peled | Vesa Luukkala | |
| 9 Oct | Samuli Hinneri | p. 179-214 | Peled | ||
| 9 Oct | Jukka Honkola | p. 215-248 | Peled | Timo | |
| 16 Oct | Annikka Aalto | p. 249-267 | Peled | Teemu | slides |
| 16 Oct | Henna Ruusu | p. 267-278 | Peled | Li | |
| 23 Oct | Annikka Aalto | p. 279-298 | Peled | Niko | |
| 23 Oct | Li Qinghai | p. 299-319 | Peled | Henna | |
| 30 Oct | Timo | p. 39-58 | CONCUR | ||
| 30 Oct | Teemu | p. 143-162 | SPIN | ||
| 1-2 Nov | MARIA Release Seminar | Free for students | Please, register ! | ||
| 6 Nov | Niko | p. 268-282 | TACAS | ||
| 6 Nov | (overtimed) | p. | |||
| 13 Nov | Vesa Luukkala | Cavalli: Formal methods in Conformance testing | PTS'93 | Juha | |
| 13 Nov | Jukka Hinkola | p. 73-84 | MOCA'01 | Li | |
| 20 Nov | Mikko Särelä | p. 298-310 | CAV'01 | Henna | |
| 20 Nov | Samuli Hinneri | p. 211-228 | FMICS'2001 | Juha | |
| 27 Nov | NO seminar !! | Bryssel | |||
| 4 Dec | Emil Falck | p. 1-18 | PN'2001 | Henna | |
| 4 Dec | Vesa Luukkala | Helovuo, Leppänen:Exploration Testing | ICACSD'2001 | Teemu |
Home assignment
Make a model of Stenning's protocol (Nancy Lynch: Distributed Algorithms, p. 693--697) and verify it.
Write a report describing the analyser, the model and the analysis results.
You can use any analyser you wish, e.g. Maria, PROD, Design/CPN, Spin etc. There are very good examples at www.daimi.aau.dk/designCPN/.
The deadline for the assignment is January 15 2002, but if you have problems, please contact me.