Varpaaniemi, K.

• Aalto, Annikka; Husberg, Nisse; Varpaaniemi, Kimmo:
  Automatic Formal Model Generation and Analysis of SDL. 2003.

• Husberg, Nisse; Tynjälä, Teemu; Varpaaniemi, Kimmo:
  Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. 2000.

• Varpaaniemi, Kimmo:
  Modelling of a PLC-Based Railway Traffic Control System. 2000.

• Varpaaniemi, Kimmo:
  Stable Models for Stubborn Sets. 2000.

• Varpaaniemi, Kimmo:
  Stable Models for Stubborn Sets. 1999.

• Varpaaniemi, Kimmo:
  On Stubborn Sets in the Verification of Linear Time Temporal Properties. 1998.

• Varpaaniemi, Kimmo:
  On the Stubborn Set Method in Reduced State Space Generation. 1998.

• Varpaaniemi, Kimmo; Heljanko, Keijo; Lilius, Johan:
  PROD 3.2 - An Advanced Tool for Efficient Reachability Analysis. 1997.

• Varpaaniemi, Kimmo:
  Finding Small Stubborn Sets Automatically. 1996.

• Varpaaniemi, Kimmo; Halme, Jaakko; Hiekkanen, Kari; Pyssysalo, Tino:
  PROD Reference Manual. 1995.

• Varpaaniemi, Kimmo:
  Dynamically Stubborn Sets and the Sleep Set Method. 1994.

• Varpaaniemi, K.:
  On Combining the Subborn Set Method with the Sleep Set Method. 1994.

• Varpaaniemi, Kimmo:
  On-the-Fly Verification with PROD. 1994.

• Varpaaniemi, Kimmo:
  On Computing Symmetries and Stubborn Sets. 1994.

• Varpaaniemi, Kimmo:
  On Choosing a Scapegoat in the Stubborn Set Method. 1993.

• Varpaaniemi, Kimmo:
  Efficient Detection of Deadlocks in Petri Nets. 1993.

• Grönberg, Peter; Tiusanen, Mikko; Varpaaniemi, Kimmo:
  PROD - A Pr/T-Net Reachability Analysis Tool. 1993.

• Varpaaniemi, Kimmo; Rauhamaa, Marko:
  The Subborn Set Method in Practice. 1992.

Back to the Petri Nets Bibliography