| 2007 |
|---|
| 9 | EE | Jukka Honkola,
Sari Leppänen,
Pasi Rinne-Rahkola,
Martti Soderlund,
Markku Turunen,
Kimmo Varpaaniemi:
A Case Study: Applying Lyra in Modeling S60 Camera Functionality.
ECBS 2007: 25-36 |
| 8 | EE | Kari Leppänen,
Sari Leppänen,
Markku Turunen:
A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems.
MoDELS 2007: 331-345 |
| 2006 |
|---|
| 7 | EE | Linas Laibinis,
Elena Troubitsyna,
Sari Leppänen,
Johan Lilius,
Qaisar A. Malik:
Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
RODIN Book 2006: 261-287 |
| 2005 |
|---|
| 6 | EE | Jukka Honkola,
Sari Leppänen,
Teemu Tynjälä:
Modeling the SpaceWire Architecture with Lyra.
ACSD 2005: 15-24 |
| 5 | EE | Linas Laibinis,
Elena Troubitsyna,
Sari Leppänen,
Johan Lilius,
Qaisar A. Malik:
Formal Model-Driven Development of Communicating Systems.
ICFEM 2005: 188-203 |
| 2004 |
|---|
| 4 | EE | Sari Leppänen,
Markku Turunen,
Ian Oliver:
Application Driven Methodology for Development of Communicating Systems.
FDL 2004: 192-204 |
| 2002 |
|---|
| 3 | EE | Teemu Tynjälä,
Sari Leppänen,
Vesa Luukkala:
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.
FORTE 2002: 178-193 |
| 2001 |
|---|
| 2 | EE | Juhana Helovuo,
Sari Leppänen:
Exploration Testing.
ACSD 2001: 201-210 |
| 2000 |
|---|
| 1 | | Sari Leppänen,
Matti Luukkainen:
Compositional Verification of a Third Generation Mobile Communication Protocol.
ICDCS Workshop on Distributed System Validation and Verification 2000: E118-E125 |
