| |
| 2005 | ||
|---|---|---|
| 5 | EE | Laila Daniel, Matti Luukkainen, Markku Kojo: Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol. SDL Forum 2005: 187-197 |
| 4 | EE | Matti Luukkainen, Vivek K. Shanbhag, K. Gopinath: Verifying a UMTS Protocol Using Spin and EASN. Electr. Notes Theor. Comput. Sci. 118: 71-85 (2005) |
| 2001 | ||
| 3 | EE | Vivek K. Shanbhag, K. Gopinath, Markku Turunen, Ari Ahtiainen, Matti Luukkainen: EASN: Integrating ASN.1 and Model Checking. CAV 2001: 382-386 |
| 2 | Matti Luukkainen: Verification of Dense Time Properties using Theories of Untimed Process Algebra. FORTE 2001: 353-368 | |
| 2000 | ||
| 1 | Sari Leppänen, Matti Luukkainen: Compositional Verification of a Third Generation Mobile Communication Protocol. ICDCS Workshop on Distributed System Validation and Verification 2000: E118-E125 | |
| 1 | Ari Ahtiainen | [3] |
| 2 | Laila Daniel | [5] |
| 3 | K. Gopinath | [3] [4] |
| 4 | Markku Kojo | [5] |
| 5 | Sari Leppänen | [1] |
| 6 | Vivek K. Shanbhag | [3] [4] |
| 7 | Markku Turunen | [3] |