Verification of Reactive Systems Using DisCo and PVS. - Pertti Kellomäki (FME, 1997)

Modeling Distributed State as an Abstract Object. - Pertti Kellomäki; Tommi Mikkonen (DIPES, 1998)

Archived Design Steps in Temporal Logic. - Pertti Kellomäki; Tommi Mikkonen (World Congress on Formal Methods, 1999)

Design Templates for Collective Behavior. - Pertti Kellomäki; Tommi Mikkonen (ECOOP, 2000)

Deriving Message Passing Protocols from Collective Behavior. - Pertti Kellomäki (DIPES, 2000)

Specifying Cash-Point with DisCo. - Timo Aaltonen; Pertti Kellomäki; Risto Pitkänen (Formal Aspects Comput., 2000)

A Structural Embedding of Ocsid in PVS. - Pertti Kellomäki (TPHOLs, 2001)

Composing Distributed Systems from Reusable Aspects of Behavior. - Pertti Kellomäki (ICDCS Workshops, 2002)

Coordinating Aspects and Objects. - Timo Aaltonen; Joni Helin; Mika Katara; Pertti Kellomäki; Tommi Mikkonen (FOCLASA, 2002)

Invariants come from templates. - Joni Helin; Pertti Kellomäki (FMICS, 2005)

Reducing Context Switch Overhead with Compiler-Assisted Threading. - Pekka Jääskeläinen; Pertti Kellomäki; Jarmo Takala; Heikki Kultala; Mikael Lepistö (EUC (2), 2008)

Trade-offs in mapping high-level dataflow graphs onto ASIPs. - Vladimír Guzma; Shuvra S. Bhattacharyya; Pertti Kellomäki; Jarmo Takala (SoC, 2008)

Impact of Software Bypassing on Instruction Level Parallelism and Register File Traffic. - Vladimír Guzma; Pekka Jääskeläinen; Pertti Kellomäki; Jarmo Takala (SAMOS, 2008)

Reducing processor energy consumption by compiler optimization. - Vladimír Guzma; Teemu Pitkänen; Pertti Kellomäki; Jarmo Takala (SiPS, 2009)

Reconfigurable video decoder with transform acceleration. - Lassi Nurmi; Perttu Salmela; Pertti Kellomäki; Pekka Jääskeläinen; Jarmo Takala (SiPS, 2009)