Doctoral Network in Information Technologies and Mathematics

Publications

Research output per year 2013 2013 2015 2016 2017 2018 2019 2020 2023

• 235 Citations
• 8 h-index
• 34 Conference contribution
• 19 Article
• 12 Commissioned report
• 4 Doctoral Thesis
• 4 More
  • 2 Chapter
  • 1 Abstract
  • 1 Other contribution

Research output per year

Research output per year

Search results

• Commissioned report

  An Excursion Through Quantitative Model Refinement

  Azimi Rashti, S., Czeizler, E., Gratie, D-E., Gratie, C., Iancu, B., Nebiat, I., Petre, I., Rogojin, V., Shadbahr, T. & Shokri-Manninen, F., 2015, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

  2 Citations (Scopus)

• AODVv2: Performance vs. Loop Freedom

  Kamali, M., Merro, M. & Dal Corso, A., 2017, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

• A Systematic Literature Review on Environment Modeling Techniques in Model-Based Testing

  Siavashi, F. & Truscan, D., 2015, TUCS Turku Centre for Computer Science. (TUCS Technical Report; vol. 1129)

  Research output: Book/Journal/Report › Commissioned report › Professional

  Open Access

  File

  • Testing 100%
  • Environment Model 75%
  • Simulation Mode 75%
  • Systematic Literature Review 75%
  • Test Generation 50%
  40 Downloads (Pure)

• Distributed Virtual Machine Consolidation: A Systematic Mapping Study

  Ashraf, A., Byholm, B. & Porres Paltor, I., 2016, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

  File
  36 Downloads (Pure)

• Dynamic Horizontal and Vertical Scaling of Multiple Cloud Services in Soft Real-Time

  Byholm, B. & Porres Paltor, I., 2017, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

• Energy and Power Management, Measurement and Analysis for Multi-Core Processors

  Holmbacka, S., Hällis, F., Lund, K. W., Lafond, S. & Lilius, J., 2014, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

• Fast Algorithms for Fragmentable Items Bin Packing

  Byholm, B. & Porres Paltor, I., 2017, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

• Full Structural Model Refinement as Type Refinement of Colored Petri Nets

  Gratie, D-E. & Petre, I., 2015, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

  1 Citation (Scopus)

• Improving the Modelling Experience in Event-B - A Literature Review

  Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2018, Turku Center for Computer Science (TUCS). (TUCS Technical Report; vol. 1196)

  Research output: Book/Journal/Report › Commissioned report › Professional

  • Events 100%
  • Domains 50%
  • Event Instance 25%
  • Intensive System 25%
  • Generic Application 25%

• Model-Based Performance Testing Using the MBPeT Tool

  Ahmad, T., Abbors, F., Truscan, D. & Porres Paltor, I., 2013, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

  File
  17 Downloads (Pure)

• Tool Support for Automated Workload Model Creation from Web Server Logs

  Abbors, F., Truscan, D. & Ahmad, T., 2014, Turku Center for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

  File
  19 Downloads (Pure)

• Towards a Multi-Objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud

  Ashraf, A., Byholm, B. & Porres Paltor, I., 2015, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional

  File
  16 Downloads (Pure)