Heikki Virtanen

Publication Activity (10 Years)

Years Active: 2002-2014
Publications (10 Years): 0

Top Topics

Information Visualization

Spatio Temporal

Volume Rendering

Top Venues

Publications

Antti Jääskeläinen, Hannu-Matti Järvinen, Heikki Virtanen
Action-Based Visualization. VISSOFT (2014)
Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara
A Comparison of Test Generation Algorithms for Testing Application Interactions. QSIC (2011)
Antti Jääskeläinen, Mika Katara, Shmuel Katz, Heikki Virtanen
Verification of Safety-Critical Systems: A Case Study Report on Using Modern Model Checking Tools. SSV (2011)
Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius
Model-Based Testing Using System vs. Test Models - What Is the Difference?. ECBS (2010)
Antti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, Heikki Virtanen
Automatic GUI test generation for smartphone applications - an evaluation. ICSE Companion (2009)
Antti Jääskeläinen, Antti Kervinen, Mika Katara, Antti Valmari, Heikki Virtanen
Synthesizing Test Models from Test Cases. Haifa Verification Conference (2008)
Heikki Virtanen, Henri Hansen, Antti Valmari, Juha Nieminen, Timo Erkkilä
Tampere Verification Tool. TACAS (2004)
Henri Hansen, Heikki Virtanen, Antti Valmari
Merging State-Based and Action-Based Verification. ACSD (2003)
Antti Valmari, Heikki Virtanen, Antti Puhakka
Context-Sensitive Visibility. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)