| 2008 |
|---|
| 13 | EE | Kimmo Varpaaniemi,
Leo Ojala:
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets.
Fundam. Inform. 85(1-4): 465-479 (2008) |
| 2007 |
|---|
| 12 | EE | 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 |
| 2005 |
|---|
| 11 | EE | Kimmo Varpaaniemi:
On Stubborn Sets in the Verification of Linear Time Temporal Properties.
Formal Methods in System Design 26(1): 45-67 (2005) |
| 2004 |
|---|
| 10 | EE | Kimmo Varpaaniemi:
Stubborn Sets for Priority Nets.
ISCIS 2004: 574-583 |
| 2003 |
|---|
| 9 | EE | Annikka Aalto,
Nisse Husberg,
Kimmo Varpaaniemi:
Automatic Formal Model Generation and Analysis of SDL.
SDL Forum 2003: 285-299 |
| 8 | EE | Kimmo Varpaaniemi:
Towards Ambitious Approximation Algorithms in Stubborn Set Optimization.
Fundam. Inform. 54(2-3): 279-294 (2003) |
| 2002 |
|---|
| 7 | | Kimmo Varpaaniemi:
Minimizing the Number of Successor States in the Stubborn Set Method.
Fundam. Inform. 51(1-2): 215-234 (2002) |
| 2000 |
|---|
| 6 | EE | Nisse Husberg,
Teemu Tynjälä,
Kimmo Varpaaniemi:
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.
ICATPN 2000: 244-260 |
| 5 | | Kimmo Varpaaniemi:
Stable Models for Stubborn Sets.
Fundam. Inform. 43(1-4): 355-375 (2000) |
| 1998 |
|---|
| 4 | EE | Kimmo Varpaaniemi:
On Stubborn Sets in the Verification of Linear Time Temporal Properties.
ICATPN 1998: 124-143 |
| 1997 |
|---|
| 3 | | Kimmo Varpaaniemi,
Keijo Heljanko,
Johan Lilius:
prod 3.2: An Advanced Tool for Efficient Reachability Analysis.
CAV 1997: 472-475 |
| 1994 |
|---|
| 2 | | Kimmo Varpaaniemi:
On Combining the Stubborn Set Method with the Sleep Set Method.
Application and Theory of Petri Nets 1994: 548-567 |
| 1992 |
|---|
| 1 | | Kimmo Varpaaniemi,
Marko Rauhamaa:
The Stubborn Set Method in Practice.
Application and Theory of Petri Nets 1992: 389-393 |
