The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kimmo Varpaaniemi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi
    Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2000, pp:244-260 [Conf]
  2. Kimmo Varpaaniemi
    On Combining the Stubborn Set Method with the Sleep Set Method. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:548-567 [Conf]
  3. Kimmo Varpaaniemi
    On Stubborn Sets in the Verification of Linear Time Temporal Properties. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1998, pp:124-143 [Conf]
  4. Kimmo Varpaaniemi, Marko Rauhamaa
    The Stubborn Set Method in Practice. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1992, pp:389-393 [Conf]
  5. Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius
    prod 3.2: An Advanced Tool for Efficient Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:472-475 [Conf]
  6. Kimmo Varpaaniemi
    Stubborn Sets for Priority Nets. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2004, pp:574-583 [Conf]
  7. Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
    Automatic Formal Model Generation and Analysis of SDL. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2003, pp:285-299 [Conf]
  8. Kimmo Varpaaniemi
    On Stubborn Sets in the Verification of Linear Time Temporal Properties. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:1, pp:45-67 [Journal]
  9. Kimmo Varpaaniemi
    Minimizing the Number of Successor States in the Stubborn Set Method. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:215-234 [Journal]
  10. Kimmo Varpaaniemi
    Stable Models for Stubborn Sets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:355-375 [Journal]
  11. Kimmo Varpaaniemi
    Towards Ambitious Approximation Algorithms in Stubborn Set Optimization. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:279-294 [Journal]

  12. Supporting Reuse in Event B Development: Modularisation Approach. [Citation Graph (, )][DBLP]


  13. A Case Study: Applying Lyra in Modeling S60 Camera Functionality. [Citation Graph (, )][DBLP]


  14. Verifying Mode Consistency for On-Board Satellite Software. [Citation Graph (, )][DBLP]


  15. Developing Mode-Rich Satellite Software by Refinement in Event B. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002