Kimmo Varpaaniemi

Publication Activity (10 Years)

Years Active: 1992-2019
Publications (10 Years): 1

Top Topics

Programmable Logic

Hardware Design

Top Venues

Int. J. Crit. Comput. Based Syst.

Sci. Comput. Program.

Publications

Viorel Preoteasa, Timo Latvala, Kimmo Varpaaniemi
Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems. CS&P (2019)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing mode-rich satellite software by refinement in Event-B. Sci. Comput. Program. 78 (7) (2013)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Deriving a mode logic using failure modes and effects analysis. Int. J. Crit. Comput. Based Syst. 3 (4) (2012)
Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna, Kimmo Varpaaniemi, Timo Latvala
Derivation and Formal Verification of a Mode Logic for Layered Control Systems. APSEC (2011)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Developing Mode-Rich Satellite Software by Refinement in Event B. FMICS (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Pauli Väisänen, Dubravka Ilic, Timo Latvala
Verifying Mode Consistency for On-Board Satellite Software. SAFECOMP (2010)
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala
Supporting Reuse in Event B Development: Modularisation Approach. ASM (2010)
Kimmo Varpaaniemi, Leo Ojala
Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets. Fundam. Informaticae 85 (1-4) (2008)
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)
Kimmo Varpaaniemi
On Stubborn Sets in the Verification of Linear Time Temporal Properties. Formal Methods Syst. Des. 26 (1) (2005)
Kimmo Varpaaniemi
Stubborn Sets for Priority Nets. ISCIS (2004)
Kimmo Varpaaniemi
Towards Ambitious Approximation Algorithms in Stubborn Set Optimization. Fundam. Informaticae 54 (2-3) (2003)
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
Automatic Formal Model Generation and Analysis of SDL. SDL Forum (2003)
Kimmo Varpaaniemi
Minimizing the Number of Successor States in the Stubborn Set Method. Fundam. Informaticae 51 (1-2) (2002)
Nisse Husberg, Teemu Tynjälä, Kimmo Varpaaniemi
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. ICATPN (2000)
Kimmo Varpaaniemi
Stable Models for Stubborn Sets. Fundam. Informaticae 43 (1-4) (2000)
Kimmo Varpaaniemi
On Stubborn Sets in the Verification of Linear Time Temporal Properties. ICATPN (1998)
Kimmo Varpaaniemi, Keijo Heljanko, Johan Lilius
prod 3.2: An Advanced Tool for Efficient Reachability Analysis. CAV (1997)
Kimmo Varpaaniemi
On Combining the Stubborn Set Method with the Sleep Set Method. Application and Theory of Petri Nets (1994)
Kimmo Varpaaniemi, Marko Rauhamaa
The Stubborn Set Method in Practice. Application and Theory of Petri Nets (1992)