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 |