Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. Published

    Proceedings of the 2nd Annual SMACC Research Seminar 2017

    Aaltonen, J., Koskinen, K., Virkkunen, R. & Kuivanen, R., 7 Nov 2017, Tampere: Tampere University of Technology. 62 p.

    Research output: Book/ReportAnthologyScientificpeer-review

  2. Published

    Formal Approaches to Testing of Software

    Aaltonen, T. & Helin, J., 2002, Formal Approaches to Testing of Software, FATES'02, A Satellite Workshop of CONCUR'02, Brno, Czech Republic, August 24th 2002, Proceedings. Hierons, T. & Jeron, T. (eds.). p. 65-78

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

  3. Published

    Validating correctness with behavioural abstractions

    Aaltonen, T., 2005, Tampere: Tampere University of Technology. (Tampereen teknillinen yliopisto, Julkaisu; vol. 550)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  4. Published

    Experiences from Developing Configuration Applications

    Aaltonen, A., Paasiala, P., Tanskanen, K. & Riitahuhta, A., 1995, Proceedings of Produktmodeller -95, Linköping, Sweden, 1995. p. 155-165

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

  5. Published

    Interaction of Bootstrap Reservoir and Hydraulic Pump in Aircraft Hydraulic Systems

    Aaltonen, J., 20 Dec 2016, Tampere University of Technology. 106 p. (Tampere University of Technology. Publication; vol. 1448)

    Research output: Book/ReportDoctoral thesisMonograph

  6. Published

    An Action-Oriented Programming Model for Pervasive Computing in a Device Cloud

    Aaltonen, T., Myllärniemi, V., Raatikainen, M., Mäkitalo, N. & Pääkkö, J., 2013, The 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Bangkok, Thailand, December 2-5, 2013. IEEE, p. 467-475 9 p. (Asia-Pacific Software Engineering Conference).

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

  7. Published

    Electrohydraulic System for High Speed Gas Exchange Valve Actuation

    Aaltonen, J. & Vilenius, M., 2002, Proceedings of the 5th JFPS International Symposium on Fluid Power, Nara 2002, November 15, 2002. Japan, p. 775-780

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

  8. Published

    Koneistustekniikat

    Aaltonen, K., Andersson, P. & Kauppinen, V., 1997, Helsinki: WSOY.

    Research output: Book/ReportBookScientificpeer-review

  9. Published

    Water quality control in fluid power systems using tap water as a pressure medium

    Aaltonen, J., Soini, S., Koskinen, K. & Vilenius, M., 1998, Hydraulic Fluids and Alternative Industrial Lubricants (SP-1384), International Off-Highway and Powerplant Congress and Exposion Milwaukee, Wisconsin, September 14-16, 1998. p. 7 s

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

  10. Published

    Experiences on the Water Quality in Water Hydraulics

    Aaltonen, J., 1999, Proceedings of International Workshop on Water Hydraulic Systems and Applications, September 3-4, 1998, Lyngby, Denmark. p. 5 s

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

  11. Published

    DisCo Toolset - The New Generation

    Aaltonen, T., Katara, M. & Pitkänen, R., 2001, In : Journal of Universal Computer Science. 7, 1, p. 3-18

    Research output: Contribution to journalArticleScientificpeer-review

  12. Published

    A consequence and cost analysis of occupational accidents in the furniture industry

    Aaltonen, M., 1996, Helsinki: Institute of Occupational Health. (People and work - research reports; no. 6)

    Research output: Book/ReportDoctoral thesisCollection of Articles

  13. Published

    Näin talomme voivat - yhteenveto ruotsalaisesta BETSI-tutkimuksesta

    Aaltonen, A., 2013, Rakennusfysiikka 2013 : uusimmat tutkimustulokset ja hyvät käytännön ratkaisut, 22.-24.10.2013, Tampere. Vinha, J. & Aaltonen, A. (eds.). Tampere: Tampereen teknillinen yliopisto, rakennustekniikan laitos, rakennetekniikka, p. 127-132 6 p. (Tampereen teknillinen yliopisto, rakennustekniikan laitos, rakennetekniikka, seminaarijulkaisu; no. 3).

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

  14. Published

    Prosessilaitoksen projektitoiminnan kehittäminen tietotekniikan avulla

    Aaltonen, A. & Riitahuhta, A., 1995, In : Valokynä. 1, p. 10-11

    Research output: Contribution to journalArticleProfessional

  15. 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

  16. Published

    System-On-Chip Manufacturing Testing

    Aaltonen, N., 1999, Tampereen teknillinen korkeakoulu. 55 p. (Tampereen teknillinen korkeakoulu, Elektroniikan laitos, Raportti; no. 9/99)

    Research output: Book/ReportCommissioned reportProfessional

  17. Published

    Kylät kehällä. Kyläsuunnittelu kaupunkiseudun ulkokehällä

    Aaltonen, J. (ed.), Hynynen, A. (ed.) & Lodenius, S. (ed.), 2010, Tampere: Kantri ry, Pirkan Helmi ry, Pirkanmaan TE-keskus, Tampereen teknillinen yliopisto. EDGE. 122 p. (Tampereen teknillinen yliopisto. Arkkitehtuurin laitos. EDGE Arkkitehtuuri- ja kaupunkitutkimuslaboratorio)

    Research output: Book/ReportAnthologyScientificpeer-review

  18. Published

    Software Evolution based on Formalized Abstraction Hierarchy

    Aaltonen, T. & Mikkonen, T., 2001, Technical Report UNL-DI-1-2001, Proceedings of the Workshop on Formal Foundations of Software Evolution, March 2001, Lisboa, Portugal. p. 6 s

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

  19. Published

    Air tightness of Structural elements and internal air leakages in a multi-apartment building

    Aaltonen, A., Lähdesmäki, K. & Vinha, J., 2011, Proceedings of the 9th Nordic Symposium on Building Physics NSB2011, Tampere, Finland, 29 May - 2 June 2011. Vinha, J., Piironen, J. & Salminen, K. (eds.). Tampere: Tampere University of Technology, p. 79-86 (Nordic Symposium on Building Physics NSB; vol. 1).

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

  20. 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

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