Sari Leppänen

Publication Activity (10 Years)

Years Active: 2000-2010
Publications (10 Years): 0

Publications

Linas Laibinis, Elena Troubitsyna, Sari Leppänen
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach. Int. J. Embed. Real Time Commun. Syst. 1 (2) (2010)
Markku Turunen, Kari Leppänen, Sari Leppänen
Workflow Automation for System Architecting. ENASE (2008)
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)
Kari Leppänen, Sari Leppänen, Markku Turunen
A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems. MoDELS (2007)
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)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. RODIN Book (2006)
Jukka Honkola, Sari Leppänen, Teemu Tynjälä
Modeling the SpaceWire Architecture with Lyra. ACSD (2005)
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
Formal Model-Driven Development of Communicating Systems. ICFEM (2005)
Sari Leppänen, Markku Turunen, Ian Oliver
Application Driven Methodology for Development of Communicating Systems. FDL (2004)
Teemu Tynjälä, Sari Leppänen, Vesa Luukkala
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. FORTE (2002)
Juhana Helovuo, Sari Leppänen
Exploration Testing. ACSD (2001)
Sari Leppänen, Matti Luukkainen
Compositional Verification of a Third Generation Mobile Communication Protocol. ICDCS Workshop on Distributed System Validation and Verification (2000)