Kimmo Varpaaniemi

21 papers A* 1B 1C 2Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2019 — conf
Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems.
CS&P
Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi
2013 — ch.
Deployment in the Space Sector.
Industrial Deployment of System Engineering Methods
Dubravka Ilic, Linas Laibinis, Timo Latvala, Elena Troubitsyna, Kimmo Varpaaniemi
2013 J jnl
Developing mode-rich satellite software by refinement in Event-B.
Sci. Comput. Program.
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
2012 J jnl
Deriving a mode logic using failure modes and effects analysis.
Int. J. Crit. Comput. Based Syst.
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
2011 C conf
Derivation and Formal Verification of a Mode Logic for Layered Control Systems.
APSEC
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
2010 C conf
Developing Mode-Rich Satellite Software by Refinement in Event B.
FMICS
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
2010 — conf
Supporting Reuse in Event B Development: Modularisation Approach.
ASM
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
2010 B conf
Verifying Mode Consistency for On-Board Satellite Software.
SAFECOMP
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala
2008 J jnl
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets.
Fundam. Informaticae
Kimmo Varpaaniemi, Leo Ojala
2007 — conf
A Case Study: Applying Lyra in Modeling S60 Camera Functionality.
ECBS
Jukka Honkola, Sari Leppänen, Pasi Rinne-Rahkola, Martti Soderlund, Markku Turunen, Kimmo Varpaaniemi
2005 J jnl
On Stubborn Sets in the Verification of Linear Time Temporal Properties.
Formal Methods Syst. Des.
Kimmo Varpaaniemi
2004 — conf
Stubborn Sets for Priority Nets.
ISCIS
Kimmo Varpaaniemi
2003 — conf
Automatic Formal Model Generation and Analysis of SDL.
SDL Forum
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
2003 J jnl
Towards Ambitious Approximation Algorithms in Stubborn Set Optimization.
Fundam. Informaticae
Kimmo Varpaaniemi
2002 J jnl
Minimizing the Number of Successor States in the Stubborn Set Method.
Fundam. Informaticae
Kimmo Varpaaniemi
2000 — conf
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.
ICATPN
Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi
2000 J jnl
Stable Models for Stubborn Sets.
Fundam. Informaticae
Kimmo Varpaaniemi
1998 — conf
On Stubborn Sets in the Verification of Linear Time Temporal Properties.
ICATPN
Kimmo Varpaaniemi
1997 A* conf
prod 3.2: An Advanced Tool for Efficient Reachability Analysis.
CAV
Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius
1994 — conf
On Combining the Stubborn Set Method with the Sleep Set Method.
Application and Theory of Petri Nets
Kimmo Varpaaniemi
1992 — conf
The Stubborn Set Method in Practice.
Application and Theory of Petri Nets
Kimmo Varpaaniemi, Marko Rauhamaa