Information Technology

Publications

Research output per year 1988 2011 2013 2014 2015 2016 2017 2018 2020 2024

• 8158 Citations
• 39 h-index
• 544 Conference contribution
• 231 Article
• 148 Commissioned report
• 56 Chapter
• 84 More
  • 27 Doctoral Thesis
  • 25 Edited Book/Edited Journal
  • 16 Other contribution
  • 4 Review Article or Literature Review
  • 3 Abstract
  • 1 Foreword/postscript
  • 1 Paper (not published)
  • 1 Poster
  • 1 Comment/debate
  • 1 Conference article
  • 1 Composition
  • 1 Licenciate's thesis
  • 1 Master's thesis
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2019

  Agile Development of Formal Systems Models

  Snook, C., Walden, M., Edmunds, A. & Butler, M., 2019, Turku Center for Computer Science (TUCS). (TUCS Technical Report; vol. 1202)

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

  Open Access

  File

  • Model Fragment 100%
  • Agile Development 100%
  • Formal System 100%
  • Agile Techniques 50%
  • Multiple Dictionaries 50%
  92 Downloads (Pure)
• 2018

  Building and operating a UHF-band test network for providing mission critical marine communication in the Turku archipelago

  Björkqvist, J., Lund, W., Soloviev, V., Tuulos, K. & Suominen, K., 2018, Åbo Akademi University. 17 p.

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

  Open Access

  File
  31 Downloads (Pure)

• 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

  • Modeling Experience 100%
  • Generic Application 100%
  • Software Safety 50%
  • Safety-critical 50%
• 2017

  A Systematic Mapping Study on Tools for API Documentation Generation

  Nybom, K., Ashraf, A. & Porres Paltor, I., 2017, Turku Centre for Computer Science (TUCS).

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

  File
  80 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

• Experimenting with Event-B and Scrum on Student Project Course

  Olszewska, M., Olszewski, M., Ostroumov, S., Shah, G., Rizvi, H. & Altaf, B., 2017, 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

• Fit-preserving refinement of the ErbB signalling pathway

  Iancu, B., Sanwal, U., Gratie, C. & Petre, I., 2017, Turku Centre for Computer Science. 16 p. (TUCS technical report; no. 1187)

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

  • ErbB Signaling Pathway 100%
  • Model Augmentation 100%
  • High-level Abstraction 100%
  • Computationally Intensive 100%
  • ErbB1 100%

• Generating the Logicome from Microarray Data

  Panchal, C. & Rogojin, V., 2017, Turku Centre for Computer Science (TUCS).

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

  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
  47 Downloads (Pure)

• Modelling Link State Routing in Event-B

  Kamali, M. & Petre, L., 2016, Turku Centre for Computer Science (TUCS).

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

• Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems

  Azimi Rashti, S., Panchal, C., Mizera, A. & Petre, I., 2016, Turku Centre for Computer Science (TUCS).

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

• NetControl4BioMed: A pipeline for biomedical data acquisition and analysis of network controllability

  Kanhaiya, K., Rogojin, V., Kazemi, K., Czeizler, E. & Petre, I., 2016, Turku Centre for Computer Science (TUCS).

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

• NetControl4BioMed – Automated discovery of combined drug therapy

  Rogojin, V., Kazemi, K., Kanhaiya, K., Czeizler, E. & Petre, I., 2016, Turku Centre for Computer Science (TUCS).

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

• Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell

  Ehrenfeucht, A., Petre, I. & Rozenberg, G., 2016, Turku Centre for Computer Science (TUCS).

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

• Specification and Automated Verification of Dynamic Dataflow Networks

  Wiik, J. & Boström, P., 2016, Turku Centre for Computer Science (TUCS).

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

• Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting

  Olszewska, M., Ostroumov, S. & Walden, M., 2016, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1152)

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

  • Scrum 100%
  • Landing Gear 100%
  • Formal Modeling 66%
  • Development Approach 50%
  • Agile Methods 50%

• Target Controllability of Linear Networks

  Czeizler, E., Gratie, C., Wu, K., Kanhaiya, K. & Petre, I., 2016, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional
  12 Citations (Scopus)

• The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL.

  Iqbal, J., Tsiopoulos, L., Truscan, D., Jüri, V. & Porres Paltor, I., 2016, Turku Center of Computer Science.

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

  Open Access

  File

  • Compositional Testing 100%
  • Aspect-oriented Modeling 100%
  • UPPAAL 100%
  • Crisis Management Systems 100%
  • Compositional Verification 100%
  26 Downloads (Pure)

• Uppaal vs Event-B for Modelling Optimised Link State Routing

  Kamali, M. & Petre, L., 2016, Turku Centre for Computer Science (TUCS).

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

  Analysis and Transcoding Time Prediction of Online Videos

  Deneke, T., Lafond, S. & Lilius, J., 2015, Turku Centre for Computer Science (TUCS).

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

• 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)

• 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

  • Environment Modeling 100%
  • Modeling Techniques 100%
  • Environment Model 100%
  • Nondeterministic Behavior 25%
  • Academic Publishing 25%
  55 Downloads (Pure)

• A Systematic Review of API Usability Evaluation Methods

  Rauf, I. & Porres Paltor, I., 2015, Turku Centre for Computer Science (TUCS).

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

• Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems

  Boström, P., Heikkilä, M., Huova, M., Walden, M. & Linjama, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1136)

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

  File

  • Stochastic Disturbance 100%
  • Hypothesis Testing 100%
  • Hydraulic Power 100%
  • Computer Control 100%
  • Random Disturbance 100%
  28 Downloads (Pure)

• Complete Characterization for the Fit-Preserving Data Refinement of Mass-Action Reaction Networks

  Gratie, C. & Petre, I., 2015, Turku Centre for Computer Science (TUCS).

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

• Facilitating Formal Event-B Development by Visual Component-based Design

  Ostroumov, S. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1148)

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

  • Event-B Specifications 100%
  • Visual Components 100%
  • Component Design 100%
  • Graphical Representation 100%
  • component based design 100%

• Formal Library of Visual Components

  Ostroumov, S. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1147)

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

  • Visual Component 100%
  • Formal Library 100%
  • Proof Obligation 50%
  • Correctness Proofs 50%
  • System Development 50%

• Formal Reasoning about Resilient Goal-Oriented Multi-Agent Systems

  Laibinis, L., Pereverzeva, I. & Troubitsyna, E., 2015, 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)

• Generating the Logicome of a Biological Network

  Shah, C., Azimi Rashti, S. & Petre, I., 2015, Turku Centre for Computer Science (TUCS).

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

• Improved Recovery for Proactive, Distributed Routing

  Kamali, M. & Petre, L., 2015, Turku Centre for Computer Science (TUCS).

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

• Modelling “Operation-Calls” in Event-B with Shared-Event Composition

  Edmunds, A. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1144)

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

  File

  • High-integrity Systems 100%
  • Event Composition 100%
  • Event Modeling 50%
  • Reuse Strategy 50%
  • Mathematical Rigour 50%
  28 Downloads (Pure)

• Reaction Systems Models for the Self-Assembly of Intermediate Filaments

  Azimi Rashti, S., Shah, C., Czeizler, E. & Petre, I., 2015, Turku Centre for Computer Science (TUCS).

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

• 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
  19 Downloads (Pure)

• Towards Component-Based Reuse for Event-B

  Edmunds, A., Snook, C. & Walden, M., 2015, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1140)

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

  File

  • Component-based 100%
  • component based system 100%
  • Abstract Model 50%
  • Model-based Decomposition 50%
  • Model Complexity 50%
  19 Downloads (Pure)

• TRON2UPPAAL Backtracer Tool – From TRON Logs to UPPAAL Traces

  Iqbal, J., Truscan, D., Vain, J. & Porres Paltor, I., 2015, Turku Centre for Computer Science.

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

  Open Access

  File

  • Test Generation 100%
  • Timed Automaton 100%
  • Aspect-Oriented 100%
  • Technical Report 100%
  • Test Benchmark 50%
  23 Downloads (Pure)
• 2014

  An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development

  Parsa, M., Walden, M. & Snook, C., 2014, Åbo Akademi University. (TUCS Technical Report; vol. 1127)

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

  Open Access

  File

  • Specification Tool 100%
  • Formal Development 100%
  • Formal Specification Languages 100%
  • Development Process 100%
  • Parallelizing 40%
  44 Downloads (Pure)

• Complexity of Model Checking for Reaction Systems

  Azimi Rashti, S., Gratie, C., Ivanov, S., Manzoni, L., Petre, I. & Porreca, A. E., 2014, Turku Centre for Computer Science (TUCS).

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

• Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code

  Wiik, J. & Boström, P., 2014, Turku Centre for Computer Science (TUCS).

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

  4 Citations (Scopus)

• Cost-Efficient, Utility-Based Caching of Expensive Computations in the Cloud

  Byholm, B., Jokhio, F., Ashraf, A., Lafond, S., Lilius, J. & Porres Paltor, I., 2014, Turku Centre for Computer Science (TUCS).

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

• Dependency Graphs and Mass Conservation in Reaction Systems

  Azimi Rashti, S., Gratie, C., Ivanov, S. & Petre, I., 2014, Turku Centre for Computer Science (TUCS).

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

• Deriving Efficient and Dependable Parallel Programs from Simulink Models

  Ostroumov, S., Boström, P., Walden, M. & Huova, M., 2014, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1111)

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

  Open Access

  File

  • Parallel Programming 100%
  • Resilience Level 100%
  • Simulink Model 100%
  • Data Loss 50%
  • Design Chain 50%
  84 Downloads (Pure)

• Did It Actually Go This Well? A Large-Scale Case Study on an Agile Transformation

  Olszewska, M., Heidenberg, J., Weijola, M., Mikkonen, K. & Porres Paltor, I., 2014, TUCS Turku Centre for Computer Science.

  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

• FormAgi – A Concept for More Flexible Formal Developments

  Olszewska, M. & Walden, M., 2014, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; vol. 1124)

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

  File

  • Software Systems 100%
  • Agile Methods 100%
  • Development Framework 100%
  • Quality Attribute 100%
  • Agile Development 100%
  146 Downloads (Pure)

• Formal Derivation of Distributed MapReduce

  Laibinis, L., Butler, M., Salehi Fathabadi, A., Vistbakka, I. & Troubitsyna, E., 2014, Turku Centre for Computer Science (TUCS).

  Research output: Book/Journal/Report › Commissioned report › Professional
  3 Citations (Scopus)

• Formally Analyzing Proactive, Distributed Routing

  Kamali, M., Kamali, M. & Petre, L., 2014, Turku Centre for Computer Science (TUCS).

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

• 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
  23 Downloads (Pure)

• Towards Rigorous Construction of Safety Cases

  Prokhorova, I., Laibinis, L. & Troubitsyna, E., 2014, Turku Centre for Computer Science (TUCS).

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