 | 2008 |
|---|
| 11 |       | Pekka Jääskeläinen,
Pertti Kellomäki,
Jarmo Takala,
Heikki Kultala,
Mikael Lepistö:
Reducing Context Switch Overhead with Compiler-Assisted Threading.
EUC (2) 2008: 461-466 |
| 10 | | 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 | | 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 | | Pertti Kellomäki:
Composing Distributed Systems from Reusable Aspects of Behavior.
ICDCS Workshops 2002: 481-486 |
| 2001 |
|---|
| 7 | | 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 | | Pertti Kellomäki,
Tommi Mikkonen:
Design Templates for Collective Behavior.
ECOOP 2000: 277-295 |
| 4 | | Timo Aaltonen,
Pertti Kellomäki,
Risto Pitkänen:
Specifying Cash-Point with DisCo.
Formal Asp. Comput. 12(4): 231-232 (2000) |
| 1999 |
|---|
| 3 | | 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 |
