Tampere University of Technology

TUTCRIS Research Portal

Publications

  1. Published

    Komponentin ja järjestelmän elinkaaren mallintaminen analyyttisillä menetelmillä

    Aaltonen, J., 2012, Hydraulijärjestelmien modernisointi, 21.-22.3.2012, Suomen ilmailumuseo, Vantaa, Kunnossapitoyhdistys. Helsinki: Kunnossapitoyhdistys ProMaint, p. 1-9 9 p.

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

  2. Published

    On horizontal specification architectures and their aspect-oriented implementations

    Aaltonen, T., Katara, M., Kurki-Suonio, R. & Mikkonen, T., 2006, In : Lecture Notes in Computer Science. 4242, p. 1-29 29 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

    Engineering Knowledge Systematization for Knowledge Based Expert System and Object-Oriented Database

    Aaltonen, A., 1996, Tampere: Tampereen teknillinen korkeakoulu. 87 p. (Tampereen teknillinen korkeakoulu, Konetekniikan osasto, Koneensuunnittelu; no. 62)

    Research output: Book/ReportCommissioned reportProfessional

  4. Published

    Detecting and eliminating the measurement error caused by free air in aircraft hydraulic system on-line particle counting

    Aaltonen, J. & Koskinen, K. T., 2011, The Twelfth Scandinavian International Conference on Fluid Power, SICFP'11, May 18-20, 2011, Tampere, Finland. Tampere: Scandinavian International Conference on Fluid Power, p. 229-240 (Scandinavian International Conference on Fluid Power SICFP; vol. 12, no. 1).

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

  5. Published

    Hyvä raportti

    Aaltonen, J., Korsman, U. & Laukkanen, S., 1995, Tampere: Tampereen teknillinen korkeakoulu. 111 p. (Tampereen teknillinen korkeakoulu, Teollisuustalous, Opetusmonisteita Raportti; no. 2/95)

    Research output: Book/ReportCommissioned reportProfessional

  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

    Managing software evolution with a formalised abstraction hierarchy

    Aaltonen, T. & Mikkonen, T., 2008, In : International Journal of Computer Applications in Technology. 31, 1/2, p. 120-130

    Research output: Contribution to journalArticleScientificpeer-review

  8. Published

    Automaattinen komponenttien valintajärjestelmä

    Aaltonen, A., Paasiala, P. & Riitahuhta, A., 1993, Koneensuunnittelun XVIII kansallinen symposiumi Oulussa 7.-8.6.1993. Leinonen, T. (ed.). Oulu, p. 26-35 (Oulun yliopisto, Raportti; no. 92).

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

  9. Published

    DISCO Toolset - The New Generation

    Aaltonen, T., Katara, M. & Pitkänen, R., 2000, FM-TOOLS 2000, The 4th Workshop on Tools for System Design and Verification, Reisenburg Castle near Ulm, Germany, Monday 10 July - Thursday 13 July 2000. Schellhorn, G. (ed.). p. 11-15

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

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