Sari Leppänen

13 papers A 1B 1C 4Journal 1Unranked 5
YearRankTypeTitle / Venue / Authors
2010 J jnl
Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach.
Int. J. Embed. Real Time Commun. Syst.
Linas Laibinis, Elena Troubitsyna, Sari Leppänen
2009 — ch.
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.
Methods, Models and Tools for Fault Tolerance
Linas Laibinis, Elena Troubitsyna, Sari Leppänen
2008 B conf
Workflow Automation for System Architecting.
ENASE
Markku Turunen, Kari Leppänen, Sari Leppänen
2007 — conf
A Case Study: Applying Lyra in Modeling S60 Camera Functionality.
ECBS
Jukka Honkola, Sari Leppänen, Pasi Rinne-Rahkola, Martti Soderlund, Markku Turunen, Kimmo Varpaaniemi
2007 A conf
A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems.
MoDELS
Kari Leppänen, Sari Leppänen, Markku Turunen
2006 — conf
Formal Service-Oriented Development of Fault Tolerant Communicating Systems.
RODIN Book
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
2006 C conf
Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.
ISoLA
Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen
2005 C conf
Formal Model-Driven Development of Communicating Systems.
ICFEM
Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik
2005 — conf
Modeling the SpaceWire Architecture with Lyra.
ACSD
Jukka Honkola, Sari Leppänen, Teemu Tynjälä
2004 C conf
Application Driven Methodology for Development of Communicating Systems.
FDL
Sari Leppänen, Markku Turunen, Ian Oliver
2002 C conf
Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.
FORTE
Teemu Tynjälä, Sari Leppänen, Vesa Luukkala
2001 — conf
Exploration Testing.
ACSD
Juhana Helovuo, Sari Leppänen
2000 — conf
Compositional Verification of a Third Generation Mobile Communication Protocol.
ICDCS Workshop on Distributed System Validation and Verification
Sari Leppänen, Matti Luukkainen