| 2008 |
|---|
| 10 | EE | Vladimír Guzma,
Pekka Jääskeläinen,
Pertti Kellomäki,
Jarmo Takala:
Impact of Software Bypassing on Instruction Level Parallelism and Register File Traffic.
SAMOS 2008: 23-32 |
| 2003 |
|---|
| 9 | EE | Timo Aaltonen,
Joni Helin,
Mika Katara,
Pertti Kellomäki,
Tommi Mikkonen:
Coordinating Aspects and Objects.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 2002 |
|---|
| 8 | EE | Pertti Kellomäki:
Composing Distributed Systems from Reusable Aspects of Behavior.
ICDCS Workshops 2002: 481-486 |
| 2001 |
|---|
| 7 | EE | Pertti Kellomäki:
A Structural Embedding of Ocsid in PVS.
TPHOLs 2001: 281-296 |
| 2000 |
|---|
| 6 | | Pertti Kellomäki:
Deriving Message Passing Protocols from Collective Behavior.
DIPES 2000: 183-192 |
| 5 | EE | Pertti Kellomäki,
Tommi Mikkonen:
Design Templates for Collective Behavior.
ECOOP 2000: 277-295 |
| 4 | EE | Timo Aaltonen,
Pertti Kellomäki,
Risto Pitkänen:
Specifying Cash-Point with DisCo.
Formal Asp. Comput. 12(4): 231-232 (2000) |
| 1999 |
|---|
| 3 | EE | Pertti Kellomäki,
Tommi Mikkonen:
Archived Design Steps in Temporal Logic.
World Congress on Formal Methods 1999: 1858 |
| 1998 |
|---|
| 2 | | Pertti Kellomäki,
Tommi Mikkonen:
Modeling Distributed State as an Abstract Object.
DIPES 1998: 223-230 |
| 1997 |
|---|
| 1 | | Pertti Kellomäki:
Verification of Reactive Systems Using DisCo and PVS.
FME 1997: 589-604 |
