2008 |
9 | EE | Jussi Saarinen,
Tommi Mikkonen,
Sasu Tarkoma,
Jani Heikkinen,
Risto Pitkänen:
Towards a Server-Centric Interaction Architecture for Wireless Applications.
TIIS 2(2): 103-119 (2008) |
2006 |
8 | | Tommi Mikkonen,
Risto Pitkänen:
On Agility of Formal Specification.
EJC 2006: 1-16 |
2004 |
7 | EE | Tommi Mikkonen,
Risto Pitkänen,
Mika Pussinen:
On the Role of Architectural Style in Model Driven Development.
EWSA 2004: 74-87 |
6 | EE | Riku Järvensivu,
Risto Pitkänen,
Tommi Mikkonen:
Object-oriented middleware for location-aware systems.
SAC 2004: 1184-1190 |
5 | EE | Risto Pitkänen,
Petri Selonen:
A UML Profile for Executable and Incremental Specification-Level Modeling.
UML 2004: 158-172 |
2001 |
4 | EE | Tommi Mikkonen,
Risto Pitkänen:
Facilities of Practice Reflecting Abstractions of Theory, and Vice Versa.
SCCC 2001: 203-212 |
3 | EE | Timo Aaltonen,
Mika Katara,
Risto Pitkänen:
DisCo Toolset - The New Generation.
J. UCS 7(1): 3-18 (2001) |
2000 |
2 | EE | Timo Aaltonen,
Pertti Kellomäki,
Risto Pitkänen:
Specifying Cash-Point with DisCo.
Formal Asp. Comput. 12(4): 231-232 (2000) |
1999 |
1 | | Risto Pitkänen,
Harri Klapuri:
Incremental Cospecification Using Objects and Join Actions.
PDPTA 1999: 2961-2967 |