Sari Leppänen

According to our database, Sari Leppänen authored at least 13 papers between 2000 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Service-Oriented Development of Fault Tolerant Communicating Systems: Refinement Approach.

Linas Laibinis, Elena Troubitsyna, Sari Leppänen

Int. J. Embed. Real Time Commun. Syst., 2010

2009

Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.

Linas Laibinis, Elena Troubitsyna, Sari Leppänen

Proceedings of the Methods, 2009

2008

Workflow Automation for System Architecting.

Markku Turunen, Kari Leppänen, Sari Leppänen

Proceedings of the ENASE 2008, 2008

2007

A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems.

Kari Leppänen, Sari Leppänen, Markku Turunen

Proceedings of the Model Driven Engineering Languages and Systems, 2007

A Case Study: Applying Lyra in Modeling S60 Camera Functionality.

Jukka Honkola, Sari Leppänen, Pasi Rinne-Rahkola, Martti Soderlund, Markku Turunen, Kimmo Varpaaniemi

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

Formal Service-Oriented Development of Fault Tolerant Communicating Systems.

Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.

Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen

Proceedings of the Leveraging Applications of Formal Methods, 2006

2005

Formal Model-Driven Development of Communicating Systems.

Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik

Proceedings of the Formal Methods and Software Engineering, 2005

Modeling the SpaceWire Architecture with Lyra.

Jukka Honkola, Sari Leppänen, Teemu Tynjälä

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Application Driven Methodology for Development of Communicating Systems.

Sari Leppänen, Markku Turunen, Ian Oliver

Proceedings of the Forum on specification and Design Languages, 2004

2002

Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets.

Teemu Tynjälä, Sari Leppänen, Vesa Luukkala

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002

2001

Exploration Testing.

Juhana Helovuo, Sari Leppänen

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

2000

Compositional Verification of a Third Generation Mobile Communication Protocol.

Sari Leppänen, Matti Luukkainen

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000