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 |