Informaatioteknologia

Julkaisut

Julkaisuja vuodessa 1988 2011 2013 2014 2015 2016 2017 2018 2020 2024

• 8241 Viittaukset
• 39 h-index
• 548 Konferenssiartikkeli
• 231 Artikkeli
• 148 Tutkimusraportti
• 56 Luku
• 83 Lisää
  • 27 Tohtorinväitöskirja
  • 25 Antologia/toimitettu lehti
  • 16 Muu myötävaikuttaminen
  • 4 Katsausartikkeli
  • 3 Tiivistelmä
  • 1 Esipuhe/jälkisanat
  • 1 Tutkielma
  • 1 Ilmoitus
  • 1 Keskustelupuheenvuoro
  • 1 Sävellysteos
  • 1 Lisensiaatin tutkielma
  • 1 Pro gradu
  • 1 Työpaperi

Julkaisuja vuodessa

Julkaisuja vuodessa

Hakutulokset

• 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; Vuosikerta 1202)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

  • Model Fragment 100%
  • Agile Development 100%
  • Formal System 100%
  • Agile Techniques 50%
  • Multiple Dictionaries 50%
  95 Lataukset (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 Sivumäärä

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto
  32 Lataukset (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; Vuosikerta 1196)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto
  87 Lataukset (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).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Fast Algorithms for Fragmentable Items Bin Packing

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Fit-preserving refinement of the ErbB signalling pathway

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2016

  Distributed Virtual Machine Consolidation: A Systematic Mapping Study

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto
  49 Lataukset (Pure)

• Modelling Link State Routing in Event-B

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• NetControl4BioMed – Automated discovery of combined drug therapy

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Specification and Automated Verification of Dynamic Dataflow Networks

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• 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; Vuosikerta 1152)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
  12 Sitaatiot (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.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

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

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
• 2015

  Analysis and Transcoding Time Prediction of Online Videos

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  2 Sitaatiot (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; Vuosikerta 1129)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

  • Environment Modeling 100%
  • Modeling Techniques 100%
  • Environment Model 100%
  • Nondeterministic Behavior 25%
  • Academic Publishing 25%
  57 Lataukset (Pure)

• A Systematic Review of API Usability Evaluation Methods

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• 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; Vuosikerta 1136)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto

  • Stochastic Disturbance 100%
  • Hypothesis Testing 100%
  • Hydraulic Power 100%
  • Computer Control 100%
  • Random Disturbance 100%
  31 Lataukset (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).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  • 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; Vuosikerta 1147)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  1 Sitaatiot (Scopus)

• Generating the Logicome of a Biological Network

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Improved Recovery for Proactive, Distributed Routing

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto

  • High-integrity Systems 100%
  • Event Composition 100%
  • Event Modeling 50%
  • Reuse Strategy 50%
  • Mathematical Rigour 50%
  29 Lataukset (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).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto
  21 Lataukset (Pure)

• Towards Component-Based Reuse for Event-B

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto

  • Component-based 100%
  • component based system 100%
  • Abstract Model 50%
  • Model-based Decomposition 50%
  • Model Complexity 50%
  21 Lataukset (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.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

  • Test Generation 100%
  • Timed Automaton 100%
  • Aspect-Oriented 100%
  • Technical Report 100%
  • Test Benchmark 50%
  26 Lataukset (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; Vuosikerta 1127)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

  • Specification Tool 100%
  • Formal Development 100%
  • Formal Specification Languages 100%
  • Development Process 100%
  • Parallelizing 40%
  44 Lataukset (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).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  4 Sitaatiot (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).

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• Dependency Graphs and Mass Conservation in Reaction Systems

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• 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; Vuosikerta 1111)

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Open access

  Tiedosto

  • Parallel Programming 100%
  • Resilience Level 100%
  • Simulink Model 100%
  • Data Loss 50%
  • Design Chain 50%
  84 Lataukset (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.

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

• FormAgi – A Concept for More Flexible Formal Developments

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto

  • Software Systems 100%
  • Agile Methods 100%
  • Development Framework 100%
  • Quality Attribute 100%
  • Agile Development 100%
  147 Lataukset (Pure)

• Formal Derivation of Distributed MapReduce

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen
  3 Sitaatiot (Scopus)

• Formally Analyzing Proactive, Distributed Routing

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

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

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

  Tiedosto
  24 Lataukset (Pure)

• Towards Rigorous Construction of Safety Cases

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

  Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen