Kimmo Varpaaniemi

According to our database, Kimmo Varpaaniemi authored at least 19 papers between 1992 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems.

Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi

Proceedings of the 28th International Workshop on Concurrency, 2019

2013

Developing mode-rich satellite software by refinement in Event-B.

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala

Sci. Comput. Program., 2013

Deployment in the Space Sector.

Dubravka Ilic, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

Deriving a mode logic using failure modes and effects analysis.

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala

Int. J. Crit. Comput. Based Syst., 2012

2011

Derivation and Formal Verification of a Mode Logic for Layered Control Systems.

Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Verifying Mode Consistency for On-Board Satellite Software.

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala

Proceedings of the Computer Safety, 2010

Supporting Reuse in Event B Development: Modularisation Approach.

Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala

Proceedings of the Abstract State Machines, 2010

2008

Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets.

Kimmo Varpaaniemi, Leo Ojala

Fundam. Informaticae, 2008

2007

A Case Study: Applying Lyra in Modeling S60 Camera Functionality.

Jukka Honkola, Sari Leppänen, Pasi Rinne-Rahkola, Martti Soderlund, Markku Turunen, Kimmo Varpaaniemi

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2005

On Stubborn Sets in the Verification of Linear Time Temporal Properties.

Kimmo Varpaaniemi

Formal Methods Syst. Des., 2005

2004

Stubborn Sets for Priority Nets.

Kimmo Varpaaniemi

Proceedings of the Computer and Information Sciences, 2004

2003

Towards Ambitious Approximation Algorithms in Stubborn Set Optimization.

Kimmo Varpaaniemi

Fundam. Informaticae, 2003

Automatic Formal Model Generation and Analysis of SDL.

Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi

Proceedings of the SDL 2003: System Design, 2003

2002

Minimizing the Number of Successor States in the Stubborn Set Method.

Kimmo Varpaaniemi

Fundam. Informaticae, 2002

2000

Stable Models for Stubborn Sets.

Kimmo Varpaaniemi

Fundam. Informaticae, 2000

Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.

Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1997

prod 3.2: An Advanced Tool for Efficient Reachability Analysis.

Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1994

On Combining the Stubborn Set Method with the Sleep Set Method.

Kimmo Varpaaniemi

Proceedings of the Application and Theory of Petri Nets 1994, 1994

1992

The Stubborn Set Method in Practice.

Kimmo Varpaaniemi, Marko Rauhamaa

Proceedings of the Application and Theory of Petri Nets 1992, 1992