 | 2009 |
|---|
| 11 |       | Linas Laibinis,
Elena Troubitsyna,
Sari Leppänen:
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.
Methods, Models and Tools for Fault Tolerance 2009: 130-151 |
| 2007 |
|---|
| 10 | | 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 |
| 9 | | 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 |
|---|
| 8 | | Dubravka Ilic,
Elena Troubitsyna,
Linas Laibinis,
Sari Leppänen:
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.
ISoLA 2006: 425-432 |
| 7 | | 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 | | Jukka Honkola,
Sari Leppänen,
Teemu Tynjälä:
Modeling the SpaceWire Architecture with Lyra.
ACSD 2005: 15-24 |
| 5 | | 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 | | Sari Leppänen,
Markku Turunen,
Ian Oliver:
Application Driven Methodology for Development of Communicating Systems.
FDL 2004: 192-204 |
| 2002 |
|---|
| 3 | | 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 | | 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 |
