Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. Published

    Verification of an IP Interface Prototype Design through Simulation and Emulation

    Lahtinen, V., Kuusilinna, K., Hämäläinen, T. & Saarinen, J., 2001, Proceedings of the 5th WSES International Conference on Circuits, Systems, Communications and Computers (CSCC 2001), July 8-15, 2001, Rethymno, Greece. Mastorakis, N. (ed.). p. 4741-4746

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  2. Published

    Verification of an IP Interface Prototype Design through Simulation and Emulation

    Lahtinen, V., Kuusilinna, K., Hämäläinen, T. & Saarinen, J., 2001, Advances in Signal Processing and Computer Technologies. Electrical and Computer Engineering Series. A Series of Reference Books and Textbooks.. Antoniou, G. (ed.). Kreikka: WSES Press, p. 511-516

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  3. Published

    Verification of fluxes for flip chip assembly

    Tuominen, A., Lehtinen, V., Kulojärvi, K. & Kivilahti, J., 1998, In : International journal of microcircuits and electronic packaging. 21, 4, p. 316-321

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

    Verification of pressure losses in a hydraulic hoses and fittings

    Ijas, M. & Virvalo, T., 2001, The Seventh Scandinavian International Conference on Fluid Power, SICFP´01, Linköping, Sweden, May 30 - June 1, 2001. p. 179-190

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  5. Published

    Verification of railway multibody simulation models

    Loponen, T-R., 12 Jun 2018.

    Research output: Other conference contributionPaper, poster or abstractScientific

  6. Accepted/In press

    Verification of railway vehicle models by stationary eigenmode analysis

    Loponen, T-R., Salmenperä, P. & Nurmikolu, A., 2018, (Accepted/In press) Proceedings of the Fourth International Conference on Railway Technology. Civil-Comp Press

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  7. Published

    Verification of Reactive Systems Using DisCo and PVS

    Kellomäki, P., 1997, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods, Graz, Austria, September 1997. Julkaistu sarjassa: Lecture Notes in Computer Science. Fitzgerald, J., Jones, C. B. & Lucas, P. (eds.). Springer, p. 589-604

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  8. Published

    Verification of safety-critical systems: a case study report on using modern model checking tools

    Jääskeläinen, A., Katara, M., Katz, S. & Virtanen, H., 2012, Proceedings of the 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, Germany, 26 August 2011. Braner, J., Roveri, M. & Tews, H. (eds.). Dresden, Germany: TU Dresden, p. 66-80 (International Workshop on Systems Software Verification).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  9. Published

    Verification of Self-Synchronizing Alternating Bit Protocols with ARA

    Puhakka, A. & Valmari, A., 1997, Proceedings of the Fifth Symposium on Programming Languages and Software Tools, June 7-8, 1997, Jyväskylä, Finland. Paakki, J. (ed.). Helsinki: Yliopistopaino, p. 167-178

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  10. Published

    Verification of the Behaviour of Reactive Software with CFFD-Semantics and Ara Tools

    Valmari, A. & Savola, R., 1996, Proceedings of an International Symposium 'On- Board-time Software', ESTEC, Noordwijk, 13-15 November 1995. ESA SP-375 ESA SP-375, p. 173-180

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  11. Published

    Verification of the consistency of timing constraints of the orchestration of factory automation web services

    Popescu, C. & Martinez Lastra, J. L., 2007, INDIN 2007, the 5th International Conference on Industrial Informatics, July 23-27, 2007, Vienna, Austria. p. 785-790

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  12. Published

    Verification of the reason for weld cracking

    Tiainen, T. & Huang, H., 1994, Tampere: Tampereen teknillinen korkeakoulu. 19 p. (Tampereen teknillinen korkeakoulu, Materiaaliopin laitos, Raportti; no. 19/1994)

    Research output: Book/ReportCommissioned reportProfessional

  13. Published

    Verification of the Reasons for Weld Cracking in a High Strength Low Alloy Steel Joint

    Tiainen, T. & Huang, H., 1997, In: Book of Proceedings, The ASM International European Conference on Welding and Joining Science and Technology, Madrid, Spain, 10-12 March 1997. p. 608-614

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  14. Published

    Verification with the Undefined: A New Look

    Kangas, A. & Valmari, A., 2003, Proceedings. Eight International Workshop on Formal Methods for Industrial Critical Systems, Roros, Norway, June 5-7, 2003. Arts, T. & Fokkink, W. (eds.). p. 122-137

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  15. Published

    Verifying External Data Memory Interface for H.263 Video DSP with Memory Simulator

    Alakarhu, J., Niittylahti, J., Sihvo, T. & Tanskanen, J., 2000, Proceedings, EUSIPCO 2000, September 4-8, 2000, Tampere, Finland. Gabbouj, M. (ed.). Tampere, p. 275-278

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  16. Published

    Verifying Real-Time Joint Action Specifications Using Timed Automata

    Aaltonen, T., Katara, M. & Pitkänen, R., 2000, Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. Yulin, F. (ed.). Beijing, China: Publishing House of Electronics Industry, International Federation for Information Processing, p. 516-525

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  17. Published

    Verifying Safety by Combining Joint Actions with a Process-Algebraic Approach

    Aaltonen, T. & Pitkänen, R., 1999, Tampere: Tampereen teknillinen korkeakoulu. 27 p. (Tampereen teknillinen korkeakoulu, Ohjelmistotekniikan laitos, Raportti; no. 19)

    Research output: Book/ReportCommissioned reportProfessional

  18. Published

    Verifying the indication method for high-resistance earth faults implemented in centralized protection system

    Nikander, A., Valtari, J., Raipala, O. & Kettunen, E., 2013, 22nd International Conference and Exhibition on Electricity Distribution, CIRED 2013. 615 CP ed. Vol. 2013. 1130

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  19. Published

    Verifying the usefulness of linear model in the design of heavy pneumatic position servo

    Virvalo, T., 1995, Ninth World Congress on the Theory of Machines and Mechanisms, Milano , Italy, August 29-September 2. Milano, p. 1381-1385

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  20. Published

    Verkkolokit tiedon jakamisen välineenä

    Kaikuvuo, I. & Huhtamäki, J., 2006, Carpe Diem - suuntaa huomiseen. Interaktiivinen tekniikka koulutuksessa konferenssi, Aulanko, Hämeenlinna 6.-7.4.2006. Muttonen, J. (ed.). p. 27-28 (Hämeen kesäyliopiston julkaisuja, sarja B).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  21. Published

    Verkko-opetuksen laatu

    Silius, K., Tervakari, A-M., Kalliomäki, E. & Kaunismaa, K., 2005, Tietoyhteiskunta - Myytit ja todellisuus. Kasvio, A., Inkinen, T. & Liikala, H. (eds.). Tampere, p. 55 - 276

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

  22. Published

    Verkko-opetuksen laatu

    Silius, K., Tervakari, A-M., Kalliomäki, E. & Kaunismaa, K., 2005, In : Peda-forum - yliopistopedagoginen tiedotuslehti. 12, 1, p. 7-9

    Research output: Contribution to journalArticleProfessional

  23. Published
  24. Verkko-oppimisympäristöjen kehittäminen: miten tasapainoillaan kurssien massatuotannon ja laadukkaamman työelämän tarpeisiin suunnatun oppimisen välillä?

    Kauppi, A., Säntti, R. & Nokelainen, P., 2013, In : Ammattikasvatuksen aikakauskirja. 15, 3, p. 4-10

    Research output: Contribution to journalArticleScientific

  25. Published

    Verkko-oppimisympäristöt itsearvioinnin ja opetussuunnitelmatyön tukena!

    Hautakangas, S., 2002, ITK 2002, Yhdessä uuteen oppimisen toimintakulttuuriin, Interaktiivinen tekniikka koulutuksessa, 17.-19.4.2002, Hämeenlinna. p. 83-84

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  26. Published

    Verkkopalvelun käyttökelpoisuuden arvioiminen -oppimateriaali: Tampereen teknillinen yliopisto

    Tervakari, A-M. & Silius, K., 2005

    Research output: Artistic and non-textual formDigital or Visual ProductsScientific

  27. Published

    Verkkopalvelun sisällöntuotanto -oppimateriaali: Tampereen teknillinen yliopisto

    Tervakari, A-M. & Silius, K., 2005

    Research output: Artistic and non-textual formDigital or Visual ProductsScientific

  28. Published

    Verkkosisällön saavutettavuusohjeet (WCAG) 2.0, virallinen suomenkielinen käännös

    Nykänen, O. (ed.) & Tervakari, A-M. (ed.), 2011, Tampere: World Wide Web Consortium W3C. 37 p. (World Wide Web Consortium W3C)

    Research output: Book/ReportAnthologyScientificpeer-review

  29. Verkkosivuston informaatioarkkitehtuurin heuristinen evaluointi: PIKI-verkkokirjasto

    Lappalainen, Y., 4 Jun 2012, University of Tampere. 77 p.

    Research output: Book/ReportMaster's ThesisScientific

  30. Published

    Verkkovirran särön pienentäminen eri tehoisissa hitsauskäytöissä

    Törölä, M., 2002, Tampereen teknillinen korkeakoulu. 47 p. (Tampereen teknillinen korkeakoulu, Tehoelektroniikka, Raportti; no. 5/2002)

    Research output: Book/ReportCommissioned reportProfessional

  31. Published

    Verkon hyödyntäminen opetuksessa

    Poikelispää, M., Kylmälä, M. & Järvelä, P., 2004, Tampere: Unknown Publisher. 51 p. (Tampereen teknillinen yliopisto, Muovi- ja elastomeeritekniikka, Raportti; vol. 07/04)

    Research output: Book/ReportCommissioned reportProfessional

  32. Published

    Verkon kanssa sarjaan kytketyn sarjahybridisuotimen simulointi ja testaus

    Turunen, J., 2004, Unknown Publisher. 64 p. (Tampereen teknillinen yliopisto, Tehoelektroniikka, Tutkimusraportti; no. 2004/5)

    Research output: Book/ReportCommissioned reportProfessional

  33. Published

    Verkostoanalyysi sosiaalisen median tutkimuksessa

    Huhtamäki, J. & Parviainen, O., 2013, Otteita verkosta - verkon ja sosiaalisen median tutkimusmenetelmät. Laaksonen, S-M., Matikainen, J. & Tikka, M. (eds.). 1 ed. Tampere: Vastapaino, p. 245-273 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  34. Published

    Verkostobiofilmit tautia aiheuttavien bakteerien tuki vai tuho?

    Vuoriranta, P., 2005, In : Vesitalous. 4, p. 16-18

    Research output: Contribution to journalArticleScientificpeer-review

  35. Published

    Verkostoista vetoa aluekehitykseen

    Pakarinen, T., 2003, In : Aamulehti. p. s. 2

    Research output: Contribution to journalArticleGeneral public

  36. Published

    Verkostoitumisen riskit ja puolustusvoimien hankinnat

    Ojala, M., Uusi-Rauva, E. & Hallikas, J., 2004, Unknown Publisher. 84 p. (Tampereen teknillinen yliopisto, Tuotantotalous, Tutkimusraportti; no. 5/2004)

    Research output: Book/ReportCommissioned reportProfessional

  37. Published

    Verkostoitumispalvelun visualisoinnit opetuksen tukena

    Tervakari, A-M., Silius, K., Kailanto, M. & Huhtamäki, J., 2012, Osallistava korkeakoulutus. Mäkinen, M., Annala, J., Korhonen, V., Vehviläinen, S., Norrgrann, A-M., Kalli, P. & Svärd, P. (eds.). Tampere: Tampere University Press, p. 201-229

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  38. Published

    Verkosto kaupunkirakenteen analyysin ja suunnittelun välineenä

    Ylä-Anttila, K., 26 Mar 2010, Tampere: Tampere University of Technology. 226 p.

    Research output: Book/ReportDoctoral thesisMonograph

  39. Published

    Verkostokyliä ja maisemakaupunkeja - kytkeytyvän "maaseudun" suunnittelu

    Hynynen, A., 2007, In : Yhdyskuntasuunnittelu. 45, 2, p. 64-69

    Research output: Contribution to journalArticleScientificpeer-review

  40. Published

    Verkostometsää raivaamassa

    Kouri, I. & Seppänen, M., 2003, In : STO Jäsenlehti (Suomen Tuotannonohjausyhdistys ry:n jäsenlehti). 1, p. 19-21

    Research output: Contribution to journalArticleProfessional

  41. Published

    Verkoston toiminnanohjauksen vaativa haaste

    Kouri, I. & Seppänen, M., 2003, In : TietoEnator, Lean System, Asiakastiedote. 1, p. 10-13

    Research output: Contribution to journalArticleGeneral public

  42. Published

    Verkoston varrella

    Rajala, R., 2010, Hyvän veden ja hyvien yhteyksien kaupunki : Riihimäen Veden historia. Juuti, P., Rajala, R., Pietilä, P. & Katko, T. (eds.). TamPub, p. 184-229

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  43. Published

    Verkostosuunnittelu kehittyy

    Lakervi, E., 1992, In : Sähköuutiset. 5, p. 14-15

    Research output: Contribution to journalArticleProfessional

  44. Published

    Verkostotalouteen sopeudutaan uudelleenjärjestelyin

    Kaivola, R., 1997, In : Tekniikka & Talous. 4.12., p. 18-18

    Research output: Contribution to journalArticleProfessional

  45. Published

    Verkostourbanismi

    Alppi, S. & Ylä-Anttila, K., 2007, In : Yhdyskuntasuunnittelu. 45, 2, p. 10-26

    Research output: Contribution to journalArticleScientificpeer-review

  46. Published

    Verkot taustalle näkymättömiksi, Liikkuvuus saa uusia ulottuvuuksia

    Mäkelä, J., Tenhunen, J., Typpö, V., Majanen, M., Jokikyyny, T., Rinta-aho, T., Ylitalo, J., Latvala, M. & Heikkinen, S., 2006, In : Prosessori. 1, p. 46-49

    Research output: Contribution to journalArticleScientific

  47. Published

    Verkottuminen muuttaa suunnittelua

    Kaivola, R., 1997, In : Tekniikka & Talous. 25.9., p. 10-10

    Research output: Contribution to journalArticleProfessional

  48. Published

    Verkottuneiden järjestelmien diagnostiikkaan käytettävien tilastollisten mallien identifiointi

    Rajala, M., 2005, Automaatio 05, Seminaaripäivät, 6.-8.9.2005, Helsinki. SAS julkaisusarja. Ylén, J-P. (ed.). p. 457-462

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

  49. Published

    Verla arkkitehtiopiskelijoiden harjoitustyönä

    Tallqvist, T., Pyykkö, H., Heinonen, V., Laakkonen, I. & Penttilä, J., 1998, Tampere: Tampereen teknillinen korkeakoulu. 119 p. (Tampereen teknillinen korkeakoulu, Arkkitehtuurin osasto, Arkkitehtuu- rin historian ja teorian laitos; no. 2)

    Research output: Book/ReportCommissioned reportProfessional

  50. Published

    VERNADOC - documenting vernacular architecture

    Mattila, M., 2011, CIAV VERNADOC 2010: Keski-Skandinavian suomalaiset: Östmarkin kirkko, savutuvat. Mattila, M. (ed.). Helsinki: Suomen ICOMOS, kansanrakentamisen komitea, p. 92-93

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

Download list To download, please limit the number of search results to 1,000 or less.