Sari Leppnen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2002–2008
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | ENASE | Workflow Automation for System Architecting. | Markku Turunen, Kari Leppnen, Sari Leppnen |
| 2007 | MODELS | A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems. | Kari Leppnen, Sari Leppnen, Markku Turunen |
| 2006 | ISoLA | Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols. | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppnen |
| 2005 | ICFEM | Formal Model-Driven Development of Communicating Systems. | Linas Laibinis, Elena Troubitsyna, Sari Leppnen, Johan Lilius, Qaisar A. Malik |
| 2004 | FDL | Application Driven Methodology for Development of Communicating Systems. | Sari Leppnen, Markku Turunen, Ian Oliver |
| 2002 | FORTE | Verifying Reliable Data Transmission over UMTS Radio Interface with High Level Petri Nets. | Teemu Tynjl, Sari Leppnen, Vesa Luukkala |