 | 2012 |
|---|
| 8 |       | Matti Luukkainen,
Arto Vihavainen,
Thomas Vikberg:
A software craftsman's approach to data structures.
SIGCSE 2012: 439-444 |
| 2011 |
|---|
| 7 | | Arto Vihavainen,
Matti Paksula,
Matti Luukkainen,
Jaakko Kurhila:
Extreme apprenticeship method: key practices and upward scalability.
ITiCSE 2011: 273-277 |
| 6 | | Arto Vihavainen,
Matti Paksula,
Matti Luukkainen:
Extreme apprenticeship method in teaching programming for beginners.
SIGCSE 2011: 93-98 |
| 2005 |
|---|
| 5 | | 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 | | 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 | | 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page